se
Let u = -485 - -2513. Let l = u - 28415/14. Is -3 at least as big as l?
False
Let i be 8/(-6)*(-4 + -17 + 96). Which is bigger: i or -111?
i
Let o = -21.8 + 22.162. Let h = o + -0.262. Is h < -127?
False
Let v be (-11576)/32 + -4 + -1. Which is greater: v or -368?
v
Let k be ((-1)/(-2))/(3 - 94/32). Let i(x) = -2*x**2 + 17*x - 7. Let l be i(k). Are -3/97 and l nonequal?
True
Suppose 15 = -5*y, 2*n = 3*y - 4*y + 5. Suppose n*u + 4*t - 232 = -0*u, 0 = -2*u + t + 116. Is 58 != u?
False
Let i be (23 + -20)*219/45. Let k = i - 4813/330. Is 0.3 != k?
True
Let n = -6385.7 + 6386. Which is bigger: 702 or n?
702
Suppose -4*w + 171 - 19 = 0. Suppose 5*v - 4*x = -152, -2*v + v - 5*x - 13 = 0. Let j = w + v. Is j < 8?
False
Let j(b) = 2*b**2 + 32*b + 3. Suppose 0 = -8*g - 116 - 12. Let m be j(g). Is 11 smaller than m?
False
Let o be 51867027/(-5761305) - (-9)/1. Let r = -1/565 - o. Which is greater: -1 or r?
r
Let v = 1335.118 + -1337. Let j = v + -0.118. Do -20 and j have the same value?
False
Suppose 1 - 1 = -6*d. Let l be 935/1140 + 21/(-28). Which is smaller: l or d?
d
Let m = -6386 + 6385.9. Which is greater: -2039 or m?
m
Let k = 10158 + -9862. Suppose 0 = -0*d + 5*d - 1475. Which is bigger: d or k?
k
Let a(w) = 2*w + 16. Let n be a(-6). Let p be ((-15)/(-12))/(n/16). Suppose -3 + 48 = -p*y. Is -11 >= y?
False
Let n(r) = -4*r**2 + 13*r**2 - 8*r**2 - 17. Let z be n(-4). Which is bigger: z or 2?
2
Suppose -109*c + 86*c = -136*c + 5198. Which is greater: c or 24?
c
Let t be (-2 + 0)*2 + -9. Let s be 24/(-5) - t/(-65). Let z(d) = d + 10. Let l be z(s). Is l less than 1?
False
Suppose -6243*z = -6240*z + 1443. Which is greater: -486 or z?
z
Let i(f) = -28*f + 239. Let x(r) = -25*r + 237. Let j(h) = 2*i(h) - 3*x(h). Let a be j(12). Which is smaller: a or -3?
a
Let w be -19 + 2485715/125860 + 6/(-8). Which is smaller: 1 or w?
w
Let y(q) = q - 10. Let d be y(6). Let g be -2 - ((-392)/(-6))/d. Suppose 498*m = -21*m + 6747. Which is smaller: m or g?
m
Let c = -49 - -47. Let y = 58 - 50. Let h be (7 - 3)/y*(-4)/(-6). Is h bigger than c?
True
Suppose 6*n - 2*k = 5*n - 40, 3*k = 3*n + 120. Let i be 587/5 - (-16)/n. Which is smaller: i or 118?
i
Let s be (-21 - (9 - 15)) + 978. Do 963 and s have the same value?
True
Let h(k) be the second derivative of -52*k**3/3 + 55*k**2 - 52*k - 3. Let c be h(2). Which is smaller: c or -100?
-100
Suppose 3954 = 21*p + 3975. Is -17/66 at most as big as p?
False
Let q be 3 + 3 + -10 - (80 + -84). Which is smaller: 1/7363 or q?
q
Suppose 13*l - 14*l + 1 = -j, -4*l + 6 = -2*j. Let c be (j + (-11)/12)*(-176)/(-3388). Which is smaller: -1 or c?
-1
Let i be 1302/56 - (-3)/(-12). Let b = -484/21 + i. Is 0 smaller than b?
False
Let c be (-7 + 2)/((-3)/6 + -2). Suppose -4*w + c*m - 14 = -844, 842 = 4*w + 2*m. Is w bigger than 208?
True
Let b be ((-57293)/(-34500) - 10/6)*7/(-12). Which is smaller: 0 or b?
0
Let c = -8259 + 8260. Is -2/9103 at least as big as c?
False
Suppose 30*z + 113*z - 108360 = -137*z. Do z and 389 have different values?
True
Suppose -4*a + 14 = 3*a. Suppose a*o = 3*h + 17 - 120, 3*o = -3*h + 108. Let p be ((-7)/h)/((-2)/(-10)). Which is bigger: p or -5?
p
Let i(o) = -101*o - 2014. Let a be i(-20). Let c = -5 - -1. Let w be c/(-6)*60/8. Is a greater than w?
True
Let j be 1 - 0 - (1 + -1). Let f be (-470)/(-25) - j/(-5). Suppose 2*h + 5*s + f = -h, 3*h - 3*s + 3 = 0. Is -2 > h?
True
Let s be (-214)/38 - (-10 - 0)/(-10). Suppose 4*k + 28 = 7*t - 11*t, 0 = 4*k - 5*t + 37. Which is smaller: s or k?
k
Let j be -5 + (10/(-45))/(((-22)/(-9511))/(-11)). Which is greater: 1051 or j?
j
Let t(l) = l**3 + 21*l**2 - 9*l + 6. Let p be t(-21). Suppose -3*r = -x + p + 82, 798 = 3*x + 2*r. Is 268 greater than x?
False
Suppose 35 = 4*g - 5*f, -9*g + 10*f = 8*f - 14. Which is bigger: g or -1131?
g
Let a = 22123 + -22165. Let v(b) = -8*b + 3. Let q be v(6). Which is greater: a or q?
a
Let z(s) = 62*s + 195. Let i be z(-8). Let d = -303 - i. Which is smaller: -23/15 or d?
d
Let r = -1388/13 - -9781/91. Let u = 4 - 3. Is u > r?
True
Suppose 0 = 4*p + 4*g + 60, 3256*g - 3261*g + 15 = -4*p. Is 0 bigger than p?
True
Let r be 195841854/(-27985879) + (-3 - -10). Let i = -3/2459 - r. Which is greater: i or 0?
0
Let a be (-5)/25 + ((-212706)/(-59055))/18. Is a bigger than 0?
True
Suppose 4*o = -4*x + 688, -3*o - 17 = -32. Is x < 176?
True
Let z(c) = 4 - 4*c - 3 - 9 + 2*c. Let d be z(-4). Let g = -292/5 - -3206/55. Which is greater: d or g?
d
Let g = -9179736/13 - -704310. Is g at least as big as -1823?
False
Let u be 2/3*-3 - -2. Let r be ((-144)/(-20) - 7)*1406. Let h = r - 281. Are u and h equal?
False
Let p be 1 + -11 + 150/45*3. Which is greater: p or -2/34583?
p
Suppose -2*x - j = j - 20, 4*x + 5*j - 40 = 0. Let u(c) = c**3 - 8*c**2 - 5*c + 51. Suppose 19*q = -2*q + 168. Let p be u(q). Which is smaller: x or p?
x
Suppose -4*a + 9*a = 40. Suppose 0 = 2*p - 1 + 25. Let z be 45/p + a/4. Which is smaller: z or -1?
z
Let k(v) = 7*v**2 - 5*v - 3. Let s be k(-1). Let p be 755/10 - s/(-6). Suppose 2*g + f = -51, p = 2*g - 5*g - f. Which is bigger: g or -25?
-25
Let b be (-3 - -1)*(-399)/14. Suppose -7*c + 3*z + 33 = -9*c, 0 = -4*c - 3*z - b. Is -15 != c?
True
Let g = -20771/349209 - 4/1449. Let b = 801/10363 - g. Let s(l) = -3*l - 16. Let j be s(-5). Is b > j?
True
Suppose 4*i - 24 = -4*g, -g = 3*g + 5*i - 20. Suppose -203 = g*y - 17*y. Is y greater than 24?
True
Suppose 0 = -2*v + t - 41, 11 = -2*v - 3*t - 2*t. Let u be (-4)/v - (305/(-45) - -1). Let q = -77 + 694/9. Which is greater: q or u?
u
Let z be 1800/300 - 1*5. Which is bigger: z or -13/110?
z
Let f = 1/93420 - 875867/5091390. Which is smaller: f or -1?
-1
Let g = 43375 + -43373.8. Let k = -2.2 + 0.2. Let w = -4 - k. Which is smaller: g or w?
w
Let z = 14 + 50. Let w be (1/2)/(1/z). Let l(a) = 2*a**2 + 9*a + 13. Let t be l(-6). Which is greater: t or w?
w
Let y be 2 + -11 - 1 - 2. Let t = 51 + y. Let f = t + -38. Which is smaller: 0 or f?
0
Let g be (-9225)/936 + 34/4. Which is bigger: -1 or g?
-1
Let h = 7046 + -3938. Is h equal to -0.1?
False
Let f = -1091.3 - -1090.3. Is f less than or equal to 94.7?
True
Let w(z) = -z**3 + 11*z**2 + 2*z + 13. Let h be w(11). Suppose p + 4*p = -h. Let x = 17695/28 + -2561/4. Which is smaller: p or x?
x
Let m be ((-68)/(-8))/((-171)/18 - -9). Let x be -15*-2*(-3)/15. Are m and x nonequal?
True
Suppose -w = 6, -758 = -4*x - 4*w + 562. Which is bigger: 330 or x?
x
Suppose 0 = -2*g - 0*g - 16. Let m be 11 + 54*(-7)/14. Let v be m/(-108)*2/g. Is -1 greater than v?
False
Suppose -42 = -2*p - 52. Are p and -4 nonequal?
True
Let n(o) = o. Let p be n(-4). Let v be (-9)/36 - 3/(-12)*-7. Is v at least as big as p?
True
Let l be (12390/3099)/(-1) + 17/((-153)/(-36)). Which is greater: 0 or l?
l
Let j be (-10 + 7)/(1419/10). Let d = j + -2901/19393. Is d <= 0?
True
Let x = -175 + -250. Let b = 436 + x. Which is bigger: b or -5/14?
b
Suppose 95 = -5*s + 3*z, 5*s + z = -59 - 16. Let f be 1/(20/s)*40. Let n be (-2 - f/18)/(50/15). Which is smaller: -1 or n?
-1
Suppose 2*l - x - 5 = 0, 9*x = 2*l + 7*x - 10. Suppose l = -s - 246 + 262. Which is smaller: s or 82/5?
s
Let l be (0 - (-2)/(-12)) + 26353/6. Let f be (-108)/l*(-4)/(-3). Suppose k - 2*k = -n - 1, -n = k + 1. Is n greater than f?
False
Suppose 10 = 2*f + 2, 13580 = 5*c - 5*f. Suppose -o - 9*o = -c. Let g = 1934/7 - o. Which is smaller: g or 3?
3
Suppose 2*b = -3*b + 50. Suppose -b*u - 3 = -13*u. Suppose -7*f = -6 - u. Are f and 1/8 unequal?
True
Suppose -4*i - 30 + 30 = -60*i. Is i >= -38/863?
True
Let l be (-878)/(-1845) - 1*12/54. Let i = l + -15254/64985. Let o = 3738/3487 + i. Is 1 at most as big as o?
True
Let p(s) = -3*s**3 - 10*s + 9. Let r be p(1). Let o(f) = 20475*f**2 - f - 1. Let i be o(-1). Let n be 5000/i + (r/(-9))/(-2). Which is smaller: 0 or n?
0
Suppose 4*f + 167 = 5*x, -4 = -2*x - f + 68. Suppose 0 = -4*i - 5*g - x, -3*g = -4*i + 2*g - 85. Let b be (7/(-119))/((-3)/i). Which is greater: 1 or b?
1
Suppose -2*q - 486 = h, -1240 = 5*q - 95*h + 100*h. Let p(w) = w**3 - 14*w**2 + 8*w. Let l be p(6). Which is smaller: l or q?
l
Let f = 103 - 99. Suppose 8 = 4*l - 4*r, -3*r + f - 7 = -2*l. Suppose 5 = 5*k + l*z, 0 = -3*k - 3*z - 2 + 5. Are k and 2 non-equal?
True
Let y be ((-10)/45)/((-8)/238