243/5 - 250. Suppose 0 = 411*r - 416*r - 10. Is r less than h?
True
Let g(z) = 3*z**2 + z - 1. Let y be g(1). Suppose 44 = -y*k - k. Suppose 2*p - 14*p = 120. Is p at most as big as k?
False
Let n(z) = 2*z**2 + 13*z - 7. Let p be n(-7). Which is smaller: p or -5/11?
-5/11
Let k be 198/12*(-4)/3. Suppose 77 + 70 = -7*y. Is y != k?
True
Let w(z) = -z - 374. Let j be w(-9). Is j less than or equal to -365?
True
Let t be 12/54 + (-1880)/36. Which is smaller: t or -54?
-54
Let p = 330 + -299. Is -4 > p?
False
Let o = -37 - -65. Let a be (o/(-21))/((-44)/30). Is a < 1?
True
Let g(x) = 2*x**2 + 46*x - 40. Let v be g(-24). Which is greater: 10 or v?
10
Let a(d) = 2*d**3 - 3*d**2 + 5*d + 3. Let x(v) = -v**3 - v - 1. Let p(j) = a(j) + 4*x(j). Let y be p(-2). Are y and 30 nonequal?
True
Let i(d) = 2*d - 17. Let k be i(9). Let n = k + 1. Which is bigger: 3/4 or n?
n
Suppose 16*f - 12 = 13*f. Let j be ((-48)/(-14) - 2)/(f/7). Is j != -3/4?
True
Suppose -44*c = -41*c - 3. Which is smaller: -7/86 or c?
-7/86
Suppose 4*w - 28 = -2*l, -5*w - 5 = -3*l + 4. Suppose 0 = l*t - 3*t - 50. Suppose -5*z - 3*c - 13 = -64, 5*z + c = 47. Do t and z have the same value?
False
Let m(v) = 2*v - 26 + 13 + 26. Let y be m(-7). Suppose 0 = t + t + 3*f - 10, -t - 3*f = -8. Is y equal to t?
False
Suppose c = 4, -3*x + 3*c + 278 = -202. Which is smaller: x or 161?
161
Suppose -104*y = -97*y + 2359. Is -337 > y?
False
Let r = 7.7 + 0.3. Let u = 6.23 - -1.67. Let d = r - u. Is d at most 0.02?
False
Suppose 5*q = 4*u - 62, -4*q + 12*u = 8*u + 52. Let b be 2*33/q + 4/(-10). Which is smaller: -3 or b?
b
Let w be -1*(-7)/(28/(-48)). Let z be (-16)/w*3/2. Let v be ((-20)/8)/(z/(-4)). Is v < 7?
True
Suppose 2*g + u = -220, u = -3*g + 2*g - 110. Let s be 20/g - (-24)/11. Suppose 20 = r - s*t, -6*r + r + 5*t + 85 = 0. Does 14 = r?
True
Let a(m) = 3*m**3 - 14*m**2 + 14*m - 5. Let s(q) = -16*q**3 + 69*q**2 - 69*q + 26. Let r(u) = -11*a(u) - 2*s(u). Let c be r(15). Is c equal to -13?
False
Let s = -773 + 774. Is s less than or equal to -8/121?
False
Suppose -q - 3*q - 3*u + 60 = 0, -2*u - 40 = -4*q. Which is smaller: q or 16?
q
Let i be (5 + 264/(-54))/81. Which is smaller: i or 1?
i
Let c be ((-6)/(-1 - 2))/(-2). Suppose -3*k = -2*k + 10. Let d = k - -4. Which is greater: c or d?
c
Let j = 16 + -15.8. Is j greater than or equal to -47?
True
Let k = -90 - 0. Let w = k + 62. Let j be (-2)/(-5) + w/20. Which is smaller: 1 or j?
j
Let x = -51 - -31. Let d = 15/2 + -8. Which is smaller: d or x?
x
Let g = -17.17 + 0.17. Let j = 33 + g. Let u = j - 16. Which is greater: 7 or u?
7
Let j(t) = t**3 - 3*t**2 + t - 4. Let z be j(3). Let w be -3*1/(12/(5 - 1)). Let d be 0 + 3 + w*(8 - 3). Which is bigger: d or z?
z
Let f(d) = d**3 + 3*d**2 - 6*d + 2. Let y be f(-5). Let x be (322/(-276))/((-1)/(-6)) + 1 + -12. Is x < y?
False
Let k be (6/(-80))/((-15)/(-60)). Are k and 0.01 non-equal?
True
Let g be 0 - (-3 + 3) - -2. Suppose 0*y + 3*d - 59 = g*y, -y - d - 32 = 0. Let a = y + 61/2. Which is smaller: a or 4?
a
Let i = -56 + 95. Let j be i/21*-79 + 2. Let k = j + 145. Are k and 0.3 nonequal?
True
Let x = -135 - -135. Which is greater: -8 or x?
x
Let c(p) = p**3 - 6*p**2 + 4*p - 3. Let d be c(5). Let h = 678 + -677. Are h and d unequal?
True
Let w be -1 - -2 - (-3988)/16. Let v = 253 - w. Which is bigger: v or 2?
v
Suppose -v + 2*r = 8, v - 4*r + 30 = 6*v. Let j be 2/7 + (-10)/35. Suppose j = 3*x - v*l - 15, 3*l - 2*l - 6 = -3*x. Which is smaller: -0.2 or x?
-0.2
Suppose 81 = 4*c - 3. Let z = c + -19. Suppose -3*y - z*y = -20. Is y >= 5?
False
Let i be 8/(-6)*9/(-6). Let o be 1/i - (-24)/(-16). Suppose 2*g = 5*x + 7, -6 = 2*g - 4*g + 4*x. Are o and g unequal?
True
Let j be (-1)/(-3)*(3 + -3). Suppose j = 3*q + 4*f - 14, -3*f = -q + 17 + 5. Let l be (-5)/(-35) + q/(-119). Which is smaller: -1 or l?
-1
Let r(p) = p**2 + 11*p + 16. Let x be r(0). Let d be (-586)/(-36) - 2/(-9). Is x greater than or equal to d?
False
Let n be (-3)/4*16/(-20). Let t = 1215 - 1207. Is n less than t?
True
Let k = -125 - -3874/31. Let r = 88/155 - k. Is 1 smaller than r?
False
Let a = 2 - 1.7. Let c = 0.1 + a. Let y be (2 - 10) + -1 + (-29)/(-3). Is y > c?
True
Suppose 0 = -6*a + 193 - 55. Are a and 5 nonequal?
True
Suppose 6 = -a - p - p, -5*p + 48 = -2*a. Let x be ((-12)/9)/1 - a/6. Which is bigger: 8/9 or x?
x
Suppose -4*n + 1 + 13 = -z, z = n + 1. Let u be 2 - z - (-264)/78. Suppose -2*a = -3*a. Is a < u?
False
Let d(v) = v**3 - 18*v**2 + 47*v - 29. Let t be d(15). Which is smaller: -4/555 or t?
-4/555
Let u = 1/138 - -263/1794. Let l be 64/80*1/(-2). Is l less than u?
True
Suppose -4*a = -4*b - 0*b - 24, 0 = 5*a + b. Let n be 1*33*1/a. Let x be 36/n*(-5)/20. Is x not equal to -1?
True
Suppose 52 = 2*f + 3*f + 3*v, 44 = 4*f + 3*v. Let r = f - 10. Let b(a) = -a**3 - 3*a**2 - 3*a - 1. Let k be b(r). Do -2/5 and k have the same value?
False
Let j = 0.114 - 2.814. Let q = j - -7.7. Let z = 1 + -1.2. Which is smaller: z or q?
z
Suppose 14*c = -0*c + 336. Which is greater: 121/5 or c?
121/5
Let s = -24 - -24.7. Let x = -19.3 - s. Let m = 21 + x. Do m and 1/4 have the same value?
False
Let a(q) = 2*q + 2. Let s be a(2). Let d be 0 + -1*s/(-21). Let z be (-1 - -2)/(10 + (-118)/12). Is d < z?
True
Suppose -8 = w - 5*w. Let r be (-9)/432*-8*(8 + 0). Does w = r?
False
Let c be ((-1)/2)/(30/(-48)). Let s be -2*(-1)/8 - (-14)/8. Which is greater: c or s?
s
Suppose -4*n - 34*b - 13 = -33*b, 0 = -2*n - 5*b - 11. Let f(t) = 2*t + 1 + 0 - t. Let y be f(-1). Is n < y?
True
Suppose 0 = w - 3*w + 2, 0 = -2*v - 4*w + 2. Is v greater than 2?
False
Suppose -2*r = -r - 3*u - 9, 4*r - 22 = 5*u. Let j be 35/(-30)*(-1 + r). Which is bigger: j or -1?
-1
Suppose 2*r + 3*r - 15 = 0. Suppose 0 = -r*q - 21 - 0. Let y = q - -15/2. Which is smaller: y or 3?
y
Let h = 2452 + -41762/17. Let c = 115405151/153 - 754277. Let l = c + h. Is 1 greater than l?
True
Let z = 4.37 + -4.37. Is 13 <= z?
False
Suppose -u = 3*d - 2, 2*d = 7*u - 3*u - 8. Suppose 0 = 2*r + 4, 0 + 4 = -2*z + 2*r. Let w be (-3)/(-15)*z - -1. Which is greater: w or d?
w
Let w(m) = -5*m**2 + 73*m + 19. Let s be w(0). Let o(g) be the first derivative of -g**4/4 + 2*g**3 + 3*g**2/2 + g + 1. Let l be o(6). Are l and s equal?
True
Let b be 32/(-36)*3*3/12. Is 16 equal to b?
False
Let c = 1450/11 - 5191/66. Let f = -101/2 + c. Is 2 at most f?
True
Let a be (-60)/55*(-10)/(-15). Which is smaller: -2 or a?
-2
Let o = -737 + 738. Which is greater: 236 or o?
236
Let g(f) = f**3 - 8*f**2 + 7*f + 2. Let i be g(7). Let a be 130/287 - (i - (-77)/(-49)). Do a and -1 have the same value?
False
Suppose 0 = 3*p + o - 14, -2*o + 10 = -0*o. Suppose -4*s + 30 = 2*q, -4*s + 0*q + p*q + 15 = 0. Let g be ((-1)/4)/(s/12). Does -2 = g?
False
Suppose -2*o + 18 = o. Let t be (2/(-3))/((-1)/o). Suppose -5*y + 3*k - 12 = 0, t*y = -0*y + 2*k - 8. Which is bigger: y or -1/5?
y
Let g be 5/60*21*-4. Let p be (3 - 1)*(-10 - g). Let m be (-36)/(-45) + p/(-5). Does 3 = m?
False
Let r(q) = 48*q - 1. Let x be r(0). Let i = -262/5 - -16486/315. Which is greater: i or x?
i
Suppose -359*d = -355*d - 388. Which is smaller: 98 or d?
d
Let h be (-4)/3 - (-19464)/(-36). Is -544 bigger than h?
False
Suppose -4*w + 40 = -2*w. Suppose -3*d + w = 2*d. Let g = d - 3. Which is bigger: g or -2/21?
g
Let f(a) = 1484*a + 17 - a**2 - 1484*a. Let k be f(5). Is k != 4?
True
Let w = -1479 - -7427/5. Is w at most as big as 1/2?
False
Let l(s) = 7*s + 22. Suppose 9 + 7 = -4*v. Let x be l(v). Is x bigger than -23/4?
False
Suppose 5*v - 16 = 49. Is v at least as big as 9?
True
Suppose -2*x = -40*x + 76. Which is greater: x or 6?
6
Let y(b) = -6*b**3 + b**2 - 1. Let i = 3 - 4. Let l be y(i). Are 4 and l unequal?
True
Let b = -36.1 + 36.2. Which is bigger: b or 0.81?
0.81
Let d(n) = -n**2 - 10*n - 20. Let y be d(-7). Suppose -y + 3 = 2*z. Let i = 23/58 - -3/29. Which is smaller: z or i?
i
Let i = 7/40 + 121/40. Is 3 at least as big as i?
False
Let g = -19 - -18. Let c = 205/2 - 10459/102. Are c and g non-equal?
True
Let d(y) = y**3 - 65*y**2 + 127*y - 48. Let o be d(63). Let c(n) = 11*n + 2. Let h be c(2). Let i = -10 + h. Is i > o?
False
Let n(z) = 24*z + 2. Let y be n(-2). Let m = 42 + y. Which is smaller: m or -3?
m
Let z be (-578)/204 - 10/(-12). Let l = 