 = 3*c - 9. Which is smaller: n or c?
n
Suppose -5*n + 2*n - 3*b - 15 = 0, 4*n + 3*b = -20. Let z = 52.92 + 0.08. Let x = z + -53.1. Is n smaller than x?
True
Suppose 5*h - 24 = y, -4*y + 6 + 13 = 3*h. Let m = y - -2. Are 2 and m non-equal?
True
Let q = -18/13 + -167/39. Is q less than -5?
True
Let h be (-3)/(7 - 959/42). Which is greater: 0 or h?
h
Suppose 6*f = 394 + 506. Which is smaller: f or 151?
f
Suppose -5*z = 2*z + 28. Let g be (z/60)/((-1)/(3 - 2)). Let w be (-1*2)/(2 - 4). Which is bigger: g or w?
w
Let l = 8/3 - 7/3. Let o = 40 - 40.07. Let j = -0.01 - o. Is j greater than or equal to l?
False
Suppose -50*l - 8307 = -41*l. Is l < -922?
True
Suppose -4*u = -988 + 1628. Is -484/3 less than or equal to u?
True
Let w be 3/((-6)/(-80))*32/(-40). Let g = -34 - w. Let i be -4 - (-4 - (1 + -3)). Is g at least as big as i?
True
Suppose -5*v - 5*i + 30 = 0, -2*v - 5*i - 5 + 17 = 0. Suppose 8*u = 10*u + v. Does u = -6?
False
Let x(f) be the first derivative of -3*f**2/2 + 12*f + 6. Let y be x(12). Which is bigger: y or -25?
y
Suppose 2*b + 20 = 7*b. Let s be (4 + 5 - b)/(-1). Let i be (s/20)/((-3)/(-3)). Which is smaller: 1 or i?
i
Let o be (-1)/((-22)/4) + (-9332)/(-220). Which is greater: 43 or o?
43
Let m = 2/21 - -4/21. Are 1 and m equal?
False
Let y(o) = -o**3 - 17*o**2 - 15*o + 16. Let n be y(-16). Suppose -2*z + 3*z = n. Is 5 at least as big as z?
True
Let y be 2/((-5)/(-1065)*-2). Is -213 at least as big as y?
True
Let q(c) = 12*c - 5*c - 3*c**2 + 0*c - 6. Let x be q(4). Are -1/4 and x unequal?
True
Let c = 1011 + -1012. Which is greater: c or -1007?
c
Let n be (-4)/(-258)*(-22 + 28). Is n at least as big as -1?
True
Let w = -4810 + 4821. Let h = -4 + 3.1. Let y = 0.1 - h. Is w greater than y?
True
Let t = 25 + -65. Let b = t - -37. Which is smaller: -4 or b?
-4
Suppose 4*r - 250 = -66. Let m = r + -45. Which is smaller: m or 4?
m
Let l = 28 - 82/3. Let f(g) = -2*g + 12. Let m be f(6). Suppose m*h + 3*i = -h, 2*i + 10 = -4*h. Is h at most l?
True
Let v = 320 - 183. Are -1 and v unequal?
True
Let f(d) = d**2 + 5*d + 3. Let p be f(-5). Let o be ((-1)/p)/((-2)/(-114)). Let i(r) = -3*r**2 + 12*r + 18. Let z be i(-2). Do o and z have the same value?
False
Let c(x) = 1. Let m(d) = -d - 9. Let w(a) = 2*c(a) - m(a). Let t be w(-11). Let o be (-2)/(t + -2) - 0. Is -2/59 >= o?
False
Let l(c) = 8*c**2 + 29*c - 10. Let s be l(-5). Do s and 41 have the same value?
False
Let y = -126 + 70. Let t be 120/(-2)*y/(-42). Which is smaller: t or -81?
-81
Let c be ((-4)/(-16))/(6/12). Which is greater: c or 1/27?
c
Let l = 1.1 + 10.5. Let d = -11 + l. Is d < -1/2?
False
Let b = -69 - -127. Let m = b + -57. Which is greater: m or 86?
86
Let j(c) = c**3 - 12*c**2 + 11*c - 7. Let x be j(11). Let t be ((-4)/10)/(x/35). Suppose 0 = -t*p + 4*v - 12, -3 = -p + v - 2*v. Which is smaller: 2 or p?
p
Let f = 15.51 + 7.49. Which is smaller: 0.3 or f?
0.3
Let o(r) be the first derivative of r**3/3 + r**2/2 - 2*r - 5. Let f be o(-2). Let z be f*(-2 - -1) + 0. Which is bigger: 2/3 or z?
2/3
Let s = 51 - 29. Suppose 42 = 4*f - 2*m + 10, 4*m + s = 2*f. Which is smaller: f or 8?
f
Let l be 7 + (-2 - (-284)/20). Which is smaller: 20 or l?
l
Suppose 2*k + 0*k = 0. Suppose -18 = -6*v - k*v. Let h = -881/6 + 149. Are v and h unequal?
True
Let y = 2.3 - 2.5. Let z = -12 + 9. Is y at most z?
False
Let l = -0.102 - -0.027. Is l >= 2/11?
False
Let f = -38 - -17. Suppose 102*d + 861 = 61*d. Is d at most f?
True
Let h(o) = o**2 + 4*o - 1. Let x be h(-5). Let u be x/3 - (8 + -7). Which is bigger: u or -3?
u
Suppose -2*m = -5*t - 20, 4*m + 4 = 2*m - t. Suppose m = 7*r - 3*r - 24. Let y = 5 + -2. Which is smaller: y or r?
y
Let w = -47 - -139/3. Let f = -23 - -25. Suppose 11*k = f*k - 9. Is k equal to w?
False
Let d(v) = -32*v + 32. Let n be d(1). Which is greater: n or 4/223?
4/223
Suppose c = 2*y - 13, 3*y + 13 = -5*c - 0*y. Let x = -145 + 138. Is c > x?
True
Let r = 22/35 - -23/35. Let j = 30 + -28. Which is greater: r or j?
j
Let g be (-3 - (-9)/3)/(-1). Suppose 0 = 5*t + 15, -2*r + 2*t + g - 2 = 0. Let k be 14/r*(-24)/(-12). Which is smaller: -8 or k?
-8
Let u = -4 + -8. Let t be (6/u)/((-1)/(-14)). Let c be (3 - (-16)/(-6))/((-8)/160). Which is smaller: t or c?
t
Let f be (-27)/18*((-4)/6 + -4). Let w be (2*(-9)/(-2))/1. Is w less than or equal to f?
False
Let z(h) = -5*h + 135. Let u be z(31). Is u at least as big as -2/35?
False
Let o = 28 - 27.4. Let u = o - 0.74. Is u less than or equal to -1?
False
Let v = -8.8 + -39.2. Let c = v + 46. Which is smaller: -0.07 or c?
c
Let f(d) = -d**2 - 17*d - 24. Let q be 4/((-2)/(11 - 3)). Let c be f(q). Which is smaller: c or -7?
c
Let t = -3.55 - -3.697. Is t bigger than -2/7?
True
Let h(c) = c**3 + c**2 + 1. Let g be h(-1). Suppose 4*m + 3*x - 1053 = 8*x, 0 = 4*m - 3*x - 1059. Let n be (m/29)/(-3) - (0 + -3). Is g smaller than n?
False
Let b(v) = -26*v**3 + 517*v**2 + 59*v + 66. Let f be b(20). Let h = -3 + 2.9. Which is greater: h or f?
f
Let d be (-5)/25 - 26/20*-4. Which is smaller: d or 2?
2
Let u = -236.4 - -236. Which is smaller: 1/4 or u?
u
Let p = 856 + -861. Let v = 4.1 - 4. Which is bigger: p or v?
v
Suppose 8 = 4*b - 20. Suppose -3*y = 5*f - 130, -b*f + 155 = 4*y - 4*f. Is y less than 34?
False
Suppose -3*f - 2*o = 55, 5*o = -0*f - 2*f - 55. Let v(d) = -15*d + 300. Let s be v(20). Is f greater than s?
False
Let t = 1946 - 1943.3. Let s = -5 - -3. Which is bigger: t or s?
t
Suppose 508*l = 512*l - 220. Is 59 equal to l?
False
Let v be 29 + -28 + (-50)/44. Does 3/5 = v?
False
Suppose -c = c + 3*u - 12, 3*c - 2*u - 5 = 0. Suppose -m = c*m + 4. Let y be 16/20 + m/(-5). Which is smaller: y or -2/7?
-2/7
Let o = -18.3 + 20.3. Are o and -2/183 non-equal?
True
Let t = 0.23 - -22.77. Let p = 5.8 - -18.2. Let b = p - t. Is 10 at most as big as b?
False
Let p = -23 + 34. Suppose -p = 8*l - 7*l. Is -10 != l?
True
Let o be 256/56 + -4 - 0. Is -59 greater than o?
False
Let j = 3881/5 - 777. Do -25 and j have different values?
True
Let j(i) = -2*i**2 - i + 86. Let w be j(0). Suppose -5*d + 3*f + 22 = -w, f = -1. Suppose d = -4*n - 15. Is n at most as big as -9?
True
Suppose 2*n = 3*j - 6, -12*j + 6 = -13*j - 2*n. Which is greater: 16/61 or j?
16/61
Suppose 8*l = 4264 - 536. Is l not equal to 467?
True
Let u be -48*13/(1976/(-16)). Does u = 6?
False
Let s be 19/(2 + (-2)/2). Let v(l) = 2*l**2 + 74*l + 20. Let p be v(-37). Let z = p - s. Is z greater than 1/29?
True
Let b be 10/30 - -34*5/(-460). Which is greater: -1 or b?
b
Suppose 35 = 4*n - 33. Let r be (-88)/(-1037) - 2/n. Which is greater: 1 or r?
1
Suppose 3*n + 0 - 3 = 0, -n = -3*g + 35. Suppose -3*w - 1 = 4*q - 32, q - g = -w. Which is smaller: 18 or w?
w
Let c be (3 - (-33)/(-12))*-2*892. Is c less than -445?
True
Suppose -4*r + 246 = -2*r. Which is bigger: 122 or r?
r
Let t be (-6)/10 + 43/5. Let r be (6/32)/((-54)/t + 2). Which is greater: 0 or r?
0
Let y(l) = -l - 381. Let t be y(-5). Which is greater: -377 or t?
t
Let x = -1349 - -1387. Which is bigger: 37 or x?
x
Suppose -186*z + 30 = -2*c - 181*z, c - 5*z = -25. Which is bigger: -29 or c?
c
Let b = -171 - -15. Let s be ((-16)/b)/(4/6). Which is smaller: 0 or s?
0
Suppose 0 = -5*y - 27 + 12. Let p be -1 - ((-1)/y)/((-4)/12). Is -2/65 less than or equal to p?
True
Let h be (-14)/35 + 105/75. Let r be (-2)/(-6) + (-1)/3. Is h smaller than r?
False
Let k(y) = y**3 + 23*y**2 - 25*y + 22. Let w be k(-24). Suppose 46 - w = -6*x. Is x bigger than -3/14?
True
Let d be 4 + 0/(-4) - 10. Let h be 1*d/((-30)/55). Suppose c = 2*c - 4*q - h, -4*c = -4*q - 8. Are c and -5/7 nonequal?
True
Suppose 0 = 4*u + s - 20, 5*s - 23 - 13 = -4*u. Suppose -4*k + 4*h = u, -3*h + 2 + 1 = -5*k. Is k less than -3/17?
False
Suppose -2*d = -2*p - 10, -2*p - 4*d - 40 + 6 = 0. Let w(o) = o + 8. Let q be w(p). Let a = 0.1 + 0. Which is smaller: a or q?
q
Suppose 2*f = -0*u + 3*u + 10, 3*f = -3*u. Let b be (-2 + f + -2)*(1 + 18). Which is bigger: -39 or b?
b
Let g(h) = 37*h**3 + h**2. Let f be g(1). Let b be f/154 - 36/84. Is -1 <= b?
True
Let c = 1.9 - 2. Let q be (-4 + 115/30)*(-90)/40. Is c at most q?
True
Let r = -2043/584 + -1/584. Which is smaller: 0.27 or r?
r
Suppose -21 = o - 3*o + 3*b, -4*o + 52 = 4*b. Let p be (-8)/o*3/(-2). Let a be (-4 - (1 - 4)) + 