ger than o?
True
Suppose -a = -5*h + 61, -h - 25 = -a - 38. Suppose 2*s = -g - 3, -3*g - h = -2*s - 3. Is s smaller than -2/437?
False
Let p be 2/9 + 2/(-12). Let n be 848/64 + -16 + (-1)/((-2)/6). Which is greater: n or p?
n
Let y be (-6)/(9387/126*(-12)/46). Which is greater: 1 or y?
1
Let b = -300 - -300.01. Let j = -330 - -326.7. Are b and j equal?
False
Let v = -1326 + 5303/4. Which is smaller: v or 633?
v
Let h = -1191 - -1414. Is 223 greater than h?
False
Let t = 530435 - 6899805/13. Let y(x) = -3*x**2 + 9*x + 5. Let d be y(-9). Let p = t - d. Is p at least 2/3?
False
Let x(z) = -z**3 - 17*z**2 - 17*z - 14. Let k(q) = -4*q + 12. Let s be k(7). Let y be x(s). Let g be y*4*(-5)/(-5). Is 7 at least g?
False
Suppose -8*a + 5*a - 13 = -x, -4 = 2*x + 4*a. Suppose 42*z - 1406 = x*z. Is z equal to 40?
False
Let k = -1551.6 + 1417. Let c = k - -176. Let w = -42 + c. Which is bigger: w or -6/11?
-6/11
Let v = -90 - -93. Suppose -u - 41 = -5*c, -4*c = -v*u - 8 - 27. Suppose -g + 6 = -c. Which is smaller: g or 6?
6
Let v be (20/(-16))/((3155/20)/((-18)/15)). Which is bigger: v or 1?
1
Let x(k) = -3*k**3 + 5*k + 4. Let p be x(5). Let c be 13/((-26)/(-10)) - (1 - p). Do -343 and c have different values?
True
Suppose 0 = 352*d - 6065 + 26 - 2057. Does d = 601/27?
False
Let q = 1268 + -1267. Is q bigger than 2/5961?
True
Let q be 1*3*(-4)/(-6). Suppose -3*d + q*h = -6, 0 = d + 3*h - h + 6. Suppose -5*r - 5*a - 20 = 0, 1459 = -3*r + 3*a + 1441. Which is greater: d or r?
d
Let h = 12.32 - -37.38. Let p = h + -2.7. Let n = p + -46. Is n smaller than -0.4?
False
Let z = -263 - 2986. Let n = -35697/11 - z. Let d = -1868/495 + n. Are d and -1 equal?
False
Let n = -375 - -396. Let b be (n/8722)/(1/(4/(-3))). Which is smaller: -1 or b?
-1
Suppose -131 = w + 37. Let s = -159 - w. Is 8 bigger than s?
False
Let v be 14/(-18) - 22/(-22). Let b be ((-9)/18)/((-3)/18). Let m be (-24)/(-52)*(8/b)/4. Is m less than v?
False
Let i = 326 - 310.6. Let f = 13.4 - i. Do f and 68 have different values?
True
Let t be ((-24)/36)/(4/6). Let c be (-27)/90*(-3 - t). Let l = -261/938 - 1/134. Does c = l?
False
Let d = -8328 + 8157. Is 12 not equal to d?
True
Let s be 20 - (-25784)/(-738) - -15. Is 0 equal to s?
False
Let c be 34/(-34) + 2/(-5). Let o = 4 + -6. Let h = o - -1. Which is smaller: h or c?
c
Suppose -73*g - 42*g = 30935. Is -25 > g?
True
Let s = 57.8 - 57.9. Is 1992 <= s?
False
Let v be (940/105)/4 + (-6)/(-14). Suppose 2*h - 3*w = -3, 0 = -3*h + 5*w + 1 - 7. Is h equal to v?
False
Let w = 234 + -117. Let l = 102 - w. Which is greater: l or 5?
5
Let s = -11622 - -11642. Which is bigger: s or -124?
s
Let o be (2 - 2)/(-4 + 2). Suppose -12 = -5*h + 2*t, -2*h + 8 = -o*h - 4*t. Let i(d) = 3*d - 6. Let x be i(h). Is x less than or equal to 2/93?
True
Suppose 4*t + 4*a + 318 = 3190, 2*a = 6*t - 4300. Which is bigger: t or 719?
719
Let z = 12674.908 + -12704. Let f = 0.092 + z. Let r = f - -29.1. Is r at least as big as 2?
False
Let u = -5638/3 + 1897. Let b = u - 88/5. Let q be (-3 - 1 - -3)/(-7). Are q and b non-equal?
True
Let m = 1 - 1. Suppose v - 3*p + 3 = 0, -8*p + 3*p = -10. Suppose -v*j - 11*j = 14. Is j greater than or equal to m?
False
Let f = -581 - -579.8. Which is bigger: f or 194?
194
Let n = 455695 - 455808. Let a be -6*((-464)/6)/(-4). Which is smaller: a or n?
a
Let v be 1228/3377 - (-1 - 83/(-77)). Is v equal to -439?
False
Let a(q) = 143*q**2 - q. Let w be a(-1). Let g(z) = 1029*z - 9116. Let j be g(9). Is w greater than or equal to j?
False
Suppose -2*f - 5*l = 3*f - 430, 5*f - 410 = 5*l. Let d = 83 - f. Let c(x) = 5*x**3 - 3*x - 2. Let i be c(d). Which is greater: i or -7?
i
Suppose -6 = z + 3*b - 6*b, 4*z - 24 = -4*b. Suppose 24 = 3*u + 4*v, 14 + z = 5*u - v. Does u = -85?
False
Suppose 0 = j - 4*l - 10343, 411*j + 10340 = 412*j - 5*l. Is 10355 >= j?
True
Let c(z) = -z**2 + 48*z - 75. Let h be c(46). Suppose -h*i + 42 = 110. Is -16 < i?
True
Let y = 144 - 144.89. Let b = -0.69 - y. Which is bigger: b or 66?
66
Suppose 0 = 22*x - 18*x + 584. Let j = x - -29. Let q = -205 - j. Is q bigger than -88?
False
Let v be ((-2)/(1/(1/(-2))))/(-1). Let o be v/(3 + -4)*2. Suppose -5*f - 6 = -q + 2*q, 40 = -o*q + 4*f. Is q less than -16?
False
Suppose 4*c - 2*c = 42. Let w = -3083.2 - -3068.2. Is c at most as big as w?
False
Let l(i) = 3*i**3 - 188*i**2 - 59*i - 289. Let j be l(63). Is -62 at most as big as j?
True
Let x(a) = a**2 - 35*a + 303. Let k be x(15). Let s(p) = 26*p - 2. Let t be s(2). Let g be -2 - (k - t/9). Is g greater than 1?
False
Let g = -1358 + 1357. Is g equal to 6/1099?
False
Let j be -2 - 60/(-27) - (-142)/9. Let z be (3/(-15))/(-1 + 1244/1260). Is j less than z?
False
Let s be (101/(-202))/((-3)/96). Which is greater: 0 or s?
s
Let x = -45.299 - -206.299. Let i = 0.7 - -0.3. Which is smaller: i or x?
i
Let z = -18835/69 - -273. Let h = -674 + 673. Is h less than z?
True
Let f = -3567 - -3566.8. Is f equal to 0.043?
False
Let i be -1 + -1 + (1 + 3 - 54). Let c be (-8)/20 - 13/i. Which is smaller: 1 or c?
c
Suppose -2*x = d + 742, -2*x + 1484 = -6*x - d. Which is smaller: -381 or x?
-381
Let n(y) = -2*y**2 - 7*y - 11. Let s be n(-4). Let v = -330 + 200. Let a = v + 129. Which is smaller: s or a?
s
Let l = -177.9755 + 178. Let a = 0.2245 - l. Which is smaller: -124 or a?
-124
Let z = -0.1921 - -9.1921. Let l = -1/57 + -73/171. Which is bigger: z or l?
z
Let p be -30*6*(-6)/90. Suppose 5*f - 80 = -25. Suppose f*z - p*z + 10 = 0. Which is bigger: z or 12?
12
Suppose -26*i - 2*v = -30*i - 10004, 0 = -5*i + 3*v - 12502. Which is smaller: -2505 or i?
-2505
Let b = 4.615 - 3.46. Which is smaller: b or -2/3?
-2/3
Suppose -5*n = -2*b - 8, -3*n - b - 8 = -4. Let g = 456463/237 - 1926. Is n <= g?
True
Let y be (-2)/(-6) - 7/3. Let q = y + 4. Let a(t) = t**3 + 4*t**2 + 109*t - 1. Let g be a(0). Is g > q?
False
Let w = -0.1628 + 314.0628. Let u = 314 - w. Is u bigger than -0.038?
True
Let i = 164 + -162. Suppose -i*b = -0*b + 34. Suppose y = -w - 20, 0 = 3*w + 2*w - 2*y + 72. Are w and b equal?
False
Let r be ((-35)/3)/(9/(-27)). Let l(o) = o**2 + 22*o - 40. Let v be l(-25). Is v less than r?
False
Let n(p) be the first derivative of p**3/3 + 6*p**2 + 20*p - 26. Let v be n(-10). Let m = -456 - -3186/7. Is m greater than v?
False
Let w(q) = 2*q**2 + q + 13. Let j(i) = 4*i**2 + 2*i + 27. Let l(r) = -2*j(r) + 5*w(r). Let u be l(-5). Suppose -2*o = 2*o + u. Which is smaller: o or -16?
-16
Let p = 9/349 + -148829/5744191. Which is greater: p or 0?
0
Suppose -2*p + 12055 + 5900 = -5*b, 3*b + 10782 = 3*p. Which is smaller: -3588 or b?
b
Let p(g) = 5*g + 3*g + 96 - 177 - 163. Let y be p(34). Are 24 and y unequal?
True
Let k(y) = y**3 - 3*y**2 + 8*y + 11. Let t be (-7 - -3)/(-28) - 22/7. Let g be k(t). Is -67 not equal to g?
False
Suppose -4*u - 7 = -23. Let l = -743 - -215. Let o = l - -529. Which is greater: u or o?
u
Let u be ((-3)/(-2))/(7870/(-38)). Let f = 17643913/86570 - u. Let o = f + -204. Which is smaller: o or -1?
-1
Let y = -11 - -22. Let z(x) = -x**2 + 102*x + 1376. Let c be z(-12). Which is greater: y or c?
y
Suppose 4*y = 20, -4*r - 443 = -3*y + 1556. Are 2 and r equal?
False
Let l(v) = -2*v**2 - 113*v - 395. Let i be l(-52). Is i at most as big as 1401/19?
True
Let b(a) = a**2 - 77*a + 1241. Let h be b(54). Let s be (1 + -2)*3/1. Let n be 0 - (s + 0 + 3). Does h = n?
False
Let n = 814 + -1050. Are 0 and n equal?
False
Let a be -32*(7 - (-12)/(-2)). Let q be (-2000)/a*(-1)/20*2. Is q smaller than -6?
True
Let j be ((-207)/6)/(2*(-12)/32). Let q = 43 - j. Let f be (-1)/(-3) + 18/(-4). Which is smaller: q or f?
f
Let o = -984.89 - -333.89. Is o at least 0.28?
False
Suppose 77*r + 116 = -4*y + 81*r, 5*r = -15. Is -64 <= y?
True
Let x(y) = 20*y + 63 - 9*y - 5*y. Let a be x(-11). Which is smaller: -11 or a?
-11
Let k = -18662913/14 + 1331869. Let z = k - -1197. Is 1 smaller than z?
False
Let r = -5948531/10 + 595592. Let g = r - 738. Let v be (20/(-15))/(2/(-3)). Which is bigger: v or g?
v
Let m be (-289)/((-60)/6 + -2194) + (-2)/19. Which is smaller: -0.11 or m?
-0.11
Let g = -7/442 + -863/1326. Which is smaller: g or 3/908?
g
Let b = 104.0601 - 104. Let z = b + -0.0601. Is -392 at least as big as z?
False
Suppose 0 = -12*i + 10*i + i. Which is greate