6 = 3*l, 0*l = -l + 2*u - 8. Which is greater: l or 2/5?
l
Let m = 0.9 + -1.1. Is m less than -0.1?
True
Let z = 0.002 + -3.902. Let d = 4 + z. Is d at least as big as 0.1?
True
Let s(x) = 4*x**2 - 3*x + 1. Let a be s(2). Suppose -4*q + h + 1 = -0*q, 4*q - 3*h = a. Let z be q + (-3 - -2) + -1. Which is smaller: -2 or z?
z
Let s be (-3)/((-3)/1) + -1 + 0. Which is bigger: -2/147 or s?
s
Suppose -10*p + 11*p = 44. Do 45 and p have the same value?
False
Let j(x) = x**3 - 5*x**2 + x - 1. Let d be j(5). Suppose -d*l = l. Is l bigger than -1/2?
True
Let o be (-2)/4 - 20/(-8). Let y be 0 + 2/2 + 1. Is y >= o?
True
Suppose -4*q + 3*q = 1. Let n be (q - 2/(-4))*0. Suppose r + 1 + n = 0. Is r not equal to 2/11?
True
Suppose -21*g = -16*g - 15. Suppose 6 = -g*i + y, -4*i + 2*y + 3*y = 19. Which is smaller: i or -1/32?
i
Let i = -137/3 - -40. Do -6 and i have different values?
True
Let t be ((-8)/(-10))/((-22)/(-1155)). Which is smaller: -0.1 or t?
-0.1
Suppose 0 = 76*v - 75*v - 19. Which is bigger: v or 20?
20
Let n be 10/5 + (-260)/136. Which is smaller: 1 or n?
n
Suppose 3*y = 117 - 45. Let v be (2/4)/((-3)/y). Let t be (-1)/(-1 - 18/v). Which is smaller: t or -0.3?
-0.3
Let m(v) = v**3 - 11*v**2 + 9*v + 7. Let i be m(10). Let o = -1319/712 - 2/89. Let h = o + 3/8. Is h greater than i?
True
Let g = 193/216 - 14/27. Let n(k) = -k**3 - 23*k**2 - 24*k - 44. Let q be n(-22). Which is bigger: q or g?
g
Let f = 27/119 - -1/17. Suppose -t - 2 = -2*h - 0*h, -4*h + 4 = 0. Let z = t + 0. Which is smaller: f or z?
z
Let b = 2 + -52. Is -51 != b?
True
Let l = 5 - 5. Let s = 1668/2345 - -1/335. Which is greater: s or l?
s
Suppose -4*q - 14 = -2*f + 4*f, 0 = -3*f - 5*q - 17. Which is smaller: -1/65 or f?
-1/65
Let h = 10 - 6. Suppose h*u - m = -10, -4*m = -5*u + m - 5. Which is smaller: -4 or u?
-4
Let h = -52.3 + 50. Let i = h + 2. Is 2 >= i?
True
Let p = -3.4 + 3.5. Is p >= 15?
False
Let n = 93/110 - -21/22. Let x(a) = a - 1. Let l be x(0). Is l <= n?
True
Let q = 8 - 8.3. Let f = -84 + 88. Which is greater: q or f?
f
Let g = -0.65 - -0.15. Let h = g + 0.5. Which is greater: -7 or h?
h
Let s be 8/32*(-4)/189. Do s and 1 have different values?
True
Let k = 2400/11 + -218. Is k != 0?
True
Suppose 2*x + 10 + 20 = 0. Let r be ((-12)/x)/(1/5). Is r greater than or equal to 3?
True
Let z be ((-25)/(-125))/((-1)/(-25)). Which is smaller: 23/6 or z?
23/6
Let w be (-114)/4 + (-2)/(-4). Is -29 <= w?
True
Let w = 16 + -18. Let s be 0 - (4 + w + -1). Is -4/15 at most s?
False
Suppose -h - h = 0. Suppose 4*r + 0*r + 36 = h. Let d = r - -5. Which is bigger: -5 or d?
d
Let p(h) be the second derivative of -h**5/20 - h**4/3 - 2*h**3/3 - h**2 - 2*h. Let r be p(-2). Let f be 3/(-2)*r/(-5). Which is bigger: f or -1?
f
Suppose -347 = -3*t - 47. Suppose -2*d = 3*d + 4*b - 100, -5*b = 5*d - t. Let q be d/6 - 1/3. Is 3 at most q?
True
Let d = -138 + 77. Is -60 at most d?
False
Let c be (-366580)/90045 - 4*-1. Let a = c + -2/667. Let o be 0/((2 - 0)*1). Do a and o have different values?
True
Suppose 0 - 2 = 2*h. Is h > 1/37?
False
Let i = -16 - -5. Let o = i - -9. Let l = 4 - 1. Is l at most as big as o?
False
Let s be 22/(-24) - ((-33)/9 - -3). Is s equal to -15?
False
Let p = -2.5 - -7.5. Let w = -5 - -3. Which is greater: p or w?
p
Suppose -17 = -3*k - 5*t, 3*t - 5 = -2*k + 5. Is -3/7 at least as big as k?
True
Let u = 4730/3 - 1554. Is 22 greater than or equal to u?
False
Let c(u) = 2*u + 2. Let x be c(4). Suppose x = 3*z + 2*z. Is 2 > z?
False
Let w be 2*(-2)/(-4) - -3. Let d = 31 + -55. Let m be (-2)/d - (-1)/w. Which is smaller: 1 or m?
m
Suppose 6*q = 2*q + 12. Suppose 0*l + q*l = 36. Let i be 2/(-6) - (-1)/l. Which is smaller: 1 or i?
i
Let k(c) = c**2 - c - 1. Let d be k(1). Let j be (-8)/(-6) - d/(-1). Let n = -449 - -449. Is n <= j?
True
Let f = -81/2 + 30. Which is bigger: f or 0.1?
0.1
Suppose 5*k - 2*t + 2 - 13 = 0, 4 = -2*k - 2*t. Let q = 60 + -178/3. Let s = q + -1/2. Is s smaller than k?
True
Let g(u) = -2*u**2 + 21*u - 8. Let a be g(10). Which is smaller: 3 or a?
a
Let w be ((-3)/(-5))/((-4)/5). Which is smaller: -1 or w?
-1
Suppose q + 0*q = -48. Let p = q - -68. Suppose 2*x - p = -v - 3*v, 3*v = -5*x + 22. Is 3/5 at least as big as x?
False
Let b(l) = l**2 - 4*l - 4. Let k be b(-6). Let p be -2 + k/(-10) + 2. Let n = -27/5 - p. Which is smaller: n or 0?
0
Suppose 2*y - 4 = 2. Suppose 7 = 2*m - y. Suppose f - 6 = 2*l - f, 15 = m*l + 5*f. Is l greater than or equal to 0?
True
Suppose -3*o = -13*o + 10. Let z = 235/143 - 19/13. Which is smaller: o or z?
z
Let t(q) = q**3 - 13*q**2 + 13*q - 10. Let c be t(12). Is c less than -3?
False
Let t = 1.6 + -1.4. Which is greater: -1/4 or t?
t
Let t(g) = -g**3 - g - 1. Let k be t(0). Let i be k - ((-2)/2 - -1). Let m(f) = f**3 + 13*f**2 + 11*f - 11. Let r be m(-12). Which is greater: i or r?
r
Let g(h) = 3 + h**3 + 5*h - 2*h + 3*h**2 + 0*h**2. Let v be g(-2). Let w be (-2)/(-14)*(-2)/v. Do w and -0.2 have the same value?
False
Let j be 7/((-735)/14)*-3*1. Is j > -47?
True
Let x be (-30702)/(-8)*1/72. Let f = 91/96 + x. Let c = f + -54. Which is smaller: -1 or c?
-1
Suppose -4*u + 4*a + 20 = -0*a, -u + 2*a = -9. Let z be (u/3*0)/1. Which is bigger: z or 3?
3
Suppose -4*i + 9*i - 65 = 0. Is i less than or equal to 11?
False
Let p = 17 - 28. Let a = p - -6. Which is greater: a or -4?
-4
Let m = -5.7 + 4. Let j = 1.7 + m. Which is smaller: 1 or j?
j
Let n be 12/(-18) + 140/12. Is 9 less than n?
True
Suppose -3*q - 24 = 2*z, -7*q - z = -5*q + 15. Let b be (-1)/(2/q) + -17. Which is bigger: b or -13?
-13
Let o be ((-1)/(-2))/(-1)*12. Do -8 and o have the same value?
False
Let x = -2.8 + 3. Let m(r) = -r + 6. Let a be m(5). Is a bigger than x?
True
Let q = -0.1 - -0.01. Let l = -0.01 + q. Which is smaller: l or -4?
-4
Let w = -2 + 10. Suppose 3*t + 2*u + 0 - 6 = 0, -4*t + 3*u = -w. Let s be (-18)/8 + 0 + t. Is -2/9 < s?
False
Let q = -0.79 - 0.11. Let t = 7.9 + q. Let p = t - 7.5. Which is bigger: p or -0.1?
-0.1
Suppose 0 = -5*l + 21 - 6. Is l equal to 3?
True
Let j = -5 - -8. Let p be (3 - -1)*(-2)/(-2). Is p not equal to j?
True
Let m be ((-4)/5)/(2 + 32/(-20)). Is -1 less than m?
False
Let h = 7/2 + -3. Let z be 4/(-3)*-3 - 0. Suppose -z*y + 10 = 2. Is y less than h?
False
Let w = 118 - 1064/9. Suppose 0 = -212*g + 209*g. Which is smaller: w or g?
w
Suppose 0 = 3*q - 0*i - 3*i + 18, 8 = 4*i. Let f be (20/(-24))/(q/(-6)). Which is smaller: -2 or f?
-2
Let w = -25 + 23. Is w <= -14/9?
True
Suppose 4*c = 5*c - 3. Let w be (-11)/12 + 2/c. Suppose 4 = 5*s - 1. Which is smaller: s or w?
w
Let a = 4 - 0. Let l = a + -4. Do 0 and l have different values?
False
Let v be 1/((-3)/(-18)*87*-1). Which is smaller: v or 0.06?
v
Let x = 4 - 10. Let i = -4 - x. Are 3 and i unequal?
True
Let y(k) = k**3 - 8*k**2 - 8*k - 6. Let m be y(9). Suppose -27 + 6 = -m*g. Which is bigger: g or 2/9?
g
Suppose -3*z + 1 = -8. Suppose 1 = -2*o + 5. Is z at most o?
False
Let s = 197.6 + -216. Let d = -18 - s. Which is bigger: d or -0.2?
d
Let v(d) = d**2 - 2*d + 1. Let k be v(2). Which is smaller: 4/11 or k?
4/11
Let b be 2/(-9) + 707/63. Let g = 7 - b. Let o(a) = -a**2 - 5*a - 3. Let j be o(g). Which is smaller: 1/4 or j?
1/4
Let d = 2.6 + -2. Let t = -6.5 + 7. Let c = t - d. Which is greater: -0.5 or c?
c
Let f = -0.3 + 0.3. Let s = 0.08 - 0.08. Let q = s + -4. Which is smaller: f or q?
q
Let v(n) = n**3 + 5*n**2 + 3*n - 3. Let q be 8/1*(-2)/4. Let w be v(q). Suppose s - 1 = w. Is -1 at least as big as s?
False
Let g be ((-2 - -3) + -2)/1. Let i = -2.0492 - 0.0408. Let b = -0.09 - i. Is g bigger than b?
False
Suppose -58 - 32 = 5*q. Let s be q/(-5) + (-4)/(-10). Suppose -i + 4 = s*n, 2*i + 2 = -0*i + 2*n. Does 0 = i?
True
Let y = 1.7 - 1.9. Let i = -9/2 + 4. Which is smaller: y or i?
i
Suppose -22 + 7 = -3*d. Suppose 0 = -5*v + 51 + 4. Suppose v = 2*i - 1. Which is smaller: i or d?
d
Let s(m) = m**2 - 4*m - 9. Let d be s(6). Is d less than or equal to 1?
False
Let s = -2 + 3. Let l(x) = -x**3 - 2*x - 1. Suppose -3*k - 4 = k. Let h be l(k). Is s at least h?
False
Suppose 3*y = -9 - 0. Let q(d) = -d**3 - 2*d**2 + 4*d + 4. Let j be q(y). Which is smaller: 0 or j?
0
Suppose 8 = -4*h - 4. Suppose 5*j + 5 = 4*i, i + 3*j = 2*j - 10. Is i at most h?
True
Let a be 2/3