 (-340)/(-55) - o/(-11). Is -21 != v?
True
Suppose -t = -y + 4, -3*t - 3*y + 6 = -0*t. Let m = -10680/64883 - 8/713. Is t less than m?
True
Suppose -110*r + 53 = -57*r. Which is smaller: r or -7/7884?
-7/7884
Let h = 18 - 14. Let m be (-19)/(114/(-36))*h/3. Suppose -20 = -3*n + m*n. Is 14 smaller than n?
False
Let y be 72/78*392/(-154). Is y bigger than -3?
True
Let k = -3573 + 25013/7. Which is smaller: k or 2014?
k
Suppose -5*u = -5*w + 8*w + 6047, 3*u = w + 2011. Is w less than -2017?
False
Let k = -9/5 + 32/15. Let g = 304282 - 304525. Do k and g have the same value?
False
Let m(n) = -18*n - 30. Let v be m(-2). Let f(g) = -g**3 + 10*g**2 - 23*g - 7. Let z be f(v). Let q = -1432/63 - -156/7. Which is greater: q or z?
q
Let f = 8.5438 - 0.5778. Let r = -0.0119 + 0.0459. Let a = f + r. Are 0.1 and a equal?
False
Let h = -39068 - -36204. Is -2864 at least h?
True
Let n(c) = 1283*c + 81. Let b be n(2). Are b and 2647 equal?
True
Suppose 3*n + 7 = 7*n + y, -y - 8 = -n. Let i = -18 - -3. Let b = i + 17. Is n greater than or equal to b?
True
Let d = 10118 + -10130. Suppose 3*j = 3*x - 3, 0*j + 3*j = 3. Suppose 0 = -k - x*k - 33. Which is bigger: k or d?
k
Let n(f) = 4*f + 42. Let k be n(-6). Let c be -7 + -3*k/42. Is c equal to -9?
False
Let c = -784 + 783.9784. Let q = -6.7216 - c. Are q and 2 non-equal?
True
Let t(j) = -j**3 - 7*j**2 + 8*j. Let o(b) = -3*b + 19. Let w = 43 - 34. Let f be o(w). Let v be t(f). Which is bigger: 5/13 or v?
5/13
Let v be (-3)/(0 + (-2)/(-10)). Let p = -130 + 146. Let f be (45/12 - 3) + (-204)/p. Is v != f?
True
Let t be (9/(-12))/((-5)/(-20)). Let k be 1/(77/266) + 10/(-2). Which is smaller: k or t?
t
Let b(r) = -77*r - 444. Let v be b(-2). Which is smaller: -280 or v?
v
Let j be (-13 + -1)*(30836/(-28) + 1). Which is bigger: 15405 or j?
15405
Let z(w) = -w**3 + 19*w**2 - 73*w + 25. Let q be z(6). Is 41 less than q?
True
Suppose 128 = -g + 13*h - 11*h, 520 = -5*g - 10*h. Do g and -112 have the same value?
False
Let h = 374 + -372. Let y be (-1)/h + (-884)/2312. Which is smaller: y or -1?
-1
Suppose 73*h = 67*h + 3210. Suppose 5*p - h = -76*q + 78*q, -4*q - 335 = -3*p. Which is bigger: p or 106?
106
Let k = 5281/10330112 + -5/8192. Which is greater: 1 or k?
1
Suppose 295*q - 2961217 = 518*q. Is q <= -13279?
True
Let g(z) = z**3 + 6*z**2 - 21*z - 8. Let n be g(-10). Let y = n + 197. Let a = -34218/47 + 728. Which is greater: y or a?
a
Let c = 81 + -71. Let u be (-7)/(-10)*236 + (-2)/c. Let t = -116 + u. Is t greater than 49?
False
Let s = -4458 - -4462. Is 96.1 >= s?
True
Let l = 948151/15 + -63174. Let o = 107/3 - l. Which is smaller: 31/2 or o?
o
Let f(o) = -12*o + 11. Let m be f(7). Let y be m - (-2 - -1 - 2). Let u(k) = -7*k + 69. Let p be u(20). Which is smaller: p or y?
p
Let u = 5057/3244568 - 3/7528. Which is greater: u or -1?
u
Suppose -2*y - 493 = -4*a - 101, y = 0. Let i be 9/a*(-10)/(-15). Let s = 4 - 5. Is i at most as big as s?
False
Suppose 5*r - 2*w - 26 = 0, -6*r + w = -2*r - 19. Let o = -79.8 - -194. Let l = 114 - o. Which is smaller: l or r?
l
Suppose -12*x + 54 - 474 = 0. Let p = 35 + x. Let q = 177599/111 - 1600. Is q less than or equal to p?
True
Suppose 3*t = 2*g - 4596, t - 4*g + 4602 = -2*t. Do -1530 and t have the same value?
True
Let p(t) = -t**2 - 192*t + 754. Let q be p(-106). Is q > 9868?
True
Let g = 63719967298/5452125 + -2349127/201. Let d = -1/2625 - g. Which is smaller: 1 or d?
d
Suppose 24 - 9 = 5*i + 5*r, 4*i + 2 = 3*r. Let x = 0 - i. Let p = 494.17 - 494. Do x and p have different values?
True
Suppose 13 = 5*s - 12. Suppose -5*c = -0*c - 4*v + 32, -s*v = c - 11. Let a be ((-2)/6)/(c/96). Which is smaller: 36/5 or a?
36/5
Suppose 5*u = -2*u - 14. Let v be u/((-64)/6*3/12). Is 9/8 at least v?
True
Let b = 1538.95 - -69.05. Which is smaller: b or 0.2?
0.2
Suppose v = -4*n - 113, 2 = -3*v + 11. Let a = 31 + n. Let o be (a/(-18))/((-1)/(-7)). Which is smaller: -2 or o?
-2
Let u = -5210117/118 - -44153. Let l = u - -2/59. Let j = 22.333 - 22.433. Which is bigger: j or l?
j
Let j be (9*6/54)/(-3 - -2). Is 63 equal to j?
False
Suppose 0*k = k - 4. Suppose k*s - 3*v = -65, 4*s - 41 = 5*v - 104. Let o = s - -14. Which is smaller: o or -12/7?
o
Let h(g) = 92*g + 3584. Let f be h(-79). Is f not equal to -3684?
False
Let s = 8 - -48. Suppose 3*v = v + 2*n - s, -3*n - 41 = 2*v. Are v and -26 nonequal?
True
Suppose 10*v - 639 = 471. Suppose 146 = 5*p + q, -p = 3*p - 5*q - v. Let n = 61 - 32. Is p equal to n?
True
Let s = -0.828 + 33.828. Is -0.057 >= s?
False
Suppose 1719 = -2*l + 563. Let i be 3/(-19)*5/(15/(-10988)). Let q = i + l. Is -1 smaller than q?
True
Let b = -63/94 - -10663/11562. Which is bigger: b or 0?
b
Suppose -3*i = -i + 4. Suppose 1186*t - 23025 = 265*t. Is t <= i?
False
Let n be 500/160 - (6 - 1). Is n >= 23?
False
Let c = 78 - 646. Is c > 1?
False
Let b be (1 - 28/(-16))*(-7 - -13). Let g = -13 + 12.3. Let k = 1.3 - g. Is b greater than k?
True
Let f = -690 - -272. Let s = 418 + f. Is s at most -52?
False
Let a(q) = 10*q**2 + q + 11. Let n be a(4). Let j = n - 139. Which is bigger: j or 23?
j
Let o(k) = 6*k - 15. Let n be (26/(-39))/(3/(-18)). Let j be o(n). Is j not equal to -12?
True
Let m be -2 + (18/3)/1. Let h = m + -3. Let u be (-1)/(-8*21/840). Do u and h have different values?
True
Let j be (-27)/3 + (-13 - -24). Let f(v) = 5*v**2 + 5*v - 4. Let i(b) = -11*b**2 - 11*b + 8. Let z(d) = 9*f(d) + 4*i(d). Let x be z(-3). Are x and j equal?
True
Let j = 16/15 + -323/120. Let z = -15/8 - j. Is 63 at least as big as z?
True
Let f(t) = t + 8. Let h be f(-9). Suppose 4*y + 127 = -5*w + 142, -12 = -4*w - 4*y. Is w > h?
True
Let k(j) = 25*j - 43. Let w be k(2). Suppose w*s = s. Is 2/135 at most as big as s?
False
Suppose -35*f - 3699 + 3734 = 0. Which is greater: 0.422 or f?
f
Let d = -62360.6328 - -62388. Let u = 0.0672 - d. Let m = 0.7 - u. Is -1 != m?
True
Let w = -21 + 42. Let x = -118 + 119. Let u be x/(15/342) + (-8)/(-40). Is u at most as big as w?
False
Let c = -285 - 157. Is c less than 2/7?
True
Let i be 2*((-8330)/(-588))/((-1)/3). Which is smaller: -81 or i?
i
Let a be 16/(-13552)*(2 + 1). Which is smaller: a or 1?
a
Let h be 14/(-15) + (-3)/(-9). Let x(y) = 3*y + 87. Let a be x(-29). Let l be ((-270)/(-35) - a) + (-4)/(-14). Is l less than h?
False
Let f = -861 + 885. Is f bigger than -2?
True
Let q = -68 - 12. Let x(h) = -2*h**3 + 106*h**2 - 37*h + 1965. Let f be x(53). Which is smaller: f or q?
q
Suppose 0 = 67*x + 113*x + 141840. Is x <= -791?
False
Let r = 5221 - 5222. Which is greater: r or 25/804?
25/804
Let x = 516.4139 + 0.5861. Which is smaller: x or -5?
-5
Let z = 240.3 + -241. Let x = z + 0.6. Does -28.5 = x?
False
Suppose -2*k + 1 = -3*k. Let r(m) = -2*m**2 + 17*m + 19. Let l be r(-8). Let y = l - -3188/13. Is y less than or equal to k?
False
Let d(w) = -503*w - 3018. Let o be d(-6). Is o smaller than 416?
True
Suppose 2*i = -4*z - 142, 172*i - 355 = 177*i + z. Are -82 and i nonequal?
True
Let m = -5459 + 5369. Is 0.21 smaller than m?
False
Let s = 52 - -35. Suppose 3*u + 20*p - 18*p - 18 = 0, 4*u - 24 = -3*p. Let t be (-16524)/(-189) + u/(-14). Is t at most s?
True
Suppose 21*w - 37 = 68. Let g be w/3 + ((-672)/(-261) - 3). Which is smaller: 2 or g?
g
Let h = 86111/96 - 897. Let q = -19/224 + h. Let r = 4.3 - 3.9. Which is greater: q or r?
r
Let p be ((-72)/162)/(18/(-81)). Is p greater than or equal to 696?
False
Let z be 21/7 + 3 + -2. Suppose -302*o = -306*o + z. Which is greater: o or 18/19?
o
Suppose -230*s + 331*s = 101. Let v = 0.07 - -3.93. Is v greater than s?
True
Let p = 360 - 360. Suppose -u = 2*k - 7*k - 26, 2*u = 5*k + 47. Which is smaller: u or p?
p
Let q = 8378 - 8303. Which is smaller: q or -2/5?
-2/5
Let u = 245 + -229. Suppose 18*v - u = 34*v. Does 39 = v?
False
Let x = -14515 + 14554. Is x bigger than 94?
False
Suppose 20*o = 28 + 52. Let p be 10 - o - ((-64)/(-6) - 5). Which is smaller: p or -12/11?
-12/11
Let h(m) = -8*m**2 + 18*m + 58. Let u be h(-5). Let c = -206 - u. Which is smaller: c or 24?
24
Let t(z) = -3260*z - 8 + 1628*z + 1644*z. Suppose -10 = 5*h - x, 0*h + x = h + 6. Let o be t(h). Is o bigger than -21?
True
Suppose -5*l = -192 - 38. Let h = 327/7 - l. Which is greater: 13 or h?
13
Let k be (-135)/(-25)*(-5)/(-1). Su