?
2
Let u = -10133 - -29947/3. Which is smaller: u or -150?
u
Let q be -4*(0/(-2) - 1). Suppose 5*c - 3*z - 9 = 0, 4*c + 9*z - 14*z - 15 = 0. Suppose g + 3*g + q = c. Is 0 bigger than g?
True
Let x(g) = g**2 + g - 4. Let z be x(-3). Suppose -7*q + z*q - 11 = -3*d, d - 3 = 2*q. Suppose -3*k = k - 24. Which is greater: d or k?
d
Let h(z) = -6*z - 32. Let q be h(5). Let d = q - -58. Which is greater: d or -6?
d
Let h(v) = v**3 + 12*v**2 + 10*v + 5. Let g be h(-11). Let d be g/((1 - 3) + 17). Is d > 0?
True
Suppose 3 + 3 = 3*p. Suppose p*s = 1 - 13. Is -7 >= s?
False
Let i = 15 - 21. Let g be 15/10*2/i. Is g equal to -0.01?
False
Let d(g) = -g**3 + g + 24. Let p be d(-8). Let k = -7387/14 + p. Which is smaller: k or 1?
k
Let w = 4/275 + 2447/1925. Let r(o) = -2*o**3 - 1. Let z be r(-1). Suppose -10*p + 1 = z. Is p != w?
True
Let o be ((-9)/6)/(1/(-2)). Suppose 0 = o*c, 3*h - c - 11 = -2. Suppose -j = h*j. Which is smaller: j or -2/3?
-2/3
Let m be ((-6)/(-21))/((-2)/(-9)). Let o be (-15)/12 + 20/16. Is m at most o?
False
Let c = -128 - -132.5. Do c and 4/3 have different values?
True
Let n(w) = -4*w - 4. Let u(m) = -m**2 + 4*m + 3. Let a be u(3). Let k be (-8)/a*(-27)/18. Let y be n(k). Is -11 bigger than y?
True
Let w(f) = f**3 - 2*f**3 - 8*f**2 - 1 - 3*f - 2*f. Let i be w(-8). Suppose 0*t = -3*t + 9, -3*k + 2*t - i = 0. Which is bigger: 0 or k?
0
Suppose 0 = -v + 188 + 133. Suppose 21 + v = 9*l. Is 39 at least as big as l?
True
Let s = 9 - 9.17. Let d = -5 - -4.97. Let p = s + d. Which is smaller: p or -0.3?
-0.3
Let b(m) = 12*m - 75. Let w be b(6). Is -46/17 >= w?
True
Let y = 3011/220 - 150/11. Let w(f) = -2*f**3 + f**2 + 2*f. Let l be w(0). Suppose -q + 4*s + 17 = 0, 5*q + 3*s + 7 = -l*q. Which is smaller: y or q?
y
Suppose 5*w + 5*z - 97 - 93 = 0, -z = 2. Let x be (-3)/(6/w)*18/36. Which is smaller: 4 or x?
x
Let p = 150 + -1271/8. Which is smaller: p or -8?
p
Suppose -5*o - 5*k - 25 = 0, -3*k - 2 = 5*o + 19. Suppose -2*q - 46 = -854. Let j be (o - (-1196)/q)/(-2). Which is smaller: -1 or j?
-1
Let k be (-2)/(-1*(223/(-2) + -8)). Is -1 at least k?
False
Let v = -1 + 1. Let c be -9 + (-10)/(-135)*121. Which is smaller: v or c?
c
Let q = -8/601 - -4046/33055. Which is smaller: q or 2?
q
Let u be (12/15)/(3/(-90)). Let h = 21 + u. Let v be (3/h)/((-2)/(-14)). Which is bigger: v or -6?
-6
Suppose -3*u + 198 = -3*a, -3 = -0*a - 3*a. Let y = -40 + u. Is 27 < y?
False
Let z = 0.16 - -5.84. Let y = -64 + 58.2. Let i = y + z. Which is greater: i or 0.1?
i
Let r = 609 - 2437/4. Is 373 >= r?
True
Let u(v) = v**2 + 14*v - 4. Let i(x) = -6*x**2 - 71*x + 19. Let b(w) = 2*i(w) + 11*u(w). Let m be b(10). Let j = m + -14. Which is greater: 1/12 or j?
1/12
Let b = 8 + -3. Suppose -8*h = -3*h - 80. Suppose -b*w = -w + h. Is w smaller than -1?
True
Let n be (-18)/5*(2 + (-24)/(-18)). Which is bigger: n or -2/3?
-2/3
Suppose -258*j + 251*j - 21 = 0. Which is bigger: j or 0.34?
0.34
Suppose 2*u - 11*h + 90 = -15*h, 2*u + 96 = -h. Is -51 greater than u?
False
Let c = 501361 + -30580604/61. Let v = c + -15/122. Which is greater: v or 40?
40
Let k(q) = -2*q - 5. Let r be k(-2). Is -1/47 <= r?
False
Let q(x) = -25*x + 255*x**2 - 12 - 520*x**2 - x**3 + 280*x**2. Let d be q(13). Let p = 1/304 + 1819/1520. Are d and p non-equal?
True
Suppose 34*l - 98 = 41*l. Which is bigger: -6 or l?
-6
Let f = 20 + -7. Let n = f - 12. Let u be 5/(-10) - n/(-2). Which is bigger: u or 4/3?
4/3
Let g = -0.96 - -0.93. Which is smaller: g or 105?
g
Let h(s) = 2*s + 23. Let g be h(-12). Which is bigger: 1/223 or g?
1/223
Let w(t) = t**3 - 4*t**2 - 3*t - 5. Let g be w(5). Let p be -1 + -6*g/(-15). Let a be (1/12*3)/4. Is a bigger than p?
False
Let s = 37343/85652 - 33/76. Are 0 and s nonequal?
True
Suppose 3*d + 21 = -5*v, 5*v + 224*d = 226*d - 11. Is v greater than -73/18?
True
Suppose 9 = 3*w - 3*l, 3*w - 6*l = -2*l + 6. Let t = w - 12. Let p be (4/(-40))/(1/t). Which is greater: 1 or p?
1
Let x = 11920/11 - 1097. Which is smaller: x or -12?
x
Suppose -l = 5*g + 14, 4*l - g = 2*l + 16. Suppose 4*z = l*z - f + 3, 4*f - 22 = -2*z. Suppose i - z + 0 = 0. Is 4/7 <= i?
True
Let c be -3 + (-108)/(-44) + 0. Let i(g) = -g**3 + 6*g**2 + 7*g. Let s be i(7). Let k be (s - -2)/(-4 - -2). Is c not equal to k?
True
Suppose -p - 5 = 0, -5*p - 1 + 12 = v. Let b be 2/(-6) + (3 - 105/v). Which is greater: b or 1?
1
Let s(y) = -2*y. Let n be s(3). Let w be ((-3912)/44)/n + 2/11. Which is bigger: 41/3 or w?
w
Let y = 73 - 89. Let z be y - -14 - 1/(2/18). Suppose t + 40 = -3*t. Are t and z unequal?
True
Let d = 71 - 72. Let o be (6/(-135))/(d/10). Which is smaller: -1 or o?
-1
Let p = -4561/1780500 + 2/3561. Which is greater: 1 or p?
1
Let l be 4/(-2)*2/(-2). Let h be 2*(0/l - -1). Suppose -h*f + 5*f = 21. Which is bigger: 2/3 or f?
f
Let o be ((-22)/(-4))/((-44)/(-8) - 6). Suppose 5*y - 13 = -a, 20 = -y + 5*y. Which is bigger: a or o?
o
Let l = -257 - -1394/5. Which is greater: 21 or l?
l
Let a be (41/(1599/26))/((-926)/3). Is a at least as big as 3?
False
Let l = 277.0526 + -0.0526. Which is bigger: l or -1?
l
Let f = -742 - -1120. Is 379 > f?
True
Let o = -0.0466 + -1.9534. Is -1018 > o?
False
Let i be (-26)/117 + 60/27. Let d = 1 + -1.1. Let u = 0 - d. Which is bigger: i or u?
i
Let y = -74.63 - -75. Let u = 0.47 - y. Which is smaller: 7 or u?
u
Let v be (-6)/164*4/(-51). Let n be -3 - -2 - 9856/34153. Let x = n + v. Does x = -2?
False
Let b = 0 - 0. Suppose b = -3*x - 3*k + 2 - 14, -5*k - 29 = -4*x. Let r = x + -3. Is r less than or equal to -1?
True
Suppose 34 - 7 = v. Let g be (-2)/3 - (-18)/v. Suppose g = -2*z - 2. Is z equal to -2?
False
Let h = 2302 + -2269. Which is greater: h or 35?
35
Let z = 54 + -126. Let m(r) = -5*r**2 + 67*r - 269. Let d be m(9). Which is bigger: z or d?
d
Suppose 4*m + 16 - 4 = -4*p, 3*m - 1 = 2*p. Which is greater: m or 2/19?
2/19
Suppose -4*j + 3*h + 0 = -4, -h = 0. Let w(z) = j + 1 - z + 3. Let g be w(4). Which is smaller: 2/15 or g?
2/15
Let f(j) = 24 - 13 - 4*j - 17. Let p be f(-4). Is 12 < p?
False
Let v = 37 - 38. Let m(h) = 2 - 1 - 5*h + 3*h. Let q be m(v). Is -1 equal to q?
False
Let h be (-16)/56 + 9/7. Let f be 0 + 732/(-52) + h. Let o = f + 3269/247. Are o and 0 nonequal?
True
Let v = 109 - 49. Let k be (2 + v/3)*6/(-60). Is -2 less than or equal to k?
False
Let s(b) = -b**3 - 6*b**2 + 2. Suppose -5 = 6*g - 5*g. Let o be s(g). Let x be (-2)/(-2) - (7 + o). Do x and 1/3 have the same value?
False
Let o = -223 + 175. Is 0.07 equal to o?
False
Let v = -251/3 - -23593/282. Is v at least 1/4?
False
Let s(f) = 2*f**3 + 22*f**2 + 22*f + 14. Let b be s(-10). Which is smaller: -41/8 or b?
b
Let r be 33/2 + (-2)/(4/3). Let w be (r/(-9) + 1)*(-18)/34. Which is smaller: w or 0?
0
Let q = -357 - -259. Which is smaller: q or -97?
q
Suppose z + 3*d - 2*d = 9, 3*d + 8 = 2*z. Suppose 4*y - 5*u - 5 - z = 0, -u = 0. Suppose -y*i = -2 + 8. Is -5/3 at most as big as i?
False
Suppose -22*u = -11*u + 11. Let w = -3/32 - -103/416. Which is smaller: u or w?
u
Suppose -52 = 5*v - l, -56 = 3*v + v + 4*l. Let g(y) = 23*y + 1967. Let s be g(-86). Is s bigger than v?
False
Let w = 184 - 3129/17. Let o = 22 - 12. Let f be o/25 + 2/(-5). Is f greater than w?
True
Suppose 2*v = v. Suppose 0*w - 4*w - 8 = 0. Let c = w + v. Is -2 >= c?
True
Let p = -95 + 83. Let l be (5/8)/((-57)/p - 5). Which is bigger: l or 0?
0
Let t(o) = 27*o + 1. Let c be t(2). Let g = 185/3 - c. Suppose 4*w + 46 = 70. Is w bigger than g?
False
Suppose -39 = -5*l + 206. Suppose -45*f + l*f - 20 = 0. Suppose 5*z = 4*v + 21, -z + 2 - 1 = -4*v. Which is smaller: f or v?
v
Let x(g) = g**2 - 27*g + 92. Let v be x(4). Let c be 1222/(-406) + 6/2. Is c smaller than v?
True
Let y be 40/(-25) + (-2)/5. Let b = -1074 - -2559. Let k = 13351/9 - b. Is y less than k?
True
Let w be 29/55 - ((-42)/12 - -4). Which is bigger: w or 0?
w
Let q = 0.29 + -0.53. Let n = q - -0.14. Is 4/11 > n?
True
Let s = 4 + -6. Let p = 1 + s. Let g = -2644/9303 - 2/1329. Are g and p non-equal?
True
Let o = 379 - 379. Which is smaller: -66 or o?
-66
Let k be (4 - 1)*2/3. Suppose 11 = x - 3*d, 2*x + k*d + 6 = 3*x. Let o(n) = n + 4. Let f be o(x). Which is bigger: -1/16 or f?
f
Let q(x) = -x**3 - x - 2. Let f be q(-4). Let i = f - 18. Suppose -3*a - i = a. Is a