t least as big as i?
True
Let j = 13.63 + -14.3. Let x = j + -10.33. Let o = 6 + -5.9. Do o and x have different values?
True
Let g be (3 - (-1 + -1)) + -1. Suppose g*y - 3*y + 105 = 0. Let x = y + 106. Does x = -2/117?
False
Suppose 3*b - 2*j = -73051, -b = -j + 11647 + 12701. Is b < -24355?
False
Let i(t) = t**2 + 9*t + 9. Let n be i(-8). Suppose -3*r + 7*r - x + 89 = 0, 0 = 3*r + 3*x + 48. Let w = 461/22 + r. Which is greater: w or n?
n
Let k = -110 - -180. Let r be (-3)/k*10/(-15)*3. Which is bigger: r or -0.3?
r
Let j be (90 + -29)/(-1*(-1)/(-2)). Which is smaller: -143 or j?
-143
Let c = 371 - 426. Let a be (-49 + 46)*(-3)/c. Are 1 and a nonequal?
True
Suppose -l - 2*r = -3, 4 - 3 = r. Let d be (-5 - -3) + l/1. Let b = 58 + -54. Which is smaller: b or d?
d
Let l(d) = -18 + 40*d - 13*d + 97 - 6 - 19*d. Let i be l(-25). Is i not equal to -128?
True
Let l be 1 + ((-1)/(-4) - 1110/24). Let r = l + 47. Suppose -u = -r*s + s - 1, 5*u = s + 13. Which is smaller: s or 3/5?
3/5
Let r = -92563566294/209 + 442889194. Let j = 1317 - r. Which is smaller: j or 0?
0
Suppose 10*z = -2*z - 72. Let f be 2 + (z/132)/(2/86). Which is smaller: f or 0.5?
f
Let o(b) = 4*b**3 - 5*b**2 - 7*b + 37. Let x(k) = k**3 - k**2 - 2*k + 9. Let d(g) = 2*o(g) - 9*x(g). Let u be d(-3). Are u and 1/32 unequal?
True
Let g(u) = 9*u**2 - 8*u + 3. Let y be g(1). Let z be ((-22 - 14) + 10)*(-22)/y. Are 143 and z nonequal?
False
Let f = 13325 + -15370. Are f and -2048 equal?
False
Let m = -576 - -152. Let w = m - -403. Let r = -0.29 - -0.09. Is r bigger than w?
True
Let z = -113 + 243. Let i = -4343/10 - -1509/5. Let p = z + i. Which is bigger: p or -3?
p
Suppose 3*m + 34297*d - 34298*d - 53 = 0, -3*d - 123 = -7*m. Let s be (-490690)/32*12/(-10083). Let b = 2/3361 + s. Which is greater: m or b?
b
Let k = -26471 - -68480480/2587. Which is bigger: k or -1?
k
Let y be (-25)/(-30)*9423/(-225). Which is smaller: y or -36?
-36
Let k be (2 + -3)/3*-12. Let a be (32/9 - k)*(-6)/(-4). Let i = 2.91 + -3. Which is smaller: a or i?
a
Let z(l) = l**3 - 4*l**2 - 5*l - 7. Suppose -23*v + 12*v + 55 = 0. Let k be z(v). Is -8 less than k?
True
Let g(p) = -p**2 + 23*p - 173. Let w = 508 - 484. Let c be g(w). Does c = -196?
False
Suppose 23*y + 55 = 34*y. Suppose 0 = -2*k - 4*z + 18, 5*k + y*z - 3*z - 13 = 0. Are k and 1/761 unequal?
True
Let r = -114 - -196. Suppose -5*k + 72 = r. Let a be (8/(-24))/((-38)/6). Which is smaller: a or k?
k
Suppose 14*c = 13*c + 5. Suppose -2*j + 17 = 5*y, 6*y - y = c. Suppose -10 = -j*z - 208. Which is greater: z or -34?
z
Let v(s) = 2*s - 2. Let q be v(3). Suppose 0 = 5*w - 20, 0 = -g + w + q*w - 49. Suppose 43*n = 34*n - 270. Is n less than or equal to g?
True
Let a(l) = l**3 - l**2. Let y be a(1). Suppose -26*n + 28*n - 12 = y. Let w be n/(-3)*(-26)/4. Is w greater than or equal to 13?
True
Suppose 45*u - 814 = -2344. Which is smaller: -49 or u?
-49
Let o = 1928 + -1923. Let t = 10 + -10. Which is bigger: o or t?
o
Suppose 0 = -2*n + 17 + 23. Let j(t) = -t**2 + 6*t - 7. Let i be j(3). Suppose 5*u = 2*g - 63, 0 = -4*g - 0*g - i*u + 66. Is n at least g?
True
Let o = 9 + -46. Let b = 42 + o. Suppose j - 2*v = 2, -b*v - 12 + 0 = j. Is j less than 15?
True
Let p = 52102 + -39653. Is 12450 > p?
True
Suppose -2*c + 25 - 7 = 0. Suppose -2*w = y + 90, w - y + 3*y = -48. Let n = -41 - w. Which is smaller: c or n?
n
Let y = 31.9 + -32. Let j be 5 - -1 - (5 + -9). Let p be ((-144)/j + 2)/((-2)/(-10)). Is p less than or equal to y?
True
Let c = -5152 + 3374. Is c at most -1778?
True
Let j = 120 - 122.67. Let x = j + 2.69. Which is smaller: x or 2/13?
x
Let c(n) = n**2 + 7*n + 8. Let h be c(-3). Let v be (h/10 + 16/40)*-1. Let k = -904/299 - -66/23. Is v bigger than k?
True
Let a be -4 + (82643/6347 - 9). Is 0 greater than a?
False
Let b = -11031.7 - -11032. Is -866 at most b?
True
Suppose 67*k = 62*k + 6435. Let c be 1/((-498)/k) + (-45)/(-18). Is c less than 0?
True
Suppose -15402 + 45098 = 116*g. Is 256 <= g?
True
Suppose 5*w - 14 = 3*p, 3*p - 2*w = -3 + 1. Suppose 2*v = -3*i - 37, p*v = -0*v - 4. Is i > -11?
False
Let j be 3/(-9) + 13790/42. Let s = 961/3 - j. Let p = -13.1 + 13. Which is bigger: p or s?
p
Suppose 3*k + 98 = 107. Suppose -5*o + 0*o = 0. Suppose -3*y + o*y - 7 = 4*h, h + 6 = -5*y. Which is bigger: h or k?
k
Let r be 162/18 + (-6 - 0). Let y be 9/(-15) - r*157/(-835). Which is bigger: 1 or y?
1
Let r(w) = w**2 + 17*w + 155. Let j be r(-14). Which is greater: j or 115?
115
Let k = 24699 + -19604. Which is bigger: k or 5099?
5099
Suppose 4*n + 2*h = 37 + 19, 12 = n + h. Suppose l + 0*l + 5 = j, -3*j = -2*l - n. Suppose 0 = -u + j*u - 5. Which is smaller: u or 2/35?
2/35
Let z be 4/(8/(-3))*(18 + -32). Let o be (z + 6)/(0 - 1). Let j = -44 - -17. Is j not equal to o?
False
Suppose 81*d - 4*d + 53361 = 0. Which is greater: d or -698?
d
Suppose 9*s + 3*b = 5*s + 9771, -5*s - 5*b + 12220 = 0. Is 2438 at least s?
False
Let i = -0.003 - -500.003. Let y = -499.33 + i. Which is smaller: -7 or y?
-7
Suppose -3*l - 1322 = -4*g + 129, 5*g + 2*l - 1785 = 0. Suppose 224 = -11*o - g. Is o > -374/7?
True
Suppose 2675*m + 2 - 32 = 2645*m. Are 2/3843 and m non-equal?
True
Let o = 53 - 35.5. Let y = o - 8. Suppose -4*m - 24 = -4*n, 0*m - 2*n = -m - 11. Which is greater: m or y?
y
Let m = -13.816 - -13.724. Which is smaller: m or 43?
m
Let p = -2358 + 2356. Is p bigger than 429?
False
Let m(j) = 77*j + 2. Let w = -97 - -97. Suppose -3*k - 3*s + 15 = 0, w = 5*k + 6*s - 3*s - 17. Let n be m(k). Which is greater: 80 or n?
80
Let x = 25.518 + -29. Let m = 0.018 - x. Is -1 at most as big as m?
True
Let x(y) = -89*y + 612. Let a be x(-16). Which is smaller: a or 2037?
a
Let s be (-105)/(-7)*587/948. Let n = -3/79 + s. Which is greater: 0 or n?
n
Let q be (-3)/123*16/(-432). Which is greater: 1 or q?
1
Suppose 0 = 4*r + y + 3 + 8, 19 = -r + 3*y. Let m be (3/r)/(536/(-64) + 8). Which is smaller: -1.9 or m?
-1.9
Suppose -48*b - 1386 = -6090. Suppose -5*j = 3*g - 532, 5*j = 7*j - 2*g - 216. Let s = b - j. Are s and 0.3 nonequal?
True
Let g = -14/27 - -640/297. Let w(z) = z**3 + 4*z**2 - 11*z + 9. Let d be w(-6). Which is greater: d or g?
d
Let s(b) = 2*b**2 + 7*b - 55. Let x = -1303 + 1298. Let c be s(x). Suppose 0*y - 205 = 5*y. Which is greater: c or y?
c
Suppose 0 = -3*r - 2*o + 19, -35 = -3*r - 4*o - 18. Is r less than or equal to 121?
True
Let t = 141409/4 - 35556. Let x = t + 204. Which is smaller: x or 0.063?
0.063
Let b = 1849/884925 - -2/1725. Which is greater: 0 or b?
b
Let p = 2056475/1771 - 8128/7. Do 1 and p have the same value?
False
Let j = -161 - -262. Suppose h + 54 = 2*l - 12, 0 = 3*l - h - j. Is l less than or equal to -1?
False
Let n = 14243 + -14260. Is 27/5 < n?
False
Let x = 0.0721 + -0.011. Let p = -0.0211 + x. Do p and -1/9 have different values?
True
Let y = -10264949/17 - -603559. Is -261 greater than y?
True
Let r be 1 + -5 + (-6 + 90/4 - -3). Is 16 smaller than r?
False
Let y = 297 + -893/3. Which is greater: y or 0.167?
0.167
Let f be (-4 - 2)*(-45)/54 - 2. Let p be f + 1 + (-3 - (4 - -67)). Is p at most -70?
True
Let h(l) = l**2 + 2*l - 4. Let a be h(2). Suppose -2*b = -4*x + 528, a*x - 8*b + 4*b = 532. Does 130 = x?
False
Let k(c) = -c + 3. Suppose -g + 5*g + 18 = -j, -5*g - 31 = -3*j. Let w be k(j). Suppose -2*o + o = w. Is o at least -1?
True
Let p(f) = -f**2 - 253*f - 1734. Let z be p(-7). Is z equal to -566/47?
False
Let w be (-31)/(-6) - 8/48. Suppose -4*i + b = -1 - 10, -4*i = -w*b - 7. Suppose -i*v = -13*v + 40. Which is smaller: v or 0.14?
0.14
Let k be (-2)/6*(6 - (-798)/(-14)). Let x be (-33)/(-2)*(-4)/(-6). Suppose -l + k = x. Which is greater: l or 5?
l
Let m = 3377355/11 - 307240. Is m not equal to -208?
True
Let l(b) = 15*b + 29. Let t(a) = 29*a + 57. Let c(h) = 11*l(h) - 6*t(h). Suppose 3*r = 2*p, 0 = -4*p - 3*r - 19 + 1. Let f be c(p). Is 8/3 less than f?
True
Let k = -22 + 11. Let v be (-98)/(-28) - (-3)/(-6). Suppose -15 = 8*j - 3*j + 4*a, 29 = -2*j + v*a. Are k and j unequal?
True
Suppose -4*p + 11 = -13. Let z be (-2 - (-4)/p)*3. Suppose -137*h - 3*i = -139*h - 9, 0 = 3*h + 5*i + 4. Is z <= h?
True
Let o(q) = q**3 - 14*q**2 - 13*q - 41. Suppose -24*y = -12*y - 180. Let d be o(y). Let a(p) = -p - 19. Let j be a(-8). Is d less than or e