 = 153 + j. Which is bigger: k or b?
b
Let m = -203.12853 + 0.02853. Let t = m - -203. Is t equal to 421?
False
Let b be (-36)/(-99)*((-2)/812)/(-8 - -9). Which is greater: b or -1/2?
b
Let k = 26834 - 17993. Which is smaller: k or -2?
-2
Suppose -6*n + 2*f = -n + 8, 3*f - 12 = -5*n. Let b(w) = -w**3 + w**2 - w + 2. Let p be b(n). Suppose 6*s - p*s = -12. Is s greater than 0.1?
False
Let v = 1150 - 1024. Let x = -0.82 - 120.18. Let a = v + x. Which is bigger: a or 2?
a
Suppose -3*q + 185 = 4*x, 299*x - 303*x - 255 = -5*q. Which is greater: q or 53?
q
Let z = 0.1 + -0.4. Let u = -0.044 + -13.956. Is z greater than u?
True
Suppose 4*h = -4*c - 32, -4*h - 33 = 5*c - 0. Let q be 187 - ((-4)/h - (-21)/49). Which is smaller: q or 2?
2
Let a be (-13)/(-8)*-2*12. Let c = -34 - a. Suppose -5*y - 1 = c*s + 4, -4*y + 3*s = 25. Does y = -4?
True
Let z = 2075 + -2075. Is -40/149 bigger than z?
False
Let o = 135 + -190. Suppose u = 39*q - 35*q - 46, -64 = u + 5*q. Which is greater: o or u?
u
Let z(k) = 4*k**3 + 3*k**2 + 4*k. Let s be z(-1). Let a be 0/(1 + -9 - s). Which is smaller: -8/33 or a?
-8/33
Let t = 15.82 - -0.58. Let n = 6.6 + t. Let z = n + -24. Do -58 and z have different values?
True
Let l(k) = k**3 + 17*k**2 - 4. Let t be (3 + 11)*-1 - (8 + -5). Let b be l(t). Which is smaller: b or -11?
-11
Suppose -2*m - 3*y - 8 = -6*m, 5*m = 3*y + 7. Let k be (1/(-175))/(38/(-855)). Which is greater: m or k?
k
Let s be 0*((-14)/(-4) + -3). Let v be (s*3/(-3))/1. Let b = -25/6 - -59/18. Which is bigger: b or v?
v
Let s = -236 - -239. Suppose s*h - 4*h = 7*h. Which is smaller: -7/29 or h?
-7/29
Let s = 4.5 - 4.27. Let y = 1.23 - s. Let x = 23.75 + -24. Which is smaller: y or x?
x
Let a = -2393/178 + -5/89. Let h(c) = -c**2 - 9*c - 9. Let g be h(-7). Let j(v) = v - 20. Let w be j(g). Is w != a?
True
Let d(x) = 11*x**2 - 8*x - 21. Let t be d(-4). Suppose 5*b = -k + 84, -3*b + b = 3*k - t. Which is greater: 58 or k?
k
Let t = -7951 - -5348. Which is bigger: -2604 or t?
t
Suppose -3*i + 57 = 5*n - i, 4*i = -5*n + 49. Suppose 2*y - n = 2*r + 3, y + 4 = -2*r. Is 8 < y?
False
Suppose 0 = 10*d - 16*d - 168. Let x = 32 + d. Let u(r) = -r - 10. Let a be u(x). Which is smaller: a or -15?
-15
Let c = 875.958 - 837. Let v = 0.042 + c. Let k = 39 - v. Is -3 greater than or equal to k?
False
Suppose 0 = 4*u - 0*u - 16. Suppose 0 = -u*y - 5*i, 4*y = 3*y + 5*i. Let x be (-38)/(-63) - 48/(-168). Which is greater: x or y?
x
Let v = -3971 - -3838. Which is greater: v or -131?
-131
Let k(v) = -2*v - 21. Let j be k(-13). Suppose -3*t + 18 = -5*t + 5*w, 5*w - 15 = j*t. Does 2/203 = t?
False
Let z = -718 - -723.71. Let r = z - 1.41. Is r greater than -4?
True
Suppose 4*j - 36 = 2*d, j - 1 - 3 = -2*d. Let x be (j - 2 - 8) + -4. Is x greater than -14?
True
Let n = -10219 - -10216. Let a = 11 + -7. Suppose w + 4 = -2*r, -a*w + r + 2 = 3*r. Which is bigger: w or n?
w
Let a = 4.4 + 3.6. Let z = -9 + a. Let n = 150 + -127. Is n < z?
False
Suppose 0*q + 6*q = 294. Let h be 63/q - (-2)/(-2). Which is smaller: h or -3/4?
-3/4
Let c = -2561 + 2560.99. Is c equal to -2/47?
False
Let g = -161 - 1243. Is g >= -1404?
True
Suppose 0 = 2*p + 2*p + 5*c, 0 = 4*p + 4*c. Suppose y + 0*y - 2 = p. Let r be 2/y + 84/(-119). Is 1 smaller than r?
False
Let y = -85.096 + 0.096. Let j = y - -85.4. Is -15 greater than or equal to j?
False
Suppose 4*w + 99 = -11*p - 22, 4*w + p = -131. Let u be (4 - (-6)/(-2)) + 3. Suppose u*b = -29 - 111. Which is smaller: b or w?
b
Let n = -3/1406 + 7327/4092866. Let d = n + 84429/29110. Is d greater than or equal to 2?
True
Let d = -132.4 - -126.4. Is d at least as big as -21.9?
True
Let p(n) = -n**3 - 5*n**2 + 6*n + 3. Suppose 7 = -4*c - 17. Let s be p(c). Suppose -3*x + 8 = 4*d, -s*d + 1 = -4*x - 30. Are x and -13/5 nonequal?
True
Suppose 0 = -19*i - 106*i - 301 + 51. Which is smaller: -97/37 or i?
-97/37
Let g = 26/227 - 3019/64014. Let v = -8/141 + g. Is -2 less than v?
True
Let v(n) = -n**3 - 16*n**2 - 15*n + 20. Let u = 429 + -440. Let g be v(u). Is g at least -419?
False
Let o(s) = -70*s + 120*s - 66*s + 240. Let a be o(15). Which is greater: a or -3/182?
a
Let q(p) = -p**2 - 19*p - 89. Let k be q(-11). Which is greater: -23 or k?
k
Let f = 337 - 399. Let p = f - -61.9. Is -301 bigger than p?
False
Suppose s = -0*s + 17. Suppose -b + 10 = -2*b. Let i be s - (-4)/10*b. Which is greater: -0.1 or i?
i
Let d = 28 + -28. Suppose -3*y = -d*y - 168. Let i = 55 - y. Which is bigger: i or 3/13?
3/13
Let u = 2101 + -2157. Let d = -114 - -58. Is u equal to d?
True
Let w = -90717 - -3721197/41. Which is greater: w or 45?
45
Let d be 0/(-7) + 388/(-140). Let b = 158/35 - d. Are 8 and b unequal?
True
Let g = -5667.1 + 5667. Is g < -28/43?
False
Let v be (-2 + 455/30)/140. Let t = v - -4/35. Let s(d) = d**3 - 5*d**2 + d - 6. Let f be s(5). Is t > f?
True
Let u be ((-54)/(-2835))/(1/(-10)). Let g be 1 + -4 - 21/(-3). Suppose -g*z = -3*z. Which is smaller: z or u?
u
Let q be (-6 + 496/40)*-104*-5. Which is smaller: q or 3329?
q
Let j = -6631/5 + 1322. Let p be -3 - -6 - 3 - (-24)/(-6). Is p bigger than j?
True
Let v = -348553/309 - -1128. Let i(r) = -2*r + 7. Let t be i(4). Is t less than v?
True
Let d = -453 - -300. Let o be (2 - (-150)/d) + -1. Let c be (0/19)/((-2)/(-1)). Is c less than o?
True
Suppose -7*f = -8*f - 60. Let g = f + 60. Suppose 0 = u - 1 - 0, 2*k - 4*u - 8 = g. Is k greater than 1?
True
Let p = 547 + -331. Suppose 240 = 3*m - 3*l, 3*m - p = -0*m - 5*l. Are m and -3 equal?
False
Let h = 44 - 63. Let g be (120/140)/3*-14. Which is bigger: h or g?
g
Let j be 7053/8835 + -3*20/75. Is -4 less than j?
True
Let m = 5/4 - 23/12. Let k = 19.9 - 22. Let o = 2.3 + k. Is o greater than or equal to m?
True
Let b = 538.671 + -538.8. Let p = -0.7 - -0.711. Let t = p - b. Which is greater: t or -0.1?
t
Suppose -2*x = -2*d, -11*x = -6*x - 20. Let t(l) = 7*l**2 + 8*l - 10. Let c be t(d). Is c <= 135?
True
Let o be 88/20 - 6/(-10). Suppose -3 = o*p + 2. Let k = 2358.2 + -2359. Which is smaller: k or p?
p
Let v = 40 - -144. Let i = v - 185. Is 1/70 at most as big as i?
False
Let r be -9 + -6 + 33 + -295. Is -297 smaller than r?
True
Suppose 0 = -4*u - 2*j, 3*j + 12 = -5*u + 14. Which is smaller: u or -38/33?
u
Let b(f) = 123*f - 1877. Let t be b(17). Which is smaller: 218 or t?
t
Suppose 2*h + 5*r - 10 - 14 = 0, 0 = -3*h - 2*r + 14. Suppose 0 = -5*x - 4*p - 351 + 42, -5*x - 2*p = 317. Let o = 133/2 + x. Are o and h nonequal?
True
Let f = 2.34 - -164.66. Let q = -153 + f. Is -0.1 < q?
True
Let f be (10/705)/((-16)/6099384). Let j = f + 5407. Is 0 >= j?
True
Let f(v) = 4*v**2 + 7*v - 60. Let x be f(5). Is 80 at most as big as x?
False
Let l be (-963976)/(-936) - (-50)/45. Is l equal to 1032?
False
Suppose 2*u + 5*r + 30 = 0, -8 = -0*r + 4*r. Let b be u/4*(-13 - -3). Suppose 2*g - b - 23 = 0. Which is smaller: 23 or g?
23
Let q(t) = -3*t + 19. Let w be q(5). Let n be (3 - 2) + w + -2. Is -14 <= n?
True
Let z be 1/(-1) + (-296)/(-2). Let t = z - -245. Suppose 6*n + t = -n. Which is smaller: n or -55?
n
Let y be ((-10)/(-25))/((-508)/(-40)). Let i be 1/(3/6) - 2. Is y > i?
True
Let h be 5/(-5 + 10)*17. Suppose 0 = 5*f + h + 28. Let y be (-1)/3 - 35/3. Which is smaller: y or f?
y
Suppose -2*p = -4*r - 30, 2*r = 6*r + 20. Let c(z) = -z**2 + 7*z - 6. Let j be c(2). Suppose -9*v + j*v = -30. Is v bigger than p?
True
Suppose 5*x + 2*k = 122 + 306, -5*x - 4*k + 436 = 0. Suppose 40*y + x = 46*y. Is 0.15 > y?
False
Suppose -7*p - 15 = -12*p. Let f be -35*2*4/(-8)*p. Suppose 4*r = 5*d + 415, -4*r + d = 4*d - 423. Is f at least r?
True
Let j be 0 - (1 + -2 + (-2842)/(-2814)). Suppose -3*i - 6 = 3*u, -2*u - 6 - 3 = -3*i. Which is greater: j or i?
i
Let d be 343*(20 - 2244/154). Which is smaller: d or 1858?
1858
Let f = 4967.1857 + -1.1857. Do f and 0.2 have the same value?
False
Let x be -4 + (6/3 - -14). Suppose -b + x = -4*b. Let k(h) = -2*h**2 - 5*h - 2. Let w be k(-3). Is w smaller than b?
True
Let x(k) = 4*k**2 - 56*k + 13. Let j be x(14). Suppose 2*u - 5*d = -33, j*u - 10*u + 45 = 3*d. Is u >= -14?
True
Let g = -13954 + 13958. Let u be ((-21)/(-3) + -2)*-3. Let w be 157/35 - (-3)/u. Is g > w?
False
Suppose -20*l + 14*l + 24 = 0. Suppose -2*g - l + 16 = 2*z, 5*z = g - 36. Is g < 11?
False
Su