= 0, g = -5*k + 93 + 16. Which is smaller: 83 or g?
83
Let u(r) = -3*r - 4. Let b be u(-5). Suppose 0 = -3*n - 14 + b. Is -2/169 bigger than n?
True
Suppose -92 = 4*o - 12. Let v = o - -28. Is 9 greater than or equal to v?
True
Let p be 1 - 1*(1 + -2). Let q = 1 - p. Suppose -104 = 40*o + 96. Is o equal to q?
False
Let s(a) = -a + 8. Let b be s(6). Suppose 4*l + 14 = -b*w, 5*w + 5 = 2*l - 6*l. Suppose -2*m = w*q + 5 + 6, 2*q + 8 = -2*m. Which is bigger: -1 or q?
-1
Let n = -57/29 - -2031/812. Is 2 less than n?
False
Let y = 343 + -345. Which is bigger: y or 3/173?
3/173
Let v be (-1 - (-50)/52)*-12. Suppose 0 = 2*g + a - 216, -g - 540 = -6*g + 3*a. Let h be 3/g + 8/36. Which is smaller: h or v?
h
Suppose 0 = 6*s - s. Let l be (8/(-32))/((-9)/(-15)). Which is smaller: s or l?
l
Let s = 763 + -25177/33. Which is bigger: s or -5?
s
Let v = 22.1983 + 1239.9717. Let m = -1257 + v. Let y = 0.17 - m. Is y less than -1?
True
Let y = -1457 - -1455. Is -54/23 < y?
True
Let g be ((-8)/(-30))/((-2)/3). Let b = -371.4 - -370.4. Which is smaller: b or g?
b
Let j be (3 - (6 - -1))/((-8)/34). Which is bigger: j or 22?
22
Let k be 123/(-57) - 2 - -4. Suppose -3*q = a - 3*a - 12, a - 4*q = -16. Which is greater: k or a?
a
Let g = -29 + 31. Suppose -4*k + 2*l - 12 = -g*l, -4 = -4*l. Which is smaller: -4 or k?
-4
Let n = -91 - -74. Let w = 2.9 - 3. Are w and n nonequal?
True
Let i = 1 + -1.07. Let u = 190.1 - 219. Let j = -29 - u. Is i at least as big as j?
True
Let d = 0.9 + 0.1. Let m = d + -0.9. Let z = 2582 + -2568. Do m and z have different values?
True
Let n = -452 - -130. Let j = -227863/77 + 36108/11. Let x = j + n. Is x < 0?
False
Let d = -187 - -105. Let r = 575/7 + d. Is r greater than or equal to 1?
False
Let z = 397 - -704. Is z at most as big as 1102?
True
Let k = 3 + -5. Let v be k - (-2 + 18/(-33)). Let y be 1/(-6) - 7/(-6). Which is smaller: v or y?
v
Suppose 45 - 229 = -4*g. Let j be -3 + 4 - g/36. Is j greater than 0?
False
Let o be 590/8*1 - 19/(-76). Let t be (-14 - -10)*(-37)/2. Is t <= o?
True
Let b = 1044 + -17739/17. Let f = b + -1/34. Which is smaller: f or -0.1?
-0.1
Let n = 1128 + -1133. Is n < 35?
True
Let l = -9221/2310 + 378/55. Let t = l + -5/7. Let n = t + -2/3. Which is bigger: 2 or n?
2
Suppose -3*t + 4*q = 114 - 95, -3*t + q - 7 = 0. Let u = 78078/61 + -1280. Is u smaller than t?
False
Let o = -6/4859 + -476092/72885. Is -6 less than o?
False
Let x(u) be the first derivative of u**3/3 + 17*u**2/2 + 31*u + 43. Let q be x(-15). Which is smaller: -2/45 or q?
-2/45
Let d be 18 + 3 + -2 + -2. Suppose d - 5 = 2*w. Suppose -40 = -w*f + 10*f. Is -9 <= f?
False
Suppose -4*r + 13 = 5*t, 0 = 2*t + 3*r + 2*r - 12. Let k be -15 + 13 - -1*t. Do k and 0 have different values?
True
Let a(x) = 4*x + 5*x - x**2 + 6 - 7. Let y be a(8). Suppose 0 = l - 3*t - 0*t + y, -5*l + 4*t - 13 = 0. Which is smaller: -2 or l?
-2
Suppose -4*h - 13 = 719. Let n = -2747/15 - h. Suppose -5*j + 5*z - 15 = 0, -4*j = j - 2*z + 6. Is j at most n?
False
Let r = 5925 + -17951/3. Which is smaller: r or -58?
r
Let p = 9415/13 + -724. Let j = -0.4 + -1.6. Let i = 3 + j. Is p at most i?
True
Let m = 1965 - 1961. Which is smaller: m or -57?
-57
Suppose 0*q + 4*q - 4 = 0. Let m be (1 - 2)*(0 - q). Which is smaller: m or -2/5?
-2/5
Let h = -0.98 + 1.14. Let c = -0.84 - h. Which is smaller: -11 or c?
-11
Let c = 58 - 54.5. Is c < -3?
False
Let l be 1192*3/6000 - 2/4. Which is bigger: -1 or l?
l
Let q(l) = l**3 + 8. Let k be q(0). Suppose k*f - 3*f + 20 = 0. Let c(d) = -d**2 - d + 8. Let g be c(3). Is f greater than or equal to g?
True
Let s = 43 + -18. Let l = s - 27. Which is bigger: 0.2 or l?
0.2
Suppose -5*r + 326 = -339. Let j = 259/2 - r. Which is smaller: j or -3?
j
Let s(z) = 3*z**2 + 43*z - 57. Let o be s(-15). Which is greater: -157/6 or o?
-157/6
Let g = -7/822 + 3919/267150. Let x be (-1)/2600*(-1 - 990). Let o = x - g. Which is smaller: 1 or o?
o
Suppose 6*f = 68 - 26. Is f >= 22/3?
False
Let j be (-984)/(-40) + 2/5. Let m be j/(-10)*-2*3/(-10). Is 2 equal to m?
False
Suppose 0 = -3*k - j + 10, 0 = -2*k + 7*k - 4*j + 6. Suppose -5*b - k + 22 = 0. Suppose -q - q + b = -4*l, -4*l = q - 8. Which is bigger: -0.04 or l?
l
Suppose 5*y + 47 = -4*o, -2*o + 0*y = y + 19. Let c = -67 + o. Which is greater: -74 or c?
-74
Suppose -3*u = -j - 5, 5*u - 4 = -j + 15. Let f = -395 - -394. Which is bigger: u or f?
u
Let n = 2/297 + -1091/297. Let u = -12 + 16. Suppose 13 = -3*y - u*z, 0 = 3*y + z - 2 + 12. Is n > y?
False
Let w = 4 - 5. Which is smaller: w or -5/57?
w
Let k = -2 + -2. Let f = -204 + 198. Do f and k have different values?
True
Let c = -110 + 101. Let m(i) = -i**3 - 8*i**2 - 5*i + 5. Suppose q = -q - 14. Let z be m(q). Is z smaller than c?
False
Let b be 4 + -1 - (-6 - -25). Let g be (-38)/(-10) - b/(-20). Suppose 4*c - 5*q = -16, g*c + 1 = -q + 8. Which is smaller: c or -2/83?
-2/83
Let n(b) = -27*b + 1. Let r be n(-1). Let t be ((-8)/(-14))/((-8)/r). Let w be (t/12)/(50/(-60)). Which is bigger: -2 or w?
w
Let d be (1 + 3/(-2))/((-48)/(-1440)). Let p be 10/(-25)*d/6. Let o be (3/11)/((-3)/2). Which is bigger: o or p?
p
Let m = -12 - -9. Let h = -7 - -5. Let j = h - -2.1. Which is smaller: m or j?
m
Let t(d) = 2*d**2 - d + 7. Let y be t(3). Let k be (-58)/y - 0 - -4. Which is smaller: k or 0?
0
Let o = -7323528 - -4818879323/658. Let z = o - -45/14. Which is smaller: -1 or z?
-1
Suppose -5*f = -53 + 3. Let t be f/(-35) - 46/(-14). Let p be (8/20)/((-8)/(-60)). Is t less than or equal to p?
True
Let o be (-9)/(-1) + -36 + 28. Is -2/393 <= o?
True
Suppose 25 = -2*m + 13. Let n be m/12*12/(-57). Suppose 4*z = l + 4*l - 14, 5*z - l = -7. Is n greater than z?
True
Let u be 0/(0 + 1) + -32 + 31. Let w be 2/(-57)*129111/(-6). Let f = w + -755. Which is smaller: u or f?
u
Suppose -4*c - 4*w + 296 = 0, 5*w - 145 = -2*c + 2*w. Let b be (-176)/c*2/(-4). Is 2 >= b?
True
Suppose 4*m = 12, i = -9*m + 4*m + 123. Let d be i/(-96) - -1*1. Is d at most as big as 0?
True
Let p = -100 + 191. Which is smaller: p or 89?
89
Let r be (-35)/(-7) - (1 - (-18904)/4724). Is r greater than or equal to 0?
False
Suppose 3*c = -2*c - 2*p + 38, -5*p + 20 = 0. Suppose -c + 4 = o. Let i(a) = -a - 1. Let n be i(0). Is n less than o?
False
Let s be 1*(-13 + (-11 - 991)). Which is greater: -1014 or s?
-1014
Let f be 0/(-6*3/(-18)). Suppose -2*v + 110 = 3*v. Let t be 9/v*16/(-12). Which is smaller: t or f?
t
Suppose t - 5*z + 9 + 17 = 0, 4*t = z - 9. Are -6/29 and t unequal?
True
Let x(t) = -10*t. Let j(m) = m**3 + 5*m**2 + 1. Let q be j(-5). Let n be 1/(-1*1/q). Let s be x(n). Is s > 0.1?
True
Let l be 5/((-20)/(-224)) + 2. Which is greater: 56 or l?
l
Let w(s) = s**3 + 20*s**2 - 7*s - 22. Let g be w(-20). Let d be ((-10)/(-120))/(g/16). Which is smaller: d or 0?
0
Let l = -261/2 - -131. Let g = -212 - -3395/16. Which is smaller: g or l?
g
Let b(v) = -v**3 - 10*v**2 + 8*v - 25. Let n(l) = -l**2 - 5*l - 11. Let t be n(-5). Let d be b(t). Let p be -2*(d/(-10))/(-4). Is 2 < p?
False
Let l be (-144)/(-63) + (-2)/7. Suppose -l*t = -6 + 2. Suppose 0*a = t*a + 3*w - 21, 3 = -a + 3*w. Is -1/2 at least a?
False
Suppose -3*f = 16 - 4, 3*f = 2*v + 604. Which is smaller: 2 or v?
v
Suppose 0 = -2*k - 8, -2*l + 28 = l - 4*k. Let z be 204/(-24) - (-2)/l. Let x be z*(-12)/(-832)*4. Do x and -1 have the same value?
False
Let v(n) = n**3 + n**2 + 2*n + 1. Let c be ((-2)/4 + 1)*(-2 - -2). Let d be v(c). Which is smaller: d or -1/13?
-1/13
Suppose 0 = 23*m - 19*m - 48. Suppose 14*d - 34 = m*d. Which is greater: 91/5 or d?
91/5
Let u be -1*4*(-17 + 0 + 16). Let l(t) = t - 1. Let k be l(3). Suppose g = 2*c + 6*g - 13, -k*g + 14 = 3*c. Is u < c?
False
Let m(l) be the second derivative of l**3/2 + 27*l**2/2 - 15*l. Let w be m(-9). Let q be (3/(-2))/(6/5). Does q = w?
False
Let b(x) = -4*x + 28. Let d be b(12). Let n be ((-5)/(200/6))/(8/d). Which is bigger: n or 0?
n
Let a = 6.99 + -5.8. Is -1/3 bigger than a?
False
Let z be 1*((-5)/(-4) + -2). Let g = 3275 - 9824/3. Is z > g?
False
Let x = 3/25 + -77/225. Suppose 3*o = -0*o. Suppose 4*n = -j - 1, 4*n + 2 = -2*j - o*j. Is x > j?
True
Suppose 0 = b + 2*x - 10, 7*x - 25 = 2*x. Let p = 710 - 7807/11. Which is smaller: b or p?
b
Suppose 0 = -y - g - 6, y = -3*y + 2*g + 6. Which