s -151 smaller than d?
True
Suppose 9*b - 455273 = 63*b + 37*b. Does b = -5002?
False
Let r = -439 + 1339/3. Let c = 15/2 - r. Which is greater: 0.44 or c?
0.44
Suppose 3*u + 4 + 7 = -4*h, 3 = -4*u - 3*h. Let r(w) = w - 1. Let z be r(u). Suppose -5*y = -3*g, -z*y = g + 2*g - 21. Which is smaller: -0.02 or g?
-0.02
Suppose -4*r - 3*f + 10 = -f, 3*r = 3*f + 12. Suppose -b - 5*a = 16, -r*b - 6*a = -2*a + 4. Suppose 0 = 5*d + b*d. Which is smaller: -3 or d?
-3
Suppose -26*p + 3*p = 6*p. Which is smaller: 2/9781 or p?
p
Let q = -607355/24 - -25315. Which is bigger: 9 or q?
9
Suppose -25*v = -24*v - 14. Let o(n) = n**2 - 13*n - 5. Let j be o(v). Suppose 4*c - 16 = 24. Is c > j?
True
Let j be (6/10)/(767/482030). Which is bigger: 377 or j?
j
Let w(a) be the first derivative of -a**4/4 - 7*a**3/3 + 2*a + 1. Let u = -3833 - -3826. Let k be w(u). Is k bigger than -0.2?
True
Let s = 0.09413 + -0.09413. Is s at least as big as 304?
False
Let v(o) = -141*o**3 + o**2. Let m be v(-1). Let l be (-48 - 1298/(-22))/(28/26 + -1). Which is greater: m or l?
l
Suppose 380*h + 10 = 382*h. Suppose -2*b + 24 = 5*u, 5*b + h*u - 105 = -75. Is 19/18 < b?
True
Let r be (-6)/36 - (-5)/(-6). Let d be (-1)/(r*2/2). Which is smaller: d or 18/13?
d
Let r be (4/(-6))/(94/(-30) + 3). Suppose 3*a - 59 = 2*d, 0 = 4*a - d - r - 82. Let f = a + -23. Which is smaller: -1/4 or f?
-1/4
Let n be 2/(-4) - 212/(-440). Suppose 114*q + 50 = -64. Is n less than or equal to q?
False
Suppose -4*b - v - 324 = 3*v, 5*b = 5*v - 395. Let n be b/(-64)*(1 - 5). Let s be -4*n/420*(-8 + -2). Is s >= 0?
False
Let u(w) = -w**2 + 3*w + 79. Let c be u(12). Let i(a) = -a**2 - 23*a + 175. Let z be i(c). Which is smaller: -1/888 or z?
-1/888
Suppose 5*j = -5*x + 145, 0 = x + j - 6*j + 1. Suppose x*a - 22*a = 30. Let s be 9/a - (-3447)/(-45). Is s equal to -76?
True
Suppose 3*h = -4*a + 16, -6*h + 3*h - 40 = -4*a. Suppose -a*g - 29 + 71 = 0. Suppose 4*q = -3*n + 35, -11 = -2*n - 1. Which is smaller: q or g?
q
Let j be 100/(-8) + (-2)/(-4). Let w be j/162*6*235/10. Which is smaller: 0 or w?
w
Let j = 28 + 45. Let m = j - 991. Let w = m + 3633/4. Is w equal to -10?
False
Let n = -77087/1590 + 727/15. Is n less than 0.2?
True
Let h(g) = 7*g + 37. Let m be h(-5). Suppose 0 = -2*i - 4*j - 2, 3*i = -i - m*j + 20. Which is smaller: i or 2?
2
Let b = -1502.147 + 1501. Let o = -348 + 347.853. Let u = o - b. Which is greater: -2 or u?
u
Suppose 2*b + 186 = -2*f, -2*b + 20*f - 207 = 15*f. Which is smaller: -82 or b?
b
Let q(j) = -72*j**2 + 37 - 3*j**3 + 37 + 35 - 108. Let r be q(-24). Which is greater: r or -309?
r
Let n = -2976 + 1498. Which is greater: n or -1480?
n
Let u(y) = -34*y - 36*y + 44 - 14. Let x be u(-6). Is x greater than or equal to 451?
False
Let j be (-520)/198 - (-4)/9. Suppose 2*v + 3*a - 22 = 0, a - 5 = -3*v + 14. Suppose 12 = -v*k + k. Do j and k have the same value?
False
Let b = -43418 + 43418. Which is greater: b or 8089?
8089
Let v = -12388 - -6891. Is v > -5495?
False
Let g = -19745 + 18338. Which is greater: g or 6?
6
Let d(n) = -11*n - 66. Let k(b) = -6*b - 33. Let p(x) = 3*d(x) - 5*k(x). Let u be (20/12 - (-5)/(-3)) + -8. Let g be p(u). Are -13 and g equal?
False
Let r = -20.9 - -16.44. Let v = r - -4.56. Let j = 27.81 + -28. Which is smaller: j or v?
j
Let q = -10681 - -405877/38. Let k = -1 - -1.1. Are q and k non-equal?
True
Let v = -0.1097 - 548.8903. Let z = v - -538. Which is smaller: 13 or z?
z
Let y = -13653 + 13652.83. Is y not equal to 448?
True
Let g = 895 + -432. Let q be (-22918)/(-49) + ((-8)/8 - 2). Let d = g - q. Which is bigger: d or -2?
d
Let p(g) = g**3 + 8*g**2 + 10*g + 14. Let u be p(-6). Let j(k) = 3*k - 79. Let h be j(u). Which is greater: 1/39 or h?
1/39
Let y = -596.09 - -586. Let r = -2.09 - y. Which is bigger: -1 or r?
r
Let p be (33 + -35)/(4/(-50)). Let g be (9 + -3)/((-4)/24*p). Which is smaller: g or -1?
g
Suppose -2*y + 10 = 2*c, -5*c - 11 = -4*y - 0*y. Let p be (-36)/6 + 4 + -1 + -4043. Let z be ((-1020)/p - 6/14)/(-6). Is c <= z?
False
Let m = -9574 + 9578. Which is smaller: 91/32 or m?
91/32
Let d = 40435 + -35435. Is 5002 at most as big as d?
False
Let t = 3356 - 23262/7. Is 34 at least as big as t?
True
Suppose 0*c = 2*c + 2. Let u(f) = 4*f**3 - 6*f - 6. Let v(o) = -35*o**3 + 55*o + 55. Let p(a) = 55*u(a) + 6*v(a). Let n be p(c). Which is smaller: -5 or n?
n
Suppose -f = 3*k + 4, -2 + 21 = -3*f - 2*k. Let a(i) = -i**3 - 4*i**2 + 10*i + 18. Let x be a(f). Suppose -9*b - x = -311. Is b <= 24?
True
Let h be ((-3)/6*(-2 + 2))/2. Suppose 7*t + h*t = 0. Which is smaller: t or 4/13?
t
Let l = -0.12533 - 0.08517. Which is bigger: l or 0?
0
Let z be (25232/(-9120))/(9/(-5)). Is z bigger than 3?
False
Let s = -302 + 293. Let z be -18*s/(-144) - 5/(-4). Which is smaller: z or -1?
-1
Suppose -98 - 427 = -5*k - 5*j, -j - 1 = 0. Let d be 202/(7 + (-11 - -6)). Is k at most d?
False
Let r = -70 + 488/7. Let j(y) = -2181*y - 6543. Let u be j(-3). Is r greater than u?
False
Suppose 23*m + 1510 + 5597 = 0. Is m less than or equal to -329?
False
Let h = -404 + 200. Let b = 293 + h. Suppose 4*g + 76 = 4*n - 0, -g + b = 5*n. Which is bigger: 20 or n?
20
Let z(m) = 479*m + 10745. Let a be z(-18). Do a and 2116 have the same value?
False
Let r = -4185 - -4187. Which is smaller: r or -468?
-468
Let r = 513 - 506.34. Let v = r + 20.24. Let j = v + -27. Which is smaller: -9 or j?
-9
Let j be (15/10)/(66/1184). Is 26 != j?
True
Let j = 65 + -63. Suppose -m + 1 = t - 0*t, 5*m + 3 = -t. Let p be (m/(-4))/(j*(-2)/8). Is -10 >= p?
False
Let b = 116 + -109. Suppose -2 = l, l = 3*c - 1 - 1. Suppose w - 2*k + 0*k = 3, c = -3*w + 2*k + 17. Is w less than b?
False
Let q = 0.05 + -1.15. Let z = 4572 + -4571.9. Are z and q non-equal?
True
Let t = -867995/146 + 5945. Which is greater: t or 1?
1
Let k(h) = -4*h - 14. Let r be k(-4). Let o be (7/14)/(r/(-4)). Which is smaller: o or 1/6?
o
Let p(h) = -h**2 - 17*h - 32. Let v be p(-4). Let f be (-24)/10 - -3 - (-8)/v. Is f < 3/29?
False
Let s = 2 - 1. Let a be (8/62)/(9/(-18)). Let o = a + -22/155. Is s less than o?
False
Let u = -791 + 2065. Which is bigger: u or 1276?
1276
Let y = -496.2 + 498.34. Which is smaller: y or 1/6?
1/6
Let i(f) = -f**2 - 4*f - 3. Let n be i(-3). Suppose -8*l - 57 + 89 = 0. Suppose -8*p + 6*p + l = n. Which is bigger: p or 1?
p
Let m(t) be the second derivative of 29*t**3/6 + 12*t**2 - 7*t - 3. Let x be m(-2). Is -35 at least x?
False
Let d be 1*-3 - (-5 + (-45784)/10). Let s = d - 4527. Is 52 less than or equal to s?
True
Let b(n) = -2 - 4*n - 3*n**2 + 13*n - n**3 - 7 - 2*n**2. Let i be b(-7). Suppose -2*p - 3*p = 4*m - 34, i = 4*m + p. Which is greater: 5 or m?
m
Let h be (0/2)/((-2)/(24/(6 - -6))). Which is smaller: h or 5/1026?
h
Let b(u) = -43. Let h(w) = w + 129. Let t(a) = -7*b(a) - 2*h(a). Let i be t(10). Suppose -4*y = -4*q + q - 32, 0 = 2*q - 3*y + i. Which is greater: q or -23/6?
-23/6
Suppose -12*a - 12*a = 6*a - 13*a. Let b = -2 + 1. Which is smaller: b or a?
b
Let p = -0.09886 - 0.00114. Which is bigger: p or -224?
p
Let s = 2450 - 2449.9531. Is s at least 0.3?
False
Let j = 319 - 319.38. Let c = 0.1 - 0.58. Let g = j - c. Is g smaller than -1?
False
Let u = 0.2 + 7.8. Let q = -34773.1 - -34776. Is u >= q?
True
Let z be 6/30 + 9/5. Let r = -2.7 + 4.4. Let b = 1.5 - r. Is z <= b?
False
Let x be 2*(8 - 44/4) + 2 + 557. Which is smaller: x or 1/3?
1/3
Let b = 4355277929 - 22277246715964/5115. Let x = b + 3/1705. Do -22 and x have different values?
True
Let y be (-2)/(-8) + (-17)/4. Let g be (5 - -2)*8/28. Let f be 22/(3 - g) + y. Is 18 not equal to f?
False
Let i = 84.441 - 84.2. Let k = i - 0.371. Is -0.05 greater than k?
True
Let m = 88468531/2511366 - -2/114153. Is m at least 36?
False
Let k(x) be the first derivative of -x**4/2 + x**2 + x - 5. Let q be k(-1). Suppose 4*g = -4*t + 8, 3*g + 4*t - 6 = -2*g. Which is bigger: g or q?
q
Suppose 9*o - 12 = 5*o. Suppose -18 = o*s - 5*u, -2*s - 5*u + 3*u = -4. Let a = -458 - -9620/21. Which is bigger: s or a?
a
Suppose -88 = -10*o + 14*o. Let w(b) = -b**3 - 22*b**2. Let f be w(o). Are 8/113 and f nonequal?
True
Let p be (-3)/(18/12) + 0/2. Let h be p + (-41)/(-7) - -1. Let r = 313/63 - h. Is r less than 0?
False
Let y = 0 + 8. Let w(x) = -19*x**3 - x**2 + x - 