er than a?
False
Let q = -66084/19 + 3914684011/1125522. Which is greater: -1 or q?
q
Suppose 510 = 27*f - 22*f. Let w = -100 + f. Suppose -1 + 13 = 4*u. Do w and u have the same value?
False
Let a = 6/139 + 1209/973. Let f = -19 + 55. Suppose -3*c = 5*d - 28, 5*d - f = -c - 10. Which is smaller: c or a?
c
Suppose -2*d + 89 = 341. Let s = d - -128. Are 8 and s unequal?
True
Let t = 1764 - 1765. Which is smaller: 6/49 or t?
t
Let x = 33103 - 32357. Is 726 greater than x?
False
Let f = -15784 + 15783. Which is smaller: -30/401 or f?
f
Let x(s) = -30*s - 527. Let z be x(-15). Is -82 >= z?
False
Suppose 0 = -6*q + 2*q + 8. Let j be 5/10 - (-3)/q. Suppose -j*h = 5*o - 27, 8*o + 68 = 4*h + 4*o. Which is greater: 17 or h?
17
Let n be (-2 + 1)*((-6)/4 - (-12)/8). Which is greater: -0.647 or n?
n
Let i be (-1575)/(-50)*(-27)/7. Let s = -2793/23 - i. Which is greater: s or -2/3?
s
Let s be (6 - (-1 + 4))*(-13)/39. Is s at least as big as -0.2386?
False
Let a be 84380/(-96)*3 - 5/1. Let k = a + 2634. Is k at most -9?
False
Let r = 0.094 - -42.906. Let l be 2/(-12) - 606/(-1260). Let p = -3/5 + l. Which is bigger: p or r?
r
Suppose 3*q - 3 = 2*g, -2 = 17*g - 16*g - q. Let x(o) = 9*o**2 + 13*o + 5. Let i be x(g). Which is bigger: -2 or i?
i
Let t be 36/12*2/(-2). Let f be ((-8)/t + (-32)/48)/2. Suppose 3*z = -7 + 10. Is f at least z?
True
Let b be 4/((-5)/(-5)) + 5. Suppose -2 = m + b. Let j = -78 - -67. Is m bigger than j?
False
Let w be 78/26 - (1 - 1). Suppose -23 + 8 = 2*x + w*h, 4*h = -4*x - 36. Is 19 at least x?
True
Let b = -23/301 + 70892/9933. Is b less than or equal to 6?
False
Let g(c) = -71*c - 448. Let b be g(-7). Which is greater: b or 44?
b
Let l(f) = 510*f - 2438. Let u be l(-8). Is u at least -0.2?
False
Let x be ((-80)/(-59120))/((-2)/2). Which is bigger: x or -1?
x
Let w(p) be the third derivative of p**6/120 - p**5/12 + p**4/12 + p**3/3 + 4*p**2 - 1. Let y be w(4). Is 4 greater than y?
True
Suppose 25 = k + 4*k. Suppose -17 = k*x - 157. Let q be 104/154 + x/154. Is q <= 1?
True
Let p be 1528/8 + 1/(3/9). Let x = -195 + p. Which is greater: x or 1/17?
1/17
Let f = -5412 + 2446. Are f and -2965 equal?
False
Let p be (-308788)/563046 + (-6)/(-11). Which is bigger: p or -1?
p
Let i = -68.9 + 63. Let n be 107/1 - (56 - 54). Let d = n - 733/7. Do i and d have different values?
True
Let t = 16112 - 14432. Is t >= 1681?
False
Let m = 1201/39 + -91/3. Which is smaller: m or -1?
-1
Let b = 47 - 33. Let n = -16 + b. Let u be (-7 + n)*(-2)/3. Which is smaller: u or -0.2?
-0.2
Let m = 25734 + -22613. Is 3119 greater than or equal to m?
False
Let a = 31.4 - 98.4. Let g = -0.8 + 68.8. Let n = g + a. Is 4/27 > n?
False
Let t be ((-4725)/(-18))/(-7) + 1. Let c = -25 - t. Which is smaller: c or 1/4?
1/4
Suppose -5*b = -o + 3*o - 254, -5*o - 4*b + 686 = 0. Is -5 at least as big as o?
False
Let y = 928/5781 - 6/41. Let w(a) = 4*a + 61. Let p be w(-11). Let m(g) = -g**3 + 17*g**2 - 4*g + 68. Let l be m(p). Which is bigger: y or l?
y
Suppose 26*i + 18459 = -15549. Is i equal to -1305?
False
Let b be 16*((-329)/168 + 2). Which is smaller: b or 473?
b
Suppose 15*r = 22 - 37. Which is greater: r or 30/209?
30/209
Let h = 10/1863 + 56503/232875. Which is bigger: -1 or h?
h
Suppose -427*v + 89442 = -409*v. Which is smaller: 4974 or v?
v
Let w be (-12)/(-90) - ((-3891)/(-1845) - 2). Suppose 3*s + 3*b = -6, -5 = 5*s + 3*b + 3. Is s < w?
True
Let o(m) = -m**3 + 8*m**2 - 4*m + 8. Let z be o(8). Let n be 2/12 - (-28)/z. Let k = 4543/17 + -267. Is k smaller than n?
False
Let m = 281 - 280.878. Let k = -18 - -18. Is m less than k?
False
Let w = -69 + 76. Suppose 0 = -w*r + 8*r + 5, 5*u + 2*r - 10 = 0. Let q be (u/(-5))/((-2)/(-115) + 0). Is q greater than or equal to -46?
True
Let k = 12323/210 + 89/42. Let w = -65 + k. Let i = -81620 - -81617. Is w at most i?
True
Suppose 0 = -10*v - 0*v - 2670. Let b = -182 - v. Which is smaller: 86 or b?
b
Let m = 114 - 105. Let i be -5 - (972/16)/m. Let x = 12 + i. Which is smaller: x or 27?
x
Suppose -12*t = t + 2288. Let x be (6/(-244))/(66/t). Is 0 at most x?
True
Let u(n) = -11*n - 153. Let o be u(-10). Let p(m) = m**2 + 13*m + 5. Let s be p(-7). Let h = o - s. Is -8 greater than h?
False
Suppose 4*f + 3*o = 37, -2*f - 4*o + 17 = -o. Let n(m) = -m - 25. Suppose 19*p - 12*p + 168 = 0. Let g be n(p). Which is smaller: g or f?
g
Let y = -7339/13 - -564. Suppose -36*h + 137*h + 310 = -54*h. Which is greater: y or h?
y
Let c(o) = -3*o**2 - 7*o - 17. Let p(d) = -5*d**2 - 11*d - 26. Let u(r) = 8*c(r) - 5*p(r). Suppose 8*g + 24 - 48 = 0. Let q be u(g). Is -4 > q?
False
Let t = 0.08796 + 2.91204. Let y = 27 + 16. Is y >= t?
True
Let r = 133.4 - 1.4. Let y = -134 + r. Is y != -9?
True
Let l(c) = -4*c + 1. Let n be l(-3). Suppose 0 = -5*h + 2*b + 14, 0*h - 8 = -5*h - b. Suppose 0 = 5*k + 2*z - 50, -h*k = 7*z - z - 20. Is k != n?
True
Let f be (179725/78)/(-25)*4*2/728. Which is greater: -1 or f?
-1
Suppose -4*x = -s - 25, 2100*s - 2096*s + 9 = 3*x. Suppose -1 = f - i, -6*f - 5*i + 23 = -2*f. Is s greater than f?
True
Let v(r) = 2*r**3 + r**2 + r + 1. Let g(u) = -5*u**3 + 4*u**2 + 2*u - 25. Let f(n) = g(n) + 2*v(n). Let q be f(6). Which is smaller: 16/23 or q?
16/23
Suppose -l = -8*l + 28. Suppose -l*i + 5 = -7. Let r be i/12 - (-444)/80. Is r bigger than 6?
False
Suppose 2*g = 3*g - 96. Suppose x = -4*u + g, -2*x - 120 = -5*u - 5*x. Suppose 112 = 5*s - 3*d, -4*s - 66*d + 96 = -62*d. Are u and s nonequal?
True
Let v = -1/7 - 10/77. Which is smaller: -1 or v?
-1
Let l be ((-12)/42)/(-1 + 0). Let s = 276 + -293.9. Let g = 0.1 - s. Which is greater: l or g?
g
Suppose 50*o - 5382 = 27*o. Let g be (-2)/(-9) + 118820/o. Is g less than or equal to 509?
True
Let o be 25/4 - 5/20. Let f be (2/3 - 22/o) + -2. Let a = -5 - 2. Is a less than or equal to f?
True
Let i = 13 - 13.112. Let s = 15823.8 + -15824. Is i >= s?
True
Suppose -5*m + 2*m - 28 = -5*b, m + 6 = b. Let p = -498079 + 108082759/217. Let v = p + 15/31. Which is smaller: v or m?
v
Let t(b) = 769*b**2 + 28*b + 174. Let i be t(-7). Let y = i + -866301/23. Is y at most as big as -5?
True
Let x(y) = -7*y + 28. Let h(t) = -t. Let j(l) = -4*h(l) + x(l). Let k be j(0). Let o be (-66)/(-8) - k/7. Which is smaller: o or 4?
4
Let q = -3306 - -3408. Which is bigger: 98 or q?
q
Let k = -192.54 - -192.59. Is -64/3 bigger than k?
False
Suppose -5*p + 7*p + 1833 = 3*c, -c + 637 = -5*p. Which is greater: 612 or c?
612
Let f = -400.36 - -405. Let g = 59.64 - f. Is g at most 0.1?
False
Suppose 0 = -2*t, -8 = -k - t - 2. Let q be (1/((-2)/k))/((-21)/910). Is q bigger than 2?
True
Let c = 74 - 117. Let y be (0 + -80)*(-18)/(-21)*(-7)/(-15). Which is smaller: c or y?
c
Let v = 107057/65 - 9636/13. Is v <= 907?
True
Let q(c) = -7*c**3 - 3*c**2 + 39*c + 175. Let h(l) = 4*l**3 + l**2 - 20*l - 87. Let b(o) = -5*h(o) - 3*q(o). Let a be b(-4). Which is bigger: a or -23?
a
Let s = 215 + -166. Let l be s/(-98) + 7/(-10)*-1. Is -0.7 <= l?
True
Suppose 0 = 4*m - l - 15 - 60, 0 = -4*m - 2*l + 66. Suppose -m*a = -29*a - 99. Is a greater than -18?
True
Let o = 0.1744 - -0.2256. Which is greater: 1/101 or o?
o
Let i be (1/2)/(21/(-6)). Let u = 171 + -275. Let r = 105 + u. Which is greater: i or r?
r
Let m be (-41)/(-533) - 13500/78. Is m at least -70?
False
Let o = 5147120 - 736043218/143. Let a be 7702/220 - 5/50. Let q = a + o. Which is smaller: q or -1/3?
q
Suppose -s = 2*a - 697, 114*a - 5*s + 362 = 115*a. Which is greater: a or 350?
350
Suppose 0*c - c + 48 = -4*r, -3*r = 12. Suppose -2*t - 60 = -2*o, 3*o = 2*t - 3*t + 102. Is c at least o?
False
Let o = -101.64 + -71.36. Which is bigger: o or 26?
26
Let a = -2177116746/135995 - -80044/5. Which is smaller: a or -1?
-1
Let i = 278 + -278.0002. Let h = -0.3898 + i. Suppose -2*q - q = 0. Which is smaller: h or q?
h
Let b = 0 + 0. Let a be 0 + -3 - (9 + (-602)/(-4)). Let h = a - -163. Which is bigger: b or h?
h
Let k be 0 - (-138552)/(-60)*(-40)/(-48). Which is bigger: k or -1923?
-1923
Let y be (-187)/4*((-8)/(-5))/(8/(-120)). Is 1120 less than y?
True
Let g = 25.7 - 31.6. Let i = -13 - -18.8. Let r = g + i. Is r greater than -23/2?
True
Suppose -72 = 2*g - 0. Let s be g/(-27) - 124/90. Let q(y) = y**2 + 19*y + 48. Let b be q(-16). Is s > b?
False
Let o = -174 + 207.