 = 2*k - 4. Which is bigger: k or -1/16?
k
Let g = 50 - -12. Suppose 66*p = g*p. Which is greater: p or -0.03?
p
Let n = 0.636 + -0.556. Which is greater: -47 or n?
n
Let f(h) = -h**2 + 6*h - 3. Let x be f(2). Suppose 0 = q + 4*q + 2*z - 8, -2*q - 1 = x*z. Suppose -q*t = -t - 3. Do t and 5/2 have the same value?
False
Let s be (21/6)/((10/8)/(-5)). Let q be s*(68/14 + -4). Is -2 < q?
False
Suppose 0*n + 3*n = 5*l - 5, 5*l + 5*n - 5 = 0. Let z be l/(-20)*2*178 + 3. Which is smaller: z or -15?
-15
Let b(k) be the second derivative of -k**5/20 + k**4 - k**3/3 + 11*k**2 - 14*k. Let l be b(12). Is -4/3 greater than or equal to l?
True
Let z be 2/8 + 445/80*-4. Let d(i) = -i**2 - 21*i + 24. Let x be d(z). Which is greater: -15 or x?
x
Suppose 2*j - u + 52 = 0, -j + 2*j - 4*u + 40 = 0. Let g = j - -27. Suppose 4*p - 8 = 2*y, -p + 0*p = -y - g. Is p >= 1/16?
True
Suppose 0 = 4*g - 3 - 13. Let h = g - -8. Let y = -13 + h. Is y greater than -2/9?
False
Let k = -3 + 5. Let v be (k/(-12))/((-6)/(-27)). Let s(o) = -o**3 - 4*o**2 - 19*o - 77. Let w be s(-4). Is w greater than or equal to v?
False
Let b = 36.24 - 36. Let t = 0.231 - b. Is 1/4 at least t?
True
Let x(i) = -74*i**3 - 2*i**2 - 1. Let f be x(-2). Let k = f + -22739/39. Let u be 33/(-39) - ((-44)/52 - -1). Which is smaller: k or u?
u
Suppose 3*i - 44 = 7*i. Let k(a) = -a**3 - 11*a**2 + a + 9. Let y be k(i). Is y < -9/5?
True
Suppose -2*c + l = 3*l - 194, -4*l - 396 = -4*c. Let q be ((-4)/(-14))/(42/c). Does q = 15?
False
Let z be (-2)/(-8)*(1484/14 + 12). Are 31 and z unequal?
True
Let b be 40/180 - 4792/18. Let q be (-4)/18 - b/(-18). Is -27/2 < q?
False
Let a = -4.047 - -0.047. Let v = 4.6 + -0.4. Let u = a + v. Is 1/5 equal to u?
True
Let t = 0.0146 - -1.9854. Is 9/7 at least as big as t?
False
Suppose 10 - 58 = o. Does -50 = o?
False
Suppose -3*y = -2*y. Let q = -33 - -331/10. Is q at most y?
False
Suppose 3*c = 3*o + 3, o + 3*c = -o + 3. Suppose 13 = -n + 2*s - 12, o = 3*n - 4*s + 69. Which is greater: n or -17?
-17
Let r be (6 - 5) + -4 + 0 + 2. Which is greater: -5/187 or r?
-5/187
Let z = 800 + -811. Let o be 4/(-10) + 9/10. Which is smaller: o or z?
z
Let k be -1 + 6 + 68 + -72. Are -11/148 and k equal?
False
Let t = -116/9 + 118/9. Let g = 1895 - 1894.93. Which is greater: t or g?
t
Suppose 2 = j - w, -w - 39 = -3*j - 37. Is 27/40 greater than or equal to j?
True
Let g = -313 + 312. Are g and -2/179 nonequal?
True
Suppose 0 = 122*t - 118*t + 28. Is t less than or equal to -13?
False
Let n(a) = -a - 1. Let r(v) = -6*v + 1. Let t(b) = -6*n(b) - r(b). Let w be t(-2). Suppose -6*m + 4*m = 40. Which is greater: w or m?
w
Suppose 0 = -2*u + 5*v - 314, -u - 157 = -26*v + 24*v. Is u > -159?
True
Suppose -2*v = 0, 5*c - 2*v - 2 = 18. Suppose -c*r = -16, -12 = -2*l + 6*l - 5*r. Let w be l - (144/21)/3. Which is smaller: w or -2/13?
w
Let q = -164/7 + 1441/63. Let v be 33/(-22) - (-7)/(-14). Is v <= q?
True
Let f(y) = 3*y - 38. Let x(t) = -t**3 - 17*t**2 - 3*t - 34. Let u be x(-17). Let o be f(u). Is 13 less than o?
False
Let x be 4 - (-348 + 3/(-1)). Which is bigger: x or 354?
x
Suppose 3*k = -k - 8, 2*g + 4*k = 0. Suppose -a + 11 + 2 = -v, -g*a - 4*v = -28. Suppose -a = -2*l - 4. Is l > 2?
True
Let r(g) = -g**3 + 17*g**2 + 21*g - 41. Let m be r(14). Let s = -2034848 + 91606007/45. Let k = m - s. Is k at most 1?
True
Let g(a) = -a**3 - 38*a**2 - 32*a + 167. Let q be g(-37). Do q and -18 have different values?
False
Suppose 24*p - 475 = 797. Do p and 50 have different values?
True
Suppose 2*k = 4*j - 126, 5*j - 265 = 4*k + 10*j. Is k at least as big as -66?
True
Suppose 0 = -4*x - 184. Let z = 379 - 426. Which is smaller: x or z?
z
Let r = 2 - 2. Suppose r*v = -3*v + 12. Is v smaller than 1?
False
Let j be 195/8 - -3*9/54. Which is greater: 24 or j?
j
Let y be (4/50)/((-80)/400). Which is greater: -2/93 or y?
-2/93
Suppose 324 - 36 = 48*w. Which is bigger: 49 or w?
49
Let l = -1.61 - -1.7. Let n = -13.2 + 19. Let o = n + -5.7. Which is smaller: l or o?
l
Let i = 3 - 4. Let b be (-2 - 1)/(1/i). Suppose -b*v = -2*o + 3, -o - 1 = -4*v - 0*v. Is v at least as big as -2/9?
True
Let y be ((-264)/(-1232))/(360/7). Is y less than or equal to 0?
False
Let l(z) = 1. Let n(x) = -63*x + 27. Let g(m) = 18*l(m) - n(m). Let j be g(-17). Let b be (-2)/15 - (-531)/j. Which is greater: -1 or b?
b
Suppose -2*c - 5*o - 12 = -2*o, -o - 4 = 4*c. Let n(x) = -x**3 + 10*x**2 - 2*x + 7. Let i be n(9). Let r be (1/13)/(i/(-28)). Is c != r?
True
Suppose k - 3 - 4 = -p, -k + 4*p = -17. Suppose k*u = 7*u - 2. Which is greater: u or 2/23?
2/23
Let l be (1 - (53/14 + -3))*10. Is l greater than 2?
True
Let f = -13012/19509 - -2/6503. Suppose 94 = 2*y - 4*y. Which is smaller: y or f?
y
Suppose -179 + 185 = -6*r. Is r bigger than 5/138?
False
Let j = -228/17 + 227/17. Suppose 5*b = 4*s + 29, -2*b = 3*s - 0*b - 7. Is j less than s?
False
Let c = -58 - -281/5. Suppose -4*h + 16 = 5*v, -3*h = 17*v - 19*v + 11. Which is bigger: c or h?
h
Let n be (-7)/(-4) + (-4)/(-16)*1. Suppose 2*f + 61 = n*x + 7*f, 3*x - f = 49. Which is bigger: 22 or x?
22
Let z be (-2*(-388)/114)/((-2)/(-3)). Are z and 10 non-equal?
True
Let b = 18 + -34. Let p(y) = y**3 + y**2 - y + 23. Let x be p(0). Let l = b + x. Which is smaller: 2 or l?
2
Let h be (-5)/((-15)/(-9)) - -209. Suppose 2*s = -h + 542. Let l = -2516/15 + s. Which is greater: -1 or l?
l
Suppose -3*h = -b + 11, 5*h - 3*b = 3 - 16. Let m = h + 2. Is m at least -6?
True
Let k be -2 + -1 - ((-150)/5)/6. Suppose 7 = 5*h + 3*d, 5*h + 11 = k*d - 2. Is -8/31 greater than h?
True
Let c(h) = -h - 8. Let j be c(-10). Suppose 3*f - 4*f + j = 0. Suppose -7 - f = -3*s. Is s greater than -0.1?
True
Let f be (-36)/10 - -3 - 21/(-60). Is f >= -0.183?
False
Let x(o) = 9*o - 1. Let d be x(1). Suppose -6*z + 16 = -d*z. Let l be 1*4*z/(-8). Which is smaller: 5 or l?
l
Let f be 3 + (-7)/(-77)*-34. Which is smaller: -1/5 or f?
-1/5
Suppose 15*g - 1113 = 2367. Is g less than or equal to 231?
False
Let r(u) = u**2 - 4*u - 5. Let g be r(6). Suppose 0 = 3*n - g*n - 20. Let v(w) = -2*w**3 - 10*w**2 - 5*w - 7. Let c be v(n). Are 17 and c unequal?
True
Let r be ((-1)/9)/1*130. Let u be ((-12448)/(-1728))/(((-3)/6)/1). Let b = r - u. Which is smaller: -1 or b?
-1
Suppose r - 27 = 3*p, 2*p + 15 = -5*r + 133. Let f = r - 20. Let c = 182/3 - 58. Which is smaller: f or c?
c
Let v(d) = d**2 - 22*d - 2. Let s be v(22). Which is bigger: s or 3?
3
Let u(q) = 2*q**3 - 9*q + 7. Let g be u(-6). Let a = -7047/19 - g. Is -0.1 less than or equal to a?
True
Let q(f) = -8*f - 80. Let h be q(-10). Is h bigger than -8/93?
True
Let m = -7 - -9. Suppose 2*v + m = 6. Are v and 2 non-equal?
False
Suppose 168 = -5*t - 2*x, -7*t + 11*t + 4*x + 144 = 0. Is -29 >= t?
True
Suppose -3*b = -3*o + 261, -o - 4*o = 2*b + 181. Which is smaller: -92 or b?
-92
Let s(n) = -5*n + 115 - 238 + 111. Suppose 5*y - 4*p = -15, y - 2*p = 2*y + 17. Let q be s(y). Which is smaller: 24 or q?
q
Let m = -375.5 + 376. Is m at least 0.5?
True
Let o = 322 - 220. Is o at most 1?
False
Suppose 9*f = 13*f - 20, n = 4*f - 20. Which is smaller: 2/1247 or n?
n
Let w = -2 - 4. Let f = w + 25. Let u = 11757 - 11757.1. Is u less than or equal to f?
True
Let x = 522 - 468. Is 55 >= x?
True
Let a be (44/136)/(-2 - 115/(-60)). Is a != -4?
True
Let b(k) = 4*k - 11. Let l be b(7). Let t = 21 - l. Let g be (-9)/(9/t) - -3. Is g >= -3?
True
Let x be (1/5)/(0 + (-1)/3). Suppose -6*s + 24 = -10*s. Let t = 6 + s. Which is smaller: t or x?
x
Suppose 0 = -o - 7 - 4. Let p(v) = v**3 + 11*v**2 - 2*v + 13. Let w be p(o). Suppose 12*i - 17*i = w. Which is smaller: i or -3/5?
i
Let f be (-1 - (-2)/5)*46/(-138). Which is smaller: f or -0.3?
-0.3
Let a = 10532 + -10532.1. Let b be 0*(-2)/4*1. Let y = -3 - b. Which is greater: y or a?
a
Suppose 0 = -x + 2 + 3. Suppose -r - 5 = 0, 33 = 2*m - x*r - 16. Is 11 greater than m?
False
Suppose 3*o + 10 - 5 = 2*t, -4*o - 22 = 5*t. Let f be (t*1/(-16))/((-2)/4). Which is bigger: f or 5?
5
Suppose -g - 3*b = -2, -2*b + 17 = 2*g + 13. Which is bigger: 36/13 or g?
36/13
Let q = -206 - -186. Let v = -992/7 - -142. Which is bigger: v or q?
v
Suppose 3*x = -2*x + 200. Let s = 14 - x. Suppose -26 = 7*v - 6*v. Is v equal to s?
True
Suppose -5*j + 3*o = 7*o - 22, 4*j - 17 