 + j + 16 = -2*f, -4*f + 3*j - 22 = 0. Let w be 1/(-3) + f/6. Is 4/15 <= w?
False
Let s = -37 - -49. Suppose 8*w = s*w. Which is greater: 6/5 or w?
6/5
Let v = 5817 - 17716/3. Is v >= -89?
True
Let c = -0.07 + 0.05. Let r = c + 1.02. Let q = -0.076 + 1.076. Is r < q?
False
Suppose 38*p - 144 = 29*p. Is p < 16?
False
Let x = 0.33 + 1.67. Suppose -z = 3*k + 8, 7*z - 4*z - 5*k = 32. Let y be 1/z - 30/56. Which is greater: y or x?
x
Let d(j) be the second derivative of j**3/3 - 5*j**2/2 - 12*j. Let g be d(2). Which is greater: g or -2/21?
-2/21
Suppose 6*p = -3*p - 0*p. Let g be 124/335 - (-4)/(-10). Which is smaller: g or p?
g
Let a(s) = 3*s + 1. Let m be a(-2). Let i be ((-2)/4)/(1/2). Let h = m - i. Is -1 at most as big as h?
False
Suppose 56 = -4*k - 5*i, 4*k + 56 = -2*i + 6*i. Let f = -3 - -3.2. Do f and k have the same value?
False
Let k = -8 + 8.6. Suppose -4*z - 2*w - 2 = -0*w, 2*z - 5*w + 7 = 0. Let y(l) = l**2 + l - 1. Let i be y(z). Is k at least i?
True
Let a(f) = f**3 - 15*f**2 + 13*f + 13. Let r be a(14). Is r greater than or equal to -1/34?
False
Let m = -624 - -624. Is m at most as big as -7/146?
False
Suppose -4*c = 2*h - 48, 0 = -3*h + 4*h + 2. Let g = c - 23. Let j be -2*4/(-16)*g. Is j at least as big as -6?
True
Let b = -16 + 13. Let u = -1 + 4. Suppose -u*t - 2 - 4 = 0. Which is smaller: t or b?
b
Let t be 3 + (-39 - 8/(-4)). Suppose 20*r = 24*r - 2*x + 136, r = 4*x - 20. Do t and r have the same value?
False
Let g(c) = c**2 - 2*c + 6. Let o be g(5). Let h = -21 + o. Which is smaller: h or -8/15?
-8/15
Let a be 3 + (4 - (4 + (-370)/(-126))). Let f = a + 2/9. Let g = -28 - -27.87. Are g and f non-equal?
True
Let u be (0 - 12/7)*(-686)/28. Which is greater: 128/3 or u?
128/3
Suppose -3*s - 9 = -5*w - 0*s, w = -5*s - 15. Suppose t - 3*t + 8 = w. Which is smaller: t or 5?
t
Let f(c) = -691*c**2 + 3*c - 2. Let j be f(2). Let a be j/(-27) - 2/9. Let z be 4/(-10) - a/(-30). Is 11/4 smaller than z?
True
Suppose h + 4*l = -0*h + 32, -2*h + l = -37. Let q = h - 20. Which is bigger: q or -1?
q
Suppose -q - 30 = k - 131, k = 4. Let u be (1 - -13)/(2 + 13/(-7)). Which is bigger: u or q?
u
Let n(p) = 21*p - 249. Let w be n(7). Is -108 greater than w?
False
Let l be 1 + 1*21/(-3). Let o = 7 + l. Let d be (-118)/(-70) - 6/21. Is d <= o?
False
Suppose 5*n + 3*a + 1215 + 3156 = 0, -4*n = 4*a + 3492. Let x be (2/(-1))/(n/158). Let b = x - 2/73. Which is smaller: b or 5?
b
Let h be (22/(-11))/((-1)/(-28)). Is h at least as big as -59?
True
Let q = 1 + 3. Let b(s) = -s**3 + 5*s**2 - 3*s + 6. Let d be b(q). Suppose -7*t + 53 + 17 = 0. Is t bigger than d?
False
Let c be -3 + ((-1)/(-4))/((-24)/(-384)). Which is smaller: c or 47?
c
Let l = -2 - 0. Suppose -5*j - 26 = 4*x - 3*j, -5*j = 5*x + 45. Is l less than x?
False
Let p be 6/4*(-2)/(-3). Let z(a) = a + 10. Let c be z(7). Suppose c = -6*j + 5. Is j smaller than p?
True
Suppose 0*b = 4*b. Let n be (1 + b)/(-6 - -5). Let l(z) = 12*z + 3. Let q be l(n). Which is greater: q or -10?
q
Suppose -2*o - 14 = -2*a, -2*o - a - 5 - 6 = 0. Let r be (3 - 1) + (-15)/(-1). Suppose 3*z = -r - 1. Is z != o?
False
Let l = -1069 - -674. Is -396 < l?
True
Let f be ((-14)/(-105))/(4/85). Let x be -1*-1*(-26)/12. Let o = f + x. Which is bigger: o or -1/2?
o
Let s(c) = 2*c**2 + 17*c + 10. Let m be s(-8). Suppose -3*t = 3*l - 135, m*l - 3*t + 6*t - 95 = 0. Which is greater: l or 41?
41
Suppose 5*u - 21*u = 0. Let v be -3 - u - (-105)/5. Do v and 18 have different values?
False
Let a = 67 + -139. Is a bigger than -72?
False
Let d be (-1)/3 + 7/(-33). Let g = -999.8 + 1000. Which is bigger: g or d?
g
Let s be (-2)/(-18) + 88/396. Which is smaller: 272 or s?
s
Let y be 15/20*(-4)/29. Let g(a) = -a - 38. Let u be g(-38). Is u smaller than y?
False
Suppose -3*q - 7 = 2*v, 5*v - q + 0 + 43 = 0. Which is greater: -17 or v?
v
Let j be (672/(-21))/(-2 - 0). Suppose -40 = 4*c + 2*f, 4*f = 3*c + 3 + j. Are c and -11 unequal?
True
Let k = -10/1127 - 86699/9016. Is -11 >= k?
False
Let f be 26/(-96) - ((-12)/9)/4. Let x = 11.9 - 12.9. Which is smaller: f or x?
x
Let q = 6.807 + 0.193. Let i = 0.1 + -0.1. Let t = -0.3 + i. Is t at least as big as q?
False
Let d be (2 + -1 - -7) + -2. Let x = 31 - 29. Suppose -l - d = -x. Which is greater: l or -0.1?
-0.1
Suppose -12*u = -4*u - 224. Suppose u = 12*k - 8*k. Is k greater than 3?
True
Let d(x) = 7*x - 5. Let t be d(-2). Which is bigger: -10 or t?
-10
Let i(y) = y**3 - 5*y**2 - 6*y. Let b be i(6). Let g be ((-884)/(-8))/((-14)/4). Let w = -32 - g. Is w less than b?
True
Let c = -27.2 - -27. Let f be (-298)/15 + (52/60 - 1). Which is smaller: f or c?
f
Let j(v) = 12*v - 8. Let o be j(4). Let u = 35 - o. Let i = -4 + 0. Is u at least i?
False
Let o = -89 - -89. Let q = 0.2 + -0.2. Let t = q + -0.1. Is t at most o?
True
Let p = -4 - -7. Let c be (-13 + 21)*p/(-4). Are c and -2/5 nonequal?
True
Let u = 0.01 + -2.01. Let y be ((42/91)/(-3))/((-2)/(-5)). Let r = -23/26 - y. Which is smaller: u or r?
u
Let p be -4*(-6)/24 + 0. Are 1/677 and p unequal?
True
Let o = -2357 + 21305/9. Is 9 less than o?
True
Let g be (63/(-7))/(1*4/(-4)). Is 29 not equal to g?
True
Let i = 103 + -102. Let w = -713/6162 - -11/78. Which is greater: i or w?
i
Let j be (27/(-18))/((-3123)/12). Which is greater: -1 or j?
j
Let m = -4/283 + -3659/1415. Let q be 4 + -3 + 3 + 1. Suppose 2*s + 9 = 5*u, q*s - u + 10 = -1. Which is bigger: m or s?
s
Suppose -4*u = -16, 36 - 5 = 5*a - u. Let w = 5 + 0. Which is smaller: w or a?
w
Let i = 1199 - 1238. Which is smaller: -47 or i?
-47
Let q be (-3)/(-8) + (-45)/108. Is q at least 0?
False
Suppose 3*b + 708 = -4*h, 9*h - 4*h + 4*b = -885. Are h and -179 equal?
False
Let s = -4.8 - -5.8. Which is smaller: -41 or s?
-41
Let r be 91/5 - (-12)/15. Let w be r/(-30) - (9 + (-114)/12). Is 6/7 >= w?
True
Suppose -12*o + 879 = 2*t - 11*o, -4*t = 4*o - 1752. Is t <= 441?
True
Suppose 4*r - 4 = -5*w, 14 - 16 = 4*w - 2*r. Let x = -3959/558 - -64/9. Is x >= w?
True
Let a be (-60)/58*(-20)/180. Is 0 >= a?
False
Let t = 129 + -122. Let h be 2/60*t/(63/4). Which is smaller: 0 or h?
0
Suppose 1179*o - 9 = 1188*o. Let a be (10/8)/((-1)/4). Are a and o equal?
False
Let q(n) = n + 2. Let l be q(-3). Let x(g) = -g + 2. Let t be x(0). Suppose -t*s = 4*m - 0 - 2, -5*m + 3*s - 25 = 0. Which is smaller: l or m?
m
Let b(t) = -t**3 - 8*t**2 - 11*t + 11. Let c be b(-6). Suppose -c*m + 3 + 82 = 0. Is 17 smaller than m?
False
Suppose r - 24 = -r. Suppose 27 = j + 4*t, -37*t - 2 = -2*j - 32*t. Is r at least as big as j?
True
Let i be (9/27)/(1/57). Suppose -x + 2 + i = 0. Let m = 21 - x. Which is smaller: m or -2/3?
-2/3
Suppose 81 = -4*m + 285. Which is smaller: 49 or m?
49
Let w be (3 + 6/(-8))*8/3. Suppose -11 = -5*d + w*d. Is d greater than or equal to -11?
True
Let u(v) = -v**3 - 5*v**2 + 6*v + 2. Let a be u(-6). Suppose r = -2*r - a*t - 14, 0 = -4*r + 4*t - 32. Which is greater: r or -7?
r
Let y(f) = 7*f**3 - 4*f**2 + 2*f - 4. Let q be y(4). Is 387 at most q?
True
Let c(u) = 2*u**2 - 3*u + 4. Let f be c(3). Let j = 6 - 9. Let t be 13 + 1 + j/3. Is f at most as big as t?
True
Let y be ((-87)/4)/(9/(-24)) - -2. Suppose -225 = 5*o - y. Which is greater: -34 or o?
o
Let f be 281/4 - (2 + 1 - 7). Is 73 less than or equal to f?
True
Let l = -220 + 168. Which is greater: -103/2 or l?
-103/2
Let j = -8 + 5. Let o be (-7 + 10)*(j + 0). Let n(r) = r**2 + 9*r. Let d be n(o). Is d less than -2/63?
False
Suppose 96*s + 4886 = 110*s. Is 348 at least s?
False
Suppose 0 = b - 5 - 1. Let q = -1 + b. Let v be 2/q - 0/1. Which is bigger: v or -0.3?
v
Let u = 1/2050 - 5193/139400. Is u != 0?
True
Suppose 28*s - 1428 = -176*s. Let y = -0.5 - -0.1. Which is smaller: y or s?
y
Let h be 3/(15/28) + (-66)/(-165). Does h = -11?
False
Let m = -5.9 + -22.1. Let d = 28.17 + m. Let y = d + 0.23. Is 0.1 equal to y?
False
Let h = -1 - -32. Let d = h + -48. Let i = d + 16. Which is greater: i or 2/5?
2/5
Let p be (-2)/(-28)*(-252)/(-18). Which is bigger: p or -5/171?
p
Let d = 34 - 101/3. Let s = 319 + -328.6. Which is smaller: s or d?
s
Let o = 1/1897 - -85349/30352. Is o at least as big as 3?
False
Let t be (-2 - 2)*(-17430)/168. Is t less than 415?
False
Suppose 4*g - 5*k = -3*k - 30, -3*k + 33 = -4*g. Let y be g*1/2 - 1. Let h = 23/