(-1746)/4*8/48. Let o = n - -74. Is o less than i?
False
Suppose v + 3*j = 18, -116*v + 5*j - 100 = -120*v. Which is smaller: 280/9 or v?
v
Let d = 45 - 82. Let f be (-11)/33*(-1)/d. Which is bigger: 0 or f?
0
Let j be (-4)/(0 + (-18284)/(-2626)). Let q be (-217)/(((-3918)/9)/(-2)) + 1. Let a = q + j. Which is smaller: a or 1?
a
Suppose 4*f - 174 = -c + 582, 2*f - c = 372. Which is bigger: f or 186?
f
Let s(w) = 2*w - 4. Let r be s(4). Let p be (-1)/r*9/18. Does p = 0?
False
Suppose -144 = -13*p + 4*p. Let w = 51 + -35. Are p and w nonequal?
False
Let v(r) be the first derivative of -r**4/4 - 7*r**3/3 - 7*r**2/2 - 6*r + 5. Let w be v(-6). Suppose 0*x - 4*x + 8 = w. Do x and 1/2 have different values?
True
Let b be 7/(14/6) - -11. Suppose b = -m - 1. Which is greater: m or -14?
-14
Let f be (-5775)/36 + 2/6. Suppose -3*u - 329 = -2*v, -4 = -3*u - 13. Let a = f + v. Which is smaller: 1 or a?
a
Let t = -6 + 11. Suppose -78 - 67 = t*n. Let b = -19 - n. Does b = 10?
True
Suppose 6*i - 1 = -13. Let d be ((-7)/(7/i))/2. Is d bigger than 33?
False
Let v = 3174 - 3166. Let a be 49/(-85) - (-4)/10. Let p = 29/68 + a. Which is smaller: p or v?
p
Let y = 12 + -13. Let a(h) = -h**3 + 8*h**2 - 8*h + 8. Let l be a(7). Let j be -1 - (y - (-2 + l)). Is -1/27 less than j?
False
Let j(m) = 3*m. Let h be j(-6). Let v = -73/4 - h. Let g = -28.2 - -24.2. Is v <= g?
False
Let p(v) = 8*v - 9. Let j = 0 + 2. Let f be p(j). Is f at most 58/7?
True
Let s be (8*(-7)/(-112))/(8/(-6)). Is 3.9 not equal to s?
True
Let m(o) = o - 8. Suppose 5*i - b - 44 = -0*i, 2*i + 4 = -5*b. Let v be m(i). Let j = -47/51 - -10/17. Which is smaller: v or j?
j
Let i = 5 + -1. Let h be (i/(-5))/(12/(-30)). Let j be 1*h/(-6)*3. Which is greater: j or 3/7?
3/7
Let g(u) = 7*u + 51. Let y be g(7). Are y and 100 non-equal?
False
Let r = 0.0177 - 0.1177. Is -57 < r?
True
Let v = 177/5 - 1299/35. Let t = v - -121/42. Let o = 139 - 138. Which is bigger: o or t?
t
Suppose 23*d + 6*d = 3161. Which is greater: d or 219/2?
219/2
Let l = -0.11 + -16.99. Let g = 37 + -20. Let o = g + l. Which is bigger: o or 3?
3
Let v = 1343/6398 + 2/457. Which is greater: 1/4 or v?
1/4
Suppose 0 = 4*u + 6*i - 5*i + 508, -5*i - 635 = 5*u. Let y = u - -123. Is y <= 3/16?
True
Suppose -5*m + 150 = -2*m. Let p be m/(-16) - (1 + -5). Is 0 at most p?
True
Let f be (170/51)/((-1)/21)*-1. Which is bigger: f or 68?
f
Let r be -2 + -1 + 7 + 3. Let g(d) = 24 - r*d - 25 - 2*d**2 + 3*d**2. Let l be g(7). Which is greater: l or -1/4?
-1/4
Let b = -1.0218 - -0.0218. Are -44/3 and b equal?
False
Let r be 2 + (4/8 - (-268)/16). Is 20 bigger than r?
True
Let k = 39 - 38.9. Let z = -131 + 135.99. Let v = z + -5. Is k >= v?
True
Let b = 646 + -2557/4. Which is smaller: 6 or b?
6
Let w(f) = 9*f + 15. Let n be w(-10). Let c be 10*(4 - (-304)/n). Which is greater: c or -2?
c
Let r = -554.3 - -554. Which is bigger: 29 or r?
29
Suppose 2*y = -4*n, -4*n - 6*y + 6 = -y. Which is greater: n or -4?
n
Suppose -3191*v = -3173*v - 7182. Which is smaller: 398 or v?
398
Let h be (-3*1)/3 - -2. Let d(k) = -k**3 - 4*k**2 - 3*k - 7. Let c be d(-3). Let f be (-16)/c + (-5)/5. Which is smaller: f or h?
h
Suppose 0 = 3*t + a - 50, -t + 5 + 3 = -4*a. Are t and 11 unequal?
True
Let n = -0.84 - -38.84. Let l = 38 - n. Is l <= -25?
False
Let p(q) = -45*q - 1. Let s be p(-3). Do s and 134 have the same value?
True
Suppose -2*i - 33 = i. Let q = -10 - i. Let z be (1*(-2)/24)/q. Which is bigger: -1 or z?
z
Let d be ((-8)/174)/(17/(-51)). Let c = -78/145 + d. Is -7/3 equal to c?
False
Let f be 1/(((-10)/22)/(-5)). Let k = f + -8. Let t(p) = p**3 + 6*p**2 + p + 7. Let h be t(-6). Is h != k?
True
Let m(b) = -b**2 + 3*b - 2. Let r = -5 + 12. Let h(q) = -q**3 + 6*q**2 + 8*q - 5. Let x be h(r). Let a be m(x). Which is smaller: 1/4 or a?
a
Let a = -21 - -29. Let v = 8.1 - a. Is -21 less than v?
True
Let a(k) = k**3 + 11*k**2 - 7*k + 60. Let z be a(-12). Let d = -91 - -90.23. Which is smaller: z or d?
d
Let w = 28.051 - 0.051. Let g = -30 + w. Let n = -3 - -3. Is g less than or equal to n?
True
Suppose 55 = -j + 22. Let y = 32 + j. Which is bigger: 24 or y?
24
Let z = 7 + -1. Let d(k) = 3*k - 8. Let p be d(z). Let j(y) = -y**2 + 9*y + 11. Let x be j(p). Is x at least 3/7?
True
Let q = -55 + 32. Let c = 19.8 - 17.8. Which is bigger: c or q?
c
Suppose -1 = -p - 5*n, -p - 3*n + 7 = -4*n. Suppose -14*h - p = -11*h. Let j be (-2)/3 + 6/9. Is h at least as big as j?
False
Suppose -4*a + 55 = -53. Let l be (0 + (a/(-6) - -2))*2. Is -9/2 at least as big as l?
True
Let r be ((-2)/(-6))/(2 - 46/24). Let z be (6/r)/(225/(-20)). Which is greater: 0 or z?
0
Let y = 4 - 25. Let p = y + 5. Let t = -16.2 - p. Is -1/2 != t?
True
Suppose 11*r - 8 = 16*r - 3*s, -3*r - 2*s = 1. Are r and 4/9 equal?
False
Let n = -1019 + 1020. Is -1/350 smaller than n?
True
Let u = 0.0471 - -5.9529. Let v = 67.8 - 62. Let j = u - v. Is 0 greater than or equal to j?
False
Let r = 118 - 115. Is 3/8 less than r?
True
Let r = -652 - -7817/12. Let l = -1/3 - r. Let k = 7 - 5. Which is bigger: k or l?
k
Let z be (-4 - 0) + 5 - 30. Let f = z + 9. Which is greater: f or -21?
f
Let i = 3/4 + -5/12. Let v be 4 - (-354)/(-120) - 1. Which is smaller: v or i?
v
Let l be (-11 - (-4 - 4))*-3 + -5. Which is bigger: 0.8 or l?
l
Let l be ((-242)/(-5) + 1)/(12/(-10)). Let q = 81/2 + l. Which is bigger: -6 or q?
q
Suppose 0 = -5*c - 2*k + 128, -6*c + 76 = -2*c - 5*k. Let q = c + -31. Is -9 < q?
True
Suppose i = -0*i - 15. Suppose -308 = 19*l + 9*l. Which is bigger: l or i?
l
Let j = -2/6805 + -4049/115685. Which is greater: j or 2?
2
Suppose 0 = -6*l + 3*l - 3. Let b be (-16)/(-24)*(-42)/(-4). Suppose b*o = -5*o - 0*o. Is l at least as big as o?
False
Let o be (6/10 - (-354)/(-15))/(-1). Let c be o/7 + -3 + 0. Is c greater than 0.2?
True
Let n = 153 - 1073/7. Which is bigger: -99 or n?
n
Let l be 52 - ((-5 - -2) + 3). Suppose 13 = u - 0*z + 4*z, 0 = 4*u - 5*z - l. Suppose 3*j - 52 = 4*o, o = 2*o + 2*j + u. Is o not equal to -13?
False
Let g = -7165296/721 - -9938. Which is smaller: 1 or g?
g
Let n(r) = 20*r**2 + 8*r + 12. Let a be n(-3). Which is smaller: a or 1?
1
Let c be (-18)/(-33) - 1*(-12)/(-18). Suppose 3*s - 5*t - 17 = -t, t = -5. Is c > s?
True
Let v(s) = 11*s - 6. Let m(f) = 7*f - 4. Let c(i) = -8*m(i) + 5*v(i). Let b be c(5). Suppose 3*x + 2 = -13. Which is smaller: b or x?
x
Let n = 1733 - 1733.1. Let v = -53 + 23. Let t = -151/5 - v. Which is smaller: n or t?
t
Let d(p) = 3*p + 39. Let x be d(-9). Suppose x*s + 30 = 2*s. Which is smaller: s or -2/7?
s
Suppose -5*i + 20 = 5*v, -5*i + 5*v + 13 - 33 = 0. Let f = -7164/11 + 652. Which is smaller: i or f?
i
Let x be -202*(-45)/(-648)*-4. Which is greater: x or 57?
57
Let m = 0.405 - 0.015. Let l = -0.025 + -0.265. Let z = l + m. Is z < 11/3?
True
Let l be (448/48)/(8/18). Is 22 at most l?
False
Let k be (4 + (-1252)/220)/(54/(-36)). Which is bigger: -1 or k?
k
Suppose 0 = 5*f - 10*f + 5*y + 25, 5*f = -3*y + 25. Suppose -t + 5 = -3*r, f*r - 3*r + 4 = 0. Which is bigger: t or 17/3?
17/3
Let h be (7 - 1928/280)/((-2)/(-5)). Is -1/1277 <= h?
True
Let k(x) = x**2 + 3*x + 1. Let s = -13 - -5. Let j be (2 - (-10)/s)*-4. Let y be k(j). Which is greater: 4/9 or y?
y
Let g = -62 + 59.3. Let l = g - -3.7. Is -3/5 not equal to l?
True
Let t = -5 + 0. Let u = 1 + t. Let j be 55/11 + (u - 0). Is 1/13 at least j?
False
Suppose -1178*u + 1168*u = -10. Which is smaller: u or -20/73?
-20/73
Let z = 40 + -81/2. Let x = 4.01 + -0.01. Let y = -3 + x. Is y less than z?
False
Let b be 2 + (-6)/(-3) - 1. Suppose 5*j + 4*i = -b - 6, 0 = -4*j + 2*i - 2. Let p be 18/(-10) - (-12)/6. Which is smaller: j or p?
j
Let x(k) = k - 20. Let l(m) = -m + 22. Let s be l(7). Let i be x(s). Is -3 at least as big as i?
True
Let g = 6949/14 - 496. Which is smaller: g or 0?
0
Suppose 80 = -18*w - 2*w. Which is greater: w or -6?
w
Let z be -6 + (-21 + 15)/((-2)/(-7)). Is -185/7 < z?
False
Let g = 0.83 + -0.15. Let j = g - 0.8. Let v = -2.8 - -3. Do v and j have the same value?
False
Suppose 354*y = 362*y + 1096. Which is greater: -141 or y?
y
Let x be (-1)/(-3) - (-31)/(-3). Let a = -6 - x. Suppose -4*t + 0*t + 6 = 5*z, -2*z + a = 0. Which is smaller: t or 2/5?
t
Let r(n) = -3*n + 1. Let s be r(-4). Let j be (44