-3*q - 56 = 4. Let w be q/16*b/(-15). Is w at most 0?
True
Suppose 2*q + 4 = 6*q, -5*q - 4819 = 3*o. Let l be ((-5)/(-30))/(4/o). Which is greater: l or -71?
l
Let k be -4*3/(-24) + 123/(-222). Let l = 13 + -12. Let n = 0 - l. Which is greater: n or k?
k
Let s = -165 + 96. Let d = s - -73. Let o be 1/d - (-3)/4. Which is smaller: o or -4/27?
-4/27
Suppose -25311 + 25311 = -b. Which is smaller: b or -1/1343?
-1/1343
Let r = -187926/7 + 27048. Is r less than or equal to 201?
False
Suppose -17*j + 18*j - 12 = 5*g, -5*g + 5*j = 40. Is 3/2789 >= g?
True
Let v = -27/3400 - -75367/71400. Let z be 0 + 2 + -3 + 1. Is v <= z?
False
Let y = 26.89 + -16.99. Suppose -2 = w - 0*w. Is y less than w?
False
Let n = -411 + 416. Let r be ((-14)/(-1))/((-4)/6). Let g = n - r. Which is smaller: 0.1 or g?
0.1
Let l = -11.97 + 12. Let i = 84.19 - 84. Let f = i - 0.59. Does l = f?
False
Let l be 27/(-2)*-2 - 1. Let g = 2571 + -2477. Suppose -g - l = -8*i. Is i at least as big as 15?
True
Let x = 552 - 545. Let w be x + 60/(-8) - 1761/(-3546). Is w > 1?
False
Suppose 299*n = 163*n + 35224. Which is smaller: -32 or n?
-32
Let w be (90/20 + -4)*1*50*-1. Suppose 2*u + 204 = 5*t, -3*u + 150 = 4*t + 2*u. Suppose 4*z - k + 104 = k, 2*z + 2*k + t = 0. Which is smaller: w or z?
w
Let z be (-702)/42 + (-8)/28. Let j(m) = m**2 + 16*m + 28. Let w be j(-9). Let a = -49 - w. Is z <= a?
True
Suppose 2 = -2*v, -11174 = -p - 47*v + 52*v. Is 11169 greater than p?
False
Let j = -514033774/2773 + 185371. Is j smaller than 0?
False
Suppose 5*x + 2472 = 13*x. Suppose x*o - 306*o - 3 = 0. Let u be 2/(-6) + 4/(-6). Are o and u nonequal?
True
Let t(c) = -19*c - 3. Let l be (1 + -9)/((-20)/((-90)/(-9))). Let d be t(l). Are -79 and d unequal?
False
Suppose 22*s - v = 26*s - 2157, -2*s + 3*v + 1061 = 0. Suppose -847 = -2*z + 3*k, 117 - s = -z + k. Are z and 416 equal?
True
Let v(s) = 5*s**2 - 5*s - 5. Let l be v(-1). Suppose -7*g - l*g + 96 = 0. Let c = 4 + 1. Is g <= c?
False
Let v = 16032 + -16044. Are v and 14 unequal?
True
Let n be (-11)/(-7) + 3/63*9. Suppose -4*a - 164 = -n*i - 3*i, 0 = a - 3*i + 48. Let z be (-4)/(148/a - -4). Is z less than 36?
False
Let m = -269 - -335. Suppose -6*u - 5*u = m. Let w = -3 - 2. Are w and u nonequal?
True
Suppose 14 = 3*b - 13. Suppose -21 + b = -4*t. Let i be (-24)/16 + t/(-4). Which is smaller: i or -1?
i
Let m = 78.971 + 0.029. Let v = m + -80. Is v != -3/2?
True
Let z = -21943 - -65827/3. Which is smaller: z or -34/193?
z
Let n = 7.123 + -6.623. Suppose -4*t = -5*p - 15, t - 3*p = 4*t - 18. Let s be (20/(-125))/(2/t). Which is greater: s or n?
n
Suppose 0 = 5*s + 152 + 73. Let a be (36/s)/(188/(-10)). Let j = -1547 - -1547. Which is bigger: j or a?
a
Suppose 7*x - 4*c = 10*x + 25, -2*c = 3*x + 23. Suppose 17*b - 15 + 270 = 0. Which is smaller: b or x?
b
Let g(c) = -c**3 - 9*c**2 + 19*c - 26. Let x be g(-11). Suppose -o - 2*z = 5, -5*z + 8 = -x*z. Is o at most 3?
True
Suppose -2959 = 5*a - 3*y, -6*a + 4*y = -4*a + 1178. Let n = 655 + a. Is n equal to 59?
False
Let w(u) = u**3 - 5*u**2 - 9*u + 10. Let x be w(6). Do x and 0.002 have the same value?
False
Let j be 2487/45 + -1 + 29 + (-2670)/90. Which is smaller: j or 1?
1
Let c = 504 + -338. Suppose 158*f - c*f = 8. Is f > -4/13?
False
Let h(l) = 21*l**2 - 2*l. Let s be h(1). Suppose -2 = -t + 1. Suppose -48 = -3*d + t. Are s and d non-equal?
True
Let j be (-18324)/(-60) - (-3 - 119/(-35)). Does j = 3/2?
False
Let x = 16.787 - -0.113. Let g = -17 + x. Which is greater: -92 or g?
g
Let k be ((-184)/16)/(-23)*1672. Which is smaller: k or 835?
835
Let y = 8 + 22. Let d = 22.87 + 0.13. Let x = d - y. Do x and 0.4 have different values?
True
Let v(j) = j**3 + 18*j**2 + 15*j - 30. Let k(z) = -7*z + 39. Let n be k(8). Let l be v(n). Let o be ((-6)/(-3) - 0)/(l/50). Is o < 1?
False
Let j be ((-442)/195 - -2)*2889. Which is smaller: j or -771?
-771
Let i(g) = g**3 + 14*g**2 + 20*g + 4. Let f be i(-8). Let p be (-10)/65 - f/39. Let s(h) = -5*h**3 - 6*h**2 + 2*h + 3. Let u be s(1). Is p at most as big as u?
True
Let x(h) = 13*h**2 - 33*h + 139. Let v be x(3). Which is smaller: 158 or v?
v
Suppose 4*a + 567 = 5*i - 780, -3*i - 15 = 0. Which is smaller: a or -345?
-345
Let o(w) = -1204*w - 1191*w - 23 + 2396*w. Suppose -57 + 9 = -3*v. Let j be o(v). Is j less than -8?
False
Let k = -48496 + 2230985/46. Which is greater: 5 or k?
5
Suppose 2*s + 124 = 122. Suppose -5*u = 2*p + 2*p - 2077, 2*u - 830 = -2*p. Let z = u + -17932/43. Which is smaller: z or s?
s
Let r(c) = -66*c - 24. Let v(a) = -31*a - 314. Let o be v(-10). Let m be r(o). Is 242 at least m?
True
Let u = 1971 + -1970. Which is greater: u or 3/2254?
u
Let l be (-24)/(-36) - (-38)/6. Let s be l/(-14) - (-1146)/4. Let y be s/14 - (-6)/(-14). Which is bigger: 21 or y?
21
Suppose -4*t = -3*d + 31, 4*d - 11 = -3*t - 3. Suppose 0 = d*s + 10, -4*w + 5*s = 609 + 21. Is -162 smaller than w?
True
Let z be (-8)/168 - (-1)/((-14)/(-10)). Which is smaller: -3.47 or z?
-3.47
Suppose -2*m - 2 = -4, 0 = -4*r + m - 17. Let b be ((-2 + -2)*4)/((-5)/(-80)). Let h = 256 + b. Which is smaller: r or h?
r
Suppose -4*d = -16, -k + 299 = -20*d + 21*d. Which is greater: k or 296?
296
Let k = 36535.858 - 36437. Let r = k - -0.142. Which is greater: 0 or r?
r
Let o(u) = -u**3 - 20*u**2 + u + 20. Let j be o(-20). Let h be -14 + 18 + (j - -150). Suppose 9 = 151*l - h*l. Is -1 at least as big as l?
True
Suppose -5*o - 89 = 71. Let t be 16/40 + 1*(-156)/5. Which is smaller: o or t?
o
Let m(j) = 4*j - 8. Let r be m(2). Let h = -1025617/41 + 25168. Let s = h - 153. Which is smaller: s or r?
s
Suppose 2*u + 7724 = -48*x + 50*x, -3*u = 4*x - 15511. Is 3871 smaller than x?
False
Suppose 4*k - 3*k - 4*r = 610, -1180 = -2*k - 2*r. Let m = -11881/20 + k. Which is smaller: m or -4?
-4
Let s = -0.0877 + -408.9123. Let r = s - -417. Is -3 smaller than r?
True
Let z = 1.34 + -126.34. Let t = z + 125.1. Which is bigger: t or 70/13?
70/13
Suppose -242*y = -271*y - 48372. Is y at least as big as 0?
False
Let t = 5476/11 + -10803/55. Which is smaller: 302 or t?
t
Suppose 3*q = 8*q - 1593032130. Let g = q - 63739445763055/200057. Let d = g - 3/1399. Does 0 = d?
False
Let q(i) = -150*i - 1800. Let r be q(-12). Let p = 1438 - 21607/15. Let t = p + 14/5. Which is bigger: r or t?
t
Let s = -1546 + 2251. Which is greater: s or 6340/9?
s
Let g be ((-20)/(-190) + ((-8)/76 - 1))/(-67). Are 183 and g equal?
False
Let w(z) = 41*z + 598. Let u be w(-11). Is 160 <= u?
False
Suppose 3*t - 13150 = -313*f + 317*f, -6566 = 2*f + 3*t. Which is bigger: f or -3287?
f
Let n = -0.7257 - -0.793. Which is smaller: -0.02 or n?
-0.02
Suppose -37 - 147 = -8*w. Suppose -24 = -b - w. Let j be 1*(-4 + 4)*b. Which is smaller: 1/87 or j?
j
Suppose 0 = -j - 5*p + 75, 0 = -3*p + 6. Let r = j + -67. Let a be r*4/696*3. Is -1 bigger than a?
False
Suppose -1 = m + 5*k, 2 = -m + 3*k + 9. Suppose -m*u + 188 = 2*d, -6*d = -4*u - 7*d + 188. Suppose 5 = j - 41. Is u < j?
False
Suppose -27*x + 53*x + 155031 = -67*x. Which is bigger: x or -1668?
x
Suppose 0 = 205*t - 133*t - 150912. Which is greater: 2093 or t?
t
Suppose -27*g + 110 = -5*g. Suppose -g*m = -126 + 6. Do 95/4 and m have different values?
True
Let l be (-3)/((-45)/10) - (-38)/12*158. Which is bigger: l or 504?
504
Let n = 547405/63 + -8689. Is -369 != n?
True
Suppose 1 = 4*x + 9. Let i = -2/147 + -1303/1470. Which is greater: i or x?
i
Suppose 8*o - 3*o + 27 = 4*k, -4*o - 21 = -3*k. Let n be 37/o*(-13 + 10). Which is smaller: 0.1 or n?
0.1
Let y(z) = 2*z**2 - 37*z - 37. Let d be y(-1). Let m be (50/13)/2 - 1. Which is smaller: m or d?
m
Let x = 1.00472 + -0.00472. Which is bigger: -5/219 or x?
x
Suppose w + 126 = -w - 3*s, -176 = 3*w - 2*s. Let y = w - -67. Which is greater: -1 or y?
y
Let x = -2365 - -1550. Is 1 > x?
True
Let w = 3830 - 3830.2. Which is smaller: w or -2135?
-2135
Suppose 0 = -4*w + 3*h + 36, 20 = 5*w + h - 6. Let z be ((-1725)/1305 - (-2)/w) + 1. Are 0 and z nonequal?
True
Let j = 5851 - 5793. Which is greater: -7 or j?
j
Let r = 347.0449 - 1.8449. Which is smaller: -3 or r?
-3
Suppose 30*w + 0*w - 19536 = 6*w. Is w < 3255/4?
False
Let c = -73.94 - -71. Let h = c - -16.24. Let q = h + -14.3. Which is bigger: q or -54?
q
Suppose 126*g - 116 = 10*g. Which is bigger: