51. Are q and f equal?
False
Let z = 89735 - 89735.2. Let p = -13 - -9. Let q = p - 2. Which is smaller: q or z?
q
Let i be 0 + 117*((-9)/(-12))/3. Let r = -0.1 - 0.9. Which is bigger: i or r?
i
Let v = -15496 - -15493. Let w be (-9574*1/(-6))/2. Let m = w + -800. Which is greater: v or m?
m
Let y = 188 + -341. Let v = y + 162.3. Let b = -10 + v. Is b greater than or equal to -1/3?
False
Let n = 413 + -2383. Which is greater: n or -1?
-1
Suppose -3*c = -c - 288. Let v be (-14)/6*c/16. Let k be (-4 + v/(-5))*-1. Which is smaller: -1 or k?
-1
Let d = -466 - -496. Suppose -10*h + 1380 = -d*h. Are h and -70 unequal?
True
Let i = 47 + -30. Let g = 17 - i. Let d = 0.12 + -0.06. Is d greater than or equal to g?
True
Let h = 0.045 - -22.155. Let z = 28.12 - h. Let d = 0.92 - z. Is 5 bigger than d?
True
Let o = 0.4 - 0.6. Let m = 9673 + -9646. Which is bigger: o or m?
m
Let u be ((-960)/1280)/((-3)/4). Let a be 45360/26650 - (-2)/(-13). Let o = a + -2/205. Are u and o non-equal?
True
Let q = -40 - -40. Let s be -4 + 15 + q + 5. Which is bigger: s or 19?
19
Let n be (24/12)/((-4)/3 + 2). Suppose 4*t - 5*q - 8 = -3*q, -n*q - 12 = 4*t. Which is bigger: t or -1/537?
t
Let l = 109 + -107. Suppose -105 = 5*d + l*z - 4*z, -z + 110 = -5*d. Do d and -24 have different values?
True
Let n = -331 + 236. Let f = n - -97. Suppose q + 0 = -f*k - 12, 5*k = 4*q - 17. Is -22/7 at most q?
True
Let f be 4/(-525)*-6*(-29315)/169180. Let h = 1/1538 - f. Is h smaller than 1?
True
Let a(g) = 14*g - 78. Let o be a(6). Suppose -2 = m, -13*m = 2*r - 16*m - o. Is 3/164 smaller than r?
False
Let u = -0.1851 - -0.1341. Is u smaller than -3?
False
Let m = -63 - 248. Is -935/3 != m?
True
Let g(i) = i**3 + 5*i**2 - 4*i. Let v be g(-6). Let j be 4*v/(-2) - (2 - 0). Let b be -13*2/j - (-20)/110. Which is bigger: b or 1/91?
1/91
Let h = -23833 - -23833. Is -19/776 greater than h?
False
Let t be 9/(-3)*(-1)/(-12)*-4. Which is smaller: t or 2/11767?
2/11767
Let x be 3/((-2)/2) - -2. Suppose 24 = -4*r - t, 4*r - 2*r - t + 6 = 0. Which is smaller: x or r?
r
Let p = -26.505 + 29.705. Which is smaller: p or 256?
p
Let r be 27/6*48/72. Suppose 0 = -3*f, -r*d = -3*f - 9 + 3. Which is smaller: 58/37 or d?
58/37
Let k be (-2408)/(-308) - 2*(0 - -4). Is 8/3 greater than or equal to k?
True
Let k be ((-15)/(-4))/((-5)/((-160)/6)). Let i(l) = 283*l - 285*l - 2 - k. Let m be i(-15). Which is smaller: 10 or m?
m
Let h = -22303/180 - -824/9. Let t = h - -153/5. Suppose -2*r = -0*r + 2. Is t less than or equal to r?
True
Suppose -3*s + 4*s = 2*f - 2, 16 = 4*s + 4*f. Suppose j + j = 0. Suppose s*x + j*x - 4 = 0, -10 = -4*d - 3*x. Which is smaller: d or 1/8?
1/8
Let a = -102.845 + 103. Let h = -15.845 - a. Let o = 12 - h. Are -1/2 and o equal?
False
Let v = 7151 + -7072.46. Let x = -79 + v. Let n = x + 0.26. Is -24 greater than n?
False
Let z be (7/14)/((-2)/(-44)). Suppose -7*m + z*m = 140. Let v be (-7)/(-10)*5/m. Is 1 <= v?
False
Let c = 29350322666851/23191695879305 - -3/1461815057. Let v = c - 2/835. Is 1 less than or equal to v?
True
Let n = 0.045 + 50.955. Let h = 51.1 - n. Let x = 406 - 406.026. Is h at most x?
False
Let c(w) = -2*w**3 - 10*w**2 - 20*w - 34. Let f be c(-7). Let t = -303 + f. Is 39 < t?
False
Let x = 31 - 25. Suppose -x*d + 10*d = 24. Suppose -30 = -d*s + 3*s. Do 10 and s have the same value?
True
Suppose -r + 5*r + 334 = 6290. Which is smaller: 7439/5 or r?
7439/5
Suppose 27*b - 440 = 5*b. Let n be (16/b)/((-8)/1580). Is n >= -158?
True
Let q be 708/(-10)*(3 - 8). Suppose -513*m + 4248 = -501*m. Is m greater than q?
False
Let y = -29/395 + 511/1580. Let r be -2 + ((-84)/13)/(-3). Are y and r equal?
False
Let x = 12740 - 89176/7. Let s(a) = -a**3 - a**2 - a - 1. Let d(c) = 2*c**3 + 5*c**2 + 5*c + 3. Let o(j) = d(j) + s(j). Let i be o(-3). Is i less than x?
True
Let v = 288 - 440. Is -138 <= v?
False
Let r = 1171 + -5834/5. Let q(j) = 6*j**3 + 4*j**2 + 7*j + 29. Let g be q(-4). Let i = g + 324. Is i > r?
True
Let b(s) = -s**3 + 8*s**2 + 9*s. Let g be b(9). Suppose g = -2*j + 5*j - 24. Let v be -2 + (-4)/j*-3. Is v bigger than -1?
True
Let v = -67273 - -67276.0243. Let j = 0.0243 - v. Is j < -3?
False
Let t = -527 - -516. Let h(r) = -r**3 - 13*r**2 - 21*r + 9. Let y be h(t). Let p be 0 + 0 - (-1 - -2). Which is smaller: p or y?
y
Let q be (4/10)/(8/10). Let t = 175 - 174.94. Let u = 0.07 - t. Which is bigger: u or q?
q
Let z(q) = q**3 - 6*q**2 - 44*q + 213. Let p be z(6). Which is greater: p or -199/4?
-199/4
Let b = 664.6 - 654. Let p = -12.6 + b. Which is greater: 50 or p?
50
Let v be (-2 - (-30)/21) + (-1086670)/1365. Is v greater than or equal to -797?
True
Suppose 0 = -29*u + 17*u - 48. Let g be u + 3/1 - -1. Let x = -53409/70 - -763. Which is bigger: x or g?
x
Let p = 5471.1 - 5477. Are p and -5/11 unequal?
True
Let p = 4560 - 4619. Do -2/7 and p have different values?
True
Let a(d) = 2*d**2 - 20*d + 15. Let p be a(8). Let g = p - 53. Is g bigger than -1?
False
Suppose -4*g + 868 = -2*x, -3*g + 530 + 121 = 3*x. Let n = -1517/7 + g. Is 0.16 != n?
True
Suppose a - 1052 = 5*d, 39*a = 35*a + d + 4094. Is 1022 greater than a?
False
Let t = 873 + -917.36. Let z = t + 44. Let n = z - 11.64. Which is smaller: -1 or n?
n
Suppose 10*v = -v + 11. Let b = -259307/252 + 1029. Which is smaller: v or b?
b
Suppose -4*m + 16 = -8*m. Let c be 32*-1 + m/4. Is c greater than -31?
False
Let y = 31 - 61. Let q = 293 - 261. Suppose -38*s + q*s = 180. Do s and y have the same value?
True
Let s = -913/2208 - -1/138. Which is smaller: 0.1 or s?
s
Let g be (-43)/(-2*6/84). Suppose 9*c + 31 = g. Suppose -d = -0*d - 29. Is d >= c?
False
Let v(x) = -x**3 + 20*x**2 + 23*x - 27. Let o be v(21). Let f be (-7 - -17)/((-5)/(o/(-6))). Let k be (f + -6)*1/1. Is k bigger than 2/115?
False
Let b(n) = n**2 + 3*n - 2. Let y be b(-4). Let t = 307 - 135. Let j = t + -165. Which is greater: y or j?
j
Let w be ((-40)/60)/(1/(-3) - 0). Suppose 0 = 3*s + h - 158, 0 = 3*s - w*h - 2*h - 148. Let d(j) = -36*j - 56. Let f be d(-3). Is f > s?
False
Let t = 0.24 + 9.76. Let x = t - 11. Let d be ((-585)/54 - -10)*4. Is x at least as big as d?
True
Let t(b) be the first derivative of 7*b**2/2 + 71*b - 5. Let g be t(-10). Are g and -2/249 non-equal?
True
Let w be 4 + 1/(6355/(-25422)). Let g = -260487/216070 + w. Let b = g + -5/17. Is -2 at most as big as b?
True
Let y = 707 - 871. Let a be (-8)/6*2706/y. Is 35 at most as big as a?
False
Let h be ((-2)/32)/((-1)/9). Suppose -2*k = -7*k + 7*k. Suppose 3*a + 5*j + 9 = k, -2*a + j + 16 = -3*j. Which is smaller: h or a?
h
Suppose -3*x + 8 - 1 = -4*w, 29 = -3*x - 5*w. Let i be x + ((-3)/(-5))/3. Let q = -6 + 3. Are q and i non-equal?
True
Let o = -18 - -53. Let u(h) = 2*h**3 + 14*h**2 - 16*h - 2. Let y be u(-8). Let g(t) = -2*t + 31. Let q be g(y). Do o and q have different values?
False
Let b = 273 + -12830/47. Let r = b - -67/1269. Let j = r - 148/1269. Does -1 = j?
False
Let d(j) = 4 - 4*j + 2*j + 0 - 2 - 145*j**2. Let r be d(-2). Let p be 21/r*2/6. Are p and 1 unequal?
True
Suppose 0 = 18*m - 22*m + 8, 0 = -5*y + 5*m. Suppose y*d = -29 + 27. Which is greater: d or -25/22?
d
Let x = -15957719/109837 - 4/15691. Let y = x - -37713/259. Is y at least -1?
True
Suppose 3*x = -2*x - 490. Suppose 5*d + 4*g + 487 = 0, -10*g - 190 = 2*d - 6*g. Is d bigger than x?
False
Let a be (-2)/(-1)*-2*2929/202. Is a < 10?
True
Let t = -609.6 + 609.7. Are 4081 and t unequal?
True
Suppose 5*w - 58*w = 3021. Which is smaller: -60 or w?
-60
Let v = -23/196 - -2719/6468. Suppose -5*j + 3*t = t - 181, -5*j - 3*t = -166. Let a be 0*(j/(-10) - -4). Which is smaller: v or a?
a
Let d be ((-3)/(-5))/((-4)/(-20)). Let f be (20/6)/((-4)/(-18)*d). Suppose -c + f*x = -0*c + 6, -3*c = -5*x - 2. Which is greater: c or 23/5?
23/5
Let t be -14*(-3 + 1)/(-4). Let i be (-1 - -1)*t/(-42)*3. Let p be 15/55*3/(-9). Is i at least p?
True
Let h = 11515 + -11514. Let d = -121 + 9076/75. Is d >= h?
False
Suppose -5*b - 10 = 0, 7*f + b = 3*f - 2. Let l = -955 - -11467/12. Which is greater: l or f?
l
Let a = -39.9 + 58. Let t = a - 17.9. Is t greater than -138?
True
Suppose 63 = -44*k + 65*k. Let b be -75*k - (-8 - -1). Is -218 less than b?
False
Let g(n) = -n**2 + 30*n + 153. Let f be g(-8). Are f and -151 equal?
True
Let d be 2