uppose 0 = -191*q + 100*q - 6370. Is x smaller than q?
False
Let n = 224 + -226. Let w be (-1078)/(-187) + -4 + n. Which is greater: w or 3?
3
Let c = -12.2 + 12. Let b = -162342/53 - -3063. Do c and b have the same value?
False
Suppose 2*o - 3*o = -5, 4*r - o - 15 = 0. Suppose r*q - 2 = 8. Let h be (-964 - -965)*(-1)/(-1). Is q less than or equal to h?
False
Suppose -2*a = 2*j - 140, -3*j + a + 218 = -0*a. Suppose -j*x - u = -69*x + 581, 0 = -4*x + u - 784. Are -195 and x unequal?
False
Let u be 9/12 + (-8 - -1). Suppose 26 - 36 = -2*l. Suppose -2 - 3 = l*p - 5*b, 2*b = 5*p + 20. Which is greater: p or u?
p
Let q = 1458 - 1437. Are -1/3 and q unequal?
True
Suppose 0 = 3*r - o - 19, -71 = -4*r + 2*o - 47. Is 7 less than or equal to r?
True
Suppose -14*h = -3*t - 12*h + 369, -5*h - 235 = -2*t. Which is bigger: t or 100?
t
Let u be 2/((-330)/(-151)) + 6/(-33). Let p = 1208 - 1207. Which is bigger: p or u?
p
Let j(x) = -16*x**2 - 5*x - 3. Let w(p) = 47*p**2 + 14*p + 9. Let v(z) = 17*j(z) + 6*w(z). Let c be v(-3). Let i = -100 + c. Which is smaller: -3 or i?
i
Suppose -5400 = -17*n + 7*n - 20. Let k(h) = 16*h**2 + 5*h - 7. Let g be k(-6). Which is bigger: g or n?
g
Let w = -2107 - -2029. Which is smaller: w or -75?
w
Let s = -3857 - -2538. Is -1320 at least s?
False
Suppose 2*c = x - 1211, 17*c = 5*x + 16*c - 6010. Which is bigger: 2401/2 or x?
x
Suppose 0 = -4*q + 4, -5*q = a - 2*q - 2. Let x be a/3*(-22)/55*3. Is -1.77 at least as big as x?
False
Let t be (-4)/(-8 - 0)*34. Let d = t - 17. Let l = -165/7 - -2131/91. Is l bigger than d?
False
Suppose -1974 = 5*y + p, -3*y - 610 = -3*p + 578. Let r = y + 960. Let k = 9037/16 - r. Which is greater: k or 0?
0
Let a(f) = -f**2 - 2*f - 2. Let n be a(0). Let y be 30/(-20) - 33/n. Suppose 2*x + z - y = 0, -z - 3*z = 3*x - 35. Is 1/2 bigger than x?
False
Let o = 0.04626 + -0.04626. Which is bigger: o or -2509?
o
Let w(x) = 187*x + 2281. Let l be w(-11). Which is bigger: l or 210?
l
Suppose 28*z + 8650 + 10670 = 0. Which is smaller: z or -689?
z
Let m = 18591/70 - 1719/14. Let a = 102087/715 - m. Which is smaller: 0 or a?
a
Suppose l + q - 15 = -l, -l + 5*q + 24 = 0. Let p(u) = -6 - l + u**2 + u + 7 - 4. Let i be p(-7). Is i != 1?
True
Suppose -153*t + 12*t - 215730 = 0. Which is smaller: t or -1538?
-1538
Suppose -180*f + 200839 = -73*f. Is 1872 bigger than f?
False
Let g(l) = 63*l - 1636. Let u be g(26). Let m be -3*(-2 + 1) - 0. Let n be (-1)/3 - m/9*u. Which is smaller: 2/63 or n?
n
Let w(g) = 2*g**3 - 5*g**2 - g + 3. Let u be 15/6*(-4)/(-2). Suppose 4*m - u*f = -2, m - 6*m = -f - 8. Let n be w(m). Which is bigger: n or 8?
8
Suppose -4*k + 20 = -4*o, -o - 6*k = -3*k - 15. Let a be (16/(-168)*120/(-32))/(10/16). Which is bigger: o or a?
a
Let g be (2/(-8))/((-18)/3237). Let j = -45 + g. Let v be -15 - (252/21 - 26). Is j at most as big as v?
False
Let g = -997 - -1001. Suppose 0*t = -d - 2*t - 294, g*t = 4*d + 1128. Is -286 at most d?
True
Let a = -7.6 + 7. Let x = a + 0.8. Let y = 922.92 - 923. Which is bigger: y or x?
x
Let h(o) = -4*o**3 + 19*o**2 - 10*o + 4. Let d be h(-6). Let l = d + -807610/501. Is l > -1?
True
Let k = 5337 + -5349. Let d be 2 + (2/(-5) - 2). Are k and d equal?
False
Let l(k) = k**2 - 17*k + 40. Let f be l(11). Let z be 1651/f*(-23)/2. Let p = z - 724. Which is greater: p or 5?
p
Suppose 22*s = -20*s + s + 42722. Which is bigger: s or 1046?
1046
Let i be (2020/(-6))/((-140)/(-210)). Are -509 and i nonequal?
True
Let o be (9110/2)/((-36)/(-1008) - 6/21). Is o at least 1?
False
Let p = 108.9 + -116. Let z = 7.645 + -0.245. Let t = z + p. Which is smaller: 0.01 or t?
0.01
Let r = 44 - 43.6. Let f = 131.8 + -4.8. Let p = -127.06 + f. Is r smaller than p?
False
Let f = -957 - -963.6. Which is smaller: f or -9?
-9
Let z be -15*18/(6/3). Let w be ((-10)/z)/(3*2). Let g = 23136 + -23135. Is w < g?
True
Let o(a) = 7*a**3 + 38*a**2 - 86*a + 30. Let l be o(-11). Which is smaller: l or -1?
l
Let x = -22911.1 - -22878. Is -4 equal to x?
False
Let q be 40/46 - (4 - 4). Suppose 841*b = 839*b. Suppose z + 297 - 299 = b. Which is greater: z or q?
z
Let p = 81 + 105. Suppose 3*u - 189 + p = 0. Let b be 0/(-1) + (u - -16). Is b bigger than 17?
False
Let j = 12 - 12. Let y be -2 + 288/(-33) + 3. Let t = y + 1549/209. Which is bigger: t or j?
j
Let h = -6113 + 6111. Which is greater: h or -159/56?
h
Let h = 183/4 - 87/2. Let q = -119/4 - -31. Is q at most as big as h?
True
Let t(w) = 2*w**2 + 5*w + 5. Let k be t(-2). Suppose -4*m + 111 = -x, 3*m - k*x = -0*m + 81. Let h be m/(-10)*(-8 - -7). Is h at least as big as 2?
True
Let z = 111 - 111.076. Let u = 0.12 + z. Is u >= -0.2?
True
Suppose -2*o = i - 6*i - 494, -488 = 5*i + o. Let s = 96 + i. Which is smaller: -19/6 or s?
-19/6
Let l(v) = -v - 3. Let w be l(-4). Let y be w/3*(-27)/(-3). Let f be 3/(3/(-13)) + (630 - 618). Which is bigger: y or f?
y
Let s be (-21 - (15 - 37)) + (1 - 1). Let y(f) = 4*f - 5. Let p(h) = -11*h + 14. Let n(m) = -6*p(m) - 17*y(m). Let r be n(s). Which is smaller: r or -2/67?
r
Let i be 15*((-7)/((-343)/(-14)) + (-11418)/(-126)). Which is greater: i or 1367?
1367
Let c be (-105)/(-308)*-20 - (-7)/1. Let b = -0.09 - -5.09. Let r = -6 + b. Which is greater: c or r?
c
Suppose 18 + 238 = -128*z. Let v be 1*(4 - 1*-1). Let g = z - v. Is -15/2 != g?
True
Let y = 816 + -816. Let m be (-26)/20 - (-21 + 19). Does m = y?
False
Let f(h) = h**2 - 5*h - 16. Let u be f(7). Let t be 3/6*1*-2 + -21. Let c be (-2 - 1/((-9)/t)) + 2. Is u at least c?
True
Suppose 143*k + 1148 + 18872 = 0. Is -1546/11 > k?
False
Let u = -0.306 + -19.094. Let q = 20.4 + u. Which is bigger: 249 or q?
249
Let a be (8 + -5)/3*2/(-1). Let d(x) = -x**2 - x + 3. Let p be d(a). Are 1/265 and p equal?
False
Suppose 479 = 3*d - q, -d = -3*q + 17 - 174. Suppose -158*f - 174*f + 57672 = -65*f + 89*f. Which is bigger: f or d?
f
Suppose -423*q = -140*q - 3 + 3. Let r be ((-4)/(-523))/(2 + 0). Is r less than q?
False
Let v(i) = i**3 + 55*i**2 + 158*i + 80. Let o be v(-52). Is o less than or equal to -20?
True
Let a = -1985.3 + 1836. Let b = -20.3 - a. Let r = -129.09 + b. Which is bigger: -0.06 or r?
-0.06
Let i = -12.6016 + -3.7114. Let u = i - -0.313. Which is bigger: u or 2?
2
Suppose 136*k - 20 = 146*k. Let u be ((-1)/k)/(9/(-774)). Let f(b) = -b**2 - 3*b - 3. Let c be f(5). Do c and u have different values?
False
Let q be 16 + (-280)/22 + (-4 - -1). Which is bigger: -255 or q?
q
Suppose -3*x - 13 = -7*k + 2*k, x + 7 = 3*k. Let h be 4/k*(-6)/(-312). Which is smaller: h or -2?
-2
Let m = -3073.3 + -467.7. Which is bigger: m or 0?
0
Let t be (-2)/(12/(-130)) - (-18)/54. Let y = t + -21. Suppose 6*a - 37 = -y. Which is smaller: a or -2?
-2
Let k = 187.2 + -174. Let f = -56.2 + k. Which is smaller: -2 or f?
f
Let a be ((-12)/(-141))/(5 - -1). Let k = 95.5 + -95.3. Which is bigger: a or k?
k
Let o = 4845 - 4838. Which is smaller: 8 or o?
o
Let r = -443111/765 - -5210/9. Which is smaller: -1 or r?
-1
Suppose -10*v + 17*v = 35. Suppose 5*q - 3*p = 292, 4*q - 129 = -v*p + 112. Is q at least as big as 61?
False
Suppose -2*b - 622 = -2*z, 31*z + 5*b - 1226 = 27*z. Is z less than or equal to 307?
False
Let a(x) = -x**2 + 4*x - 10. Let u be a(7). Let b = u - -34. Suppose -b = q + 23. Is q greater than -27?
True
Suppose 45*a - 36873 = 22115 + 10942. Which is bigger: 1551 or a?
a
Suppose -3*w = -w - 4. Suppose 5*n - 3*g - 12 = 0, 20 = n - 7*g + w*g. Suppose -18 = 5*x - 11*x. Is n greater than or equal to x?
False
Let b be (-3)/(-6) + (-115)/226. Let l = -776/1695 + b. Suppose -2750*t - 6 = -2744*t. Which is bigger: t or l?
l
Let q = -2.6081 + 0.6081. Is -1.471 at least q?
True
Suppose 9*u - 2024 - 5419 = 0. Let s be 28/112 + u/(-668) + 1. Suppose 5*c + 5*o + 6 + 4 = 0, 2*c + 8 = -4*o. Is s at least c?
True
Suppose -9*z + 4280 = -12127 - 5058. Are 2385 and z equal?
True
Let p(f) = -113*f + 318. Let z be p(-18). Which is smaller: z or 2348?
2348
Let r(v) = -32*v - 85. Let b(o) = 31*o + 87. Let k(u) = -5*b(u) - 4*r(u). Let n be k(0). Which is smaller: -92 or n?
n
Let i be 0/(-2) + 9/((-18)/(-4)). Suppose -d = -i*j - 2*j - 30, 4*j = 3*d - 114. Let r = -43 + d. Which is smaller: -2/39 or r?
r
Let z = 415 + -612. Which is bigger: z or 0.2?
0.2
Let u = -31 - -25. Let x = 5 + u. Let w be 