37. Which is smaller: q or a?
a
Let r be -2*(-1*2)/((1224/(-61083))/34). Which is smaller: r or -6789?
-6789
Let m(w) = -3*w**2 + 25*w - 74. Let t be m(15). Let i = t - -100. Is i bigger than -274?
False
Suppose -12 + 92 = -2*z. Let j = z + 118/3. Let w = 0.16 + -0.26. Which is bigger: w or j?
w
Let s = 561 - 561.008. Let p = 0.011 - s. Which is smaller: 0.1 or p?
p
Let c = -342 - -338.485. Let w = 2.62 + c. Let p = 0.105 - w. Is p != 0.8?
True
Let g = -192 - -172.5. Let a = -20 - g. Which is bigger: a or -4?
a
Let v = 128.3 - 118. Let w = -10.97 + v. Let s = w + -0.33. Which is bigger: 0.07 or s?
0.07
Suppose 0*t + 3*t - 78 = 0. Let h be 3*30/36*10. Is t != h?
True
Suppose -7*a + 3*a - 2*h = 6, h = -3*a - 3. Let f = 2 - a. Suppose f*b - 74 = 4*b. Is -37 greater than or equal to b?
True
Suppose -t = 5*q + 16, 5*q = -5*t + 3*t - 32. Let o = -94 - -157. Suppose 7 - o = 4*c. Is c >= t?
True
Suppose 3*h = 12, 9*h - 52 = -3*r + 5*h. Suppose 7*c + r*c = 836. Which is greater: c or 36?
c
Let a = -3349 - -3344. Is a less than -33?
False
Let y(h) = -h**3 + 4*h**2 + 5*h + 3. Let u be y(5). Suppose 5*q - u*m + 14 = -12, 3 = -m. Let v = q - -6. Is -2/51 at least as big as v?
True
Let x = -15211 + 15211.1. Which is smaller: -202 or x?
-202
Let x = -15 - -26. Let y(a) = 6*a**2 - 3*a - 6. Let h be y(0). Let d be 1*(14 - (12 + h)). Is d greater than or equal to x?
False
Let k(f) = f**3 + 13*f**2 - 47*f + 9. Let q(b) = 16*b + 112. Let m be q(-8). Let r be k(m). Is -7 equal to r?
True
Let g(s) = -11*s - 41. Let u be g(-16). Let m be (3/u)/((-87)/18). Which is smaller: m or 0?
m
Let i = 677/4 - 337/2. Which is bigger: i or -496?
i
Suppose 4*z = -4*s - 76, 2*z + 35 = -2*s - 3*z. Let t be (-2)/s*(-12)/26. Let q(k) = -k**2 + 22*k - 105. Let r be q(7). Is r not equal to t?
True
Let c = 15 + -11. Suppose 7 = -0*z - z + c*o, -3*o = 15. Let n be (37 + 2)/((-51)/34). Which is bigger: z or n?
n
Let g be 42/4*(-10)/(-7 - -2). Let z be (6/9)/((-511)/g). Suppose 1 - 5 = -4*b. Which is bigger: b or z?
b
Let k = 90833 + -90488. Let c = -350 - -696. Is k at least c?
False
Let s = -7.843 + -0.317. Let g = -0.04 + s. Let x = -8 - g. Which is greater: x or -3/5?
x
Let z be (-4)/(112/(-6))*12. Let b(m) = -6*m**3 - 1069*m**2 - 170*m + 1418. Let w be b(-178). Is z > w?
True
Let d = -139612148 + 374601502. Let q = d - 694393556824/2955. Let b = -2/985 + q. Which is greater: -1/4 or b?
-1/4
Suppose -7128 - 478 = -43*y - 1543. Are y and 10 nonequal?
True
Let z = 111 + -126. Suppose 4 - 5 = -h. Suppose 2 = 3*y - h, -10 = g + 4*y. Which is smaller: z or g?
z
Let h be 1402/(-4) - 4/8. Let x(b) = -9*b**3 - 827*b**2 + 92*b - 350. Let r be x(-92). Which is smaller: h or r?
h
Let t(x) = 0*x + x**2 + 2*x**2 + 2*x**3 - x**3 + 3*x + 6. Let s be t(-3). Let u = -1 - 1. Which is smaller: s or u?
s
Let r be ((-4)/6)/(2/(-57)). Let j = 11 - r. Let m = 222495 - 222497. Which is greater: j or m?
m
Let r = 19597027/1856855 - 1/28567. Are 12 and r unequal?
True
Let v = -168 - -275. Let i be v/5 - (0 - 9/15). Which is greater: i or 89/4?
89/4
Let s = -114/1441 - 3097124/12969. Which is smaller: s or 0.1?
s
Let y = -24 - 715. Let d = 807.4 + y. Let w = 67 - d. Do w and 1 have the same value?
False
Let w = -56/1067 + 71816/67221. Let m be (-5)/60 + (-39)/108. Let a = m + w. Is -2 > a?
False
Let c = 1/13246 - -1192109/410626. Let d be 46/10 + 42/(-70). Which is smaller: d or c?
c
Suppose -2602036 + 741646 = 315*r. Is -5908 >= r?
False
Suppose -4*t - 9874 = -4*g - 89710, -t - 5*g + 19935 = 0. Let s be t/260 - 3/4. Which is smaller: 72 or s?
72
Let t = 0.0836 - 0.1836. Is t at least as big as 57/11?
False
Let t(k) = 5*k + 26. Let y(p) = -3*p - 13. Let l(a) = 4*t(a) + 7*y(a). Let j(c) = 3*c**2 - 73*c - 43. Let b be j(25). Let d be l(b). Is d not equal to -0.2?
True
Let u(h) = -2*h**2 - 40*h + 113. Let k be u(-23). Let m(n) = -n**2 - 5*n - 7. Let y be m(-5). Which is smaller: k or y?
k
Let w(h) = -h**2 + 12*h + 2. Let j be w(12). Let f be (-44778)/(-11203) + (-1*2 - j). Is 1 greater than f?
True
Let p(o) = 87*o - 1216. Let d be p(8). Is d less than -512?
True
Let s be -36 + (8/(-3) - (-10)/15). Let x = -130 - s. Are x and -94 unequal?
True
Let t be (-304)/12 + 1/3. Let q = 619 - 580. Suppose -q = 3*s + 27. Which is smaller: s or t?
t
Let a = -252 + 299. Is 7 != a?
True
Let a(o) = 6*o - 21. Let g be a(3). Let u be (-3)/((-3)/16) + g. Which is greater: 110/9 or u?
u
Let p = -55 - -57. Let c(m) = -213*m**2 + 214*m**p + 11*m - 11 - m. Let k be c(-11). Which is bigger: k or -4/3?
k
Let d be -13 + (-5715)/(-330) + (-26)/(-22) + -1. Which is bigger: 3/5 or d?
d
Let r be 18/81 - 86/(-18). Suppose -j - 148 = -r*j. Let k = j + -149/4. Which is smaller: k or 9?
k
Let f = 16.22 + -17.22. Are 173 and f non-equal?
True
Let g be (754/(-377))/(4/62 + 0). Which is bigger: 24 or g?
24
Let r(y) = -272*y**2 - 184*y + 185. Let a be r(1). Which is bigger: a or -269?
-269
Let f = 25 + -26.7. Let t = 2 + f. Let y be 1*24*31/(-496). Which is greater: y or t?
t
Let x = 26 - 18. Let n be 19360/4960 - (-1)/((-2)/x). Is 1 greater than or equal to n?
True
Let n = 30 - 26. Suppose 36 = 8*g - n*g. Suppose 5*c = g*c + 5*c. Is -4/25 greater than or equal to c?
False
Let m = -42.246 - 0.854. Let q = m - -46. Let x = 3.9 - q. Is x <= -0.2?
False
Let b = -344 - -345. Is 138/251 at most b?
True
Let q = 11.43 + -0.03. Let m = -11 + q. Let p = 405 + -403. Is p <= m?
False
Let v = 394.4 + -394. Are v and -1/41 non-equal?
True
Let k = 874 + -559. Let s = k + -314.2. Is 6/13 greater than s?
False
Suppose 567 + 113 = h. Let n = h - 590. Which is greater: n or 89?
n
Suppose -23*x = -6*x + 2397. Let f = x + 425/3. Is -38 != f?
True
Suppose 0 = 3*p + 2*g - 2036 - 685, 5*p - 4561 = g. Is p bigger than 910?
True
Let k(w) = w**2 + 8*w + 18. Let h be k(-4). Suppose 0*o - 3*o + 3*p = -561, -4*p - 376 = -h*o. Which is greater: o or 185?
o
Let s = 236.56 + -237. Let y = s + -42.56. Is 3 bigger than y?
True
Let y be (-7 + 2)*-12*(10491/156 - 68). Suppose 3*q + 0*q + 141 = 0. Is q < y?
True
Suppose 6*a + 5*y - 3274 = 8*a, -4*a - 5*y - 6578 = 0. Is -1641 bigger than a?
True
Let c = -206 - -146. Let x be 12/(-15) + -3*196/c. Is 102/13 less than or equal to x?
True
Let a = -2176 + 2177.279. Which is smaller: -1 or a?
-1
Let x = -0.03129 + -193.96871. Is -2 greater than or equal to x?
True
Suppose 6*v - 3*v - 5 = -2*f, 0 = -3*v + 2*f + 25. Suppose 5*n - 36 = -o, 0 = 6*o - v*o + 2*n - 33. Which is smaller: 33 or o?
o
Suppose 1773 + 607 = 10*g. Suppose 5 = -g*b + 233*b. Is b not equal to 2/1137?
True
Let p be (23/((-1288)/(-16)))/((-2)/(-7)). Which is greater: p or 1/166?
p
Suppose 1801*v - 1722*v + 553 = 0. Let r = -1.1 - -0.1. Let m = r - 0. Which is smaller: v or m?
v
Let t = -975/38 - -35/342. Suppose p + 21 = -k, -5*k - 109 = 6*p - 2*p. Which is greater: k or t?
k
Let j = -3/2678 - -209/2678. Does j = 112/9?
False
Suppose -9*x + 5*x = 5*u - 14346, x = 5*u - 14351. Which is smaller: 1 or u?
1
Let x be (-8784)/96*(-2 - -8). Which is bigger: x or 1/2?
1/2
Let p be -1 + -9 + 29 + -20. Which is smaller: p or -105/209?
p
Let p be (-1 + 0)*(1 + -36). Let z = 11 - 3. Suppose -u - z = -43. Is p at least u?
True
Let h be 2 + -1 - (35 - (-20 - -54)). Which is bigger: -0.09711 or h?
h
Suppose -40 = 161*s + 50 + 71. Are -1/1009 and s unequal?
True
Let v be 1 + 8 - 504/3409*61. Is 0 >= v?
True
Let w = 40 - 119. Let l = 86.43 - 7.03. Let x = l + w. Is x != -0.06?
True
Let c(g) = 10*g**3 + 5*g**2 + 14*g + 8. Let d be c(-2). Do -86 and d have the same value?
False
Let r be (21/14)/(6/80). Suppose 0 = -7*f - f + 32. Suppose -f = 2*v - g - 37, -34 = -v - 3*g. Which is bigger: r or v?
r
Let d be (-9)/(-12) + 815/652. Which is smaller: d or 61/62?
61/62
Let o = 9678 - 11042. Which is smaller: 6 or o?
o
Suppose 0*l - l - 1 = 0. Let h be (-1*(-3)/l)/(-1). Suppose h*p = -p - p. Is -7/6 at least as big as p?
False
Let t be (-7)/(-483)*(-3)/24. Let k = t + 215/184. Suppose -4*q + 2*g - 6 = -8*q, -3*q = 5*g - 1. Are q and k equal?
False
Let g(m) = 25*m - 25. Let c be g(1). Suppose -4*v = -v + 2*y + 31, c = 2*v - y + 23. Is v > -19?
True
Let u(f) = -51*f + 12. Let l be u(-4). Suppose -38*h + l = -35*h. Let g = 0.1 - 0. Is g at most h?
True
Let p be (1016/4445)/(8/714) + -20. Let o = -512/15