 Are c and y equal?
False
Let s(m) be the second derivative of -m**4/12 + 7*m**3/6 + 7*m**2/2 + 22*m. Let d be s(7). Let a be ((-84)/(-306))/d*6/10. Which is greater: 1 or a?
1
Let j = 50 - 42. Suppose 4 = 2*u - 0. Suppose 3*c + j + u = 2*w, -3*c + 15 = 3*w. Is c at most 7/8?
True
Let u be (-2)/(-5) + (-9)/((-45)/1348). Suppose 0*c = -3*c + u. Suppose c = -f - f. Is f < -46?
False
Let u = 30.1 + -51.1. Which is bigger: 39 or u?
39
Let f be 6/11 + (-418)/(-121) + -4. Is f at most -8/37?
False
Let h(n) = 126*n - 10. Let i(m) = -63*m + 5. Let p(j) = 6*h(j) + 13*i(j). Let g be p(1). Let s = 58 + g. Which is smaller: 8/9 or s?
s
Let u be (-123382)/259798 + (-6)/(-11). Which is greater: u or -1?
u
Let l(n) be the first derivative of -n**2/2 - 28*n - 88. Let h be l(1). Are -32 and h unequal?
True
Let x be (-87)/609 + (-4)/(-28). Let v = 2563898/7931 - 3556/11. Which is smaller: v or x?
x
Let z = 0 - 0. Let d(g) = -g**2 - 4*g - 7. Let w be d(-7). Let u be w/(-266) + (-351)/3876. Which is smaller: u or z?
z
Let k be (-7 - (-91)/14)*-6. Suppose 108 - 282 = -k*l. Which is smaller: 60 or l?
l
Let r = -7.8 + -65.2. Let d = 182 - 252. Let f = d - r. Which is smaller: 9 or f?
f
Let z = -72 + 78. Suppose z*r + 19 = -23. Let x be r/((5 + -3)/(-2)). Is 5 bigger than x?
False
Suppose -12*d - 1592 = -20*d. Let w = 1245 - 1244.9. Is d bigger than w?
True
Let t be 1*(3 - 17) - 2. Let c be ((-36)/t - 2)/((-5)/(-4)). Which is smaller: c or 15?
c
Let n be 40/(-12)*12/(-10). Let m(k) = k**2 - 4*k + 1. Let u be m(n). Let z = -191 + 7641/40. Which is smaller: z or u?
z
Let c(g) = 2*g**2 - 5*g. Let t be (60 + -48)*1/(-3)*-1. Let y be c(t). Is y greater than -1?
True
Let k = -40857 + 40097.52. Let o = 4.48 + k. Which is greater: 0 or o?
0
Let l be (-2 - (-2 + 3)) + 26/((-4420)/210). Which is smaller: -4 or l?
l
Let o = -310 + 278.1. Let h = o + 31.8. Which is greater: h or 67/7?
67/7
Let s(q) = 33*q**2 + 9*q + 199. Let i be s(8). Which is greater: i or 2380?
i
Let f be (-7 + 4 - 2) + 8 - -1. Suppose 5*t + f*h + 5 = 0, -2*h - 31 = 4*t - 27. Let i be (-7)/(-6) - (-4)/(-6). Do t and i have the same value?
False
Let q = 989.9 - 988.9. Let g(y) = -55*y + 1. Let t be g(-1). Which is bigger: t or q?
t
Let r be -8*(-1)/28164*168/(-32). Which is greater: r or 0?
0
Suppose 0 = 90*z + 42*z - 132. Which is smaller: -28/235 or z?
-28/235
Let s = 1 - 0. Let t = -117/749 - -7957/26964. Which is greater: s or t?
s
Let m = -14 - 27. Let u = 11535/4 - 2843. Let b = m + u. Which is smaller: 1 or b?
b
Suppose -4*b + 14 = -i - 0*i, 2*b = 2*i - 2. Let k be 23/(((-3)/30)/(69/i)). Let t = -8020/3 - k. Which is greater: -29 or t?
t
Let m be (-3 - -5)*(-1 + 0 + 3). Let y be (-3 + (-36)/(-8))/(39/m). Let s = 22.1 + -22. Is s greater than or equal to y?
False
Let d be (-8)/(-6)*(-33)/(-2). Let y = 242 - 223. Is d bigger than y?
True
Let g = -7999/3 - -2741. Let w = g - 76. Let j = 6 - 6.1. Is w at most j?
True
Let t be ((-11)/33*-6)/(-5). Let v be 339 - 0 - (9 + -9). Let h = 7121/21 - v. Which is bigger: h or t?
h
Let c be 12*(2 + (-4)/(-4) + -2). Suppose 0 = c*d - 271 + 7. Let h be d/(-33) - (-40)/69. Is 2/9 not equal to h?
True
Let v = -4962916/11 + 451170. Suppose -3*a + 2*a = 5. Which is smaller: a or v?
a
Let p be -1 - (-1 - (2 - 2)). Suppose p = -4*m + 15 + 1. Let f(l) = 2*l**2 - 3*l - 11. Let u be f(m). Are u and -1/3 non-equal?
True
Let w = 19 - -29. Let b = -394 - -451. Let c = b - w. Which is smaller: 8 or c?
8
Let c = -248 + 216753/874. Let p = c - -33430/437. Are p and 77 unequal?
True
Suppose 17*q + 7362 = 26*q. Suppose 5*j - 1 = -2*s - 544, 4*j = -3*s - q. Are -275 and s nonequal?
True
Suppose 393*i - 4*f + 30 = 391*i, -4*i + 2*f - 18 = 0. Which is smaller: i or 1/8580?
i
Suppose 5*u - 2*t - 3*t + 25 = 0, -4*t = -3*u - 20. Suppose 3*x - 49 = 2*h - u*x, -h + 2*x - 27 = 0. Let f = -7412 - -7395. Is h at least f?
True
Let f be 4/2 - 6*(-1 + 7). Let t = f - -36. Let z be 3 + (t/8 - (-166)/(-56)). Which is greater: z or 0?
z
Let l = 196 - 195.37. Let z = 0.23 - l. Is z less than 1/6?
True
Let t = 294 + -203. Suppose -8*b - 323 + t = 0. Do b and -31 have the same value?
False
Let l = 0 - 5. Suppose -3*f + 2*v - 26 = 3, -4*v + 13 = -f. Let s be 0 - (1/2 + (-4 - f)). Is l >= s?
True
Let k(l) = 20*l**2 - 17*l - 39. Let t be k(-2). Let g be (8/(-10))/((-120)/t). Which is bigger: g or -2/639?
g
Let b be (-83)/2 - 2/4. Let c be (2/5)/(13823/3450 - 4). Let u be (-2)/b*c/(-110). Is -1 at most as big as u?
True
Let u be 2/7 + (-80)/35 + 6. Suppose 4*m - 48 = 4*o, 42 = 4*m + 2*o - u*o. Let n be (12/(-9))/((6/m)/2). Is n <= -6?
False
Let c = 66 - 31. Suppose -34*t = -c*t. Suppose -v + 47 = g - t*g, -3*v = -2*g - 141. Is v less than or equal to 47?
True
Let j = -10242165/13 - -788251. Which is smaller: 393 or j?
j
Let i = -228 + 288. Suppose -44 = 2*h + i. Which is greater: -49 or h?
-49
Suppose 3*c + 12 = 0, 7*o - 2*o - 209 = c. Suppose -o*u + 777 = -20*u. Are u and 36 equal?
False
Suppose g + 15 = 4*f, -25*g - 14 = -23*g - 4*f. Is g at most 30/119?
False
Let b be (8/4 - 3)/1*99. Let f = -3/2369 + 7119/9476. Which is smaller: b or f?
b
Let u(w) = -2*w**3 - 30*w**2 + 11*w + 208. Let g be u(-15). Suppose 0 = -3*d + 5*d - 5*a + 34, -27 = 5*d + 2*a. Let y = d + g. Are y and 36 unequal?
False
Let k = 10870 + -10905. Which is smaller: k or -9?
k
Let d = 1438 + -1403.64. Let k = -55 - -54.36. Let t = k - d. Which is greater: 2 or t?
2
Let z = 10701 - 12477365/1166. Which is smaller: z or -1?
-1
Let a(z) = -3*z**2 - 55*z + 243. Let j be a(-22). Which is smaller: j or 13/148?
13/148
Let q be (-6)/(-9)*171/38. Let o = 6168/1967 - -2/281. Is o != q?
True
Let p = -2/257 - -572/7453. Suppose -w - 2 = 2*t - 14, 2*w - 19 = -3*t. Let u be w*(11/2)/11. Is u at least as big as p?
True
Let x = 2/31 - 68/93. Let r = -66.7 - -2.7. Let d = r + 31. Which is smaller: x or d?
d
Let y = 19 + -11. Let n = y - 7. Let k be 0/(-2 + 0 + n). Are k and 13/4 non-equal?
True
Let l(x) = -x**3 + 23*x**2 - 12*x - 68. Let v be l(10). Which is bigger: 1111 or v?
v
Suppose 2*v + 4 = 0, -2*d = 3*d - 5*v - 65. Let s be d/(-10) + 4 + -3. Let j(y) = -4*y - 29. Let h be j(-7). Which is greater: h or s?
s
Let q = -849/2 - -424. Let c be (-7)/(-2) + 2/4. Suppose x + 4*r = 5*x + c, -2*r = -x - 2. Which is greater: q or x?
x
Let v = 32380 - 32377. Is 262/7 bigger than v?
True
Suppose 92 = 2*j + 2*j. Let z = 0.259324 - 0.059324. Which is greater: j or z?
j
Let x(m) = 7*m**2 - 23*m + 68. Let j(f) = 13*f**2 - 46*f + 137. Let i(v) = -6*j(v) + 11*x(v). Let d be i(18). Which is bigger: d or 14?
d
Let s be 1/2*(-204)/34. Let i(y) = 3*y**2 + 1. Let m be i(1). Let w be (m + -19)*(2 - 12/5). Does s = w?
False
Let k = 3792 - 3796. Which is greater: k or 389?
389
Let n = -0.0217 - 294.9783. Let f = n - -296.3. Which is greater: f or 0.3?
f
Suppose -93 - 171 = -8*q. Let t be 1*11/(q/348). Which is greater: 0 or t?
t
Let d = -38.9 + 37. Let y = 17.1 - d. Let f = -1855 - -1854.8. Does f = y?
False
Let s be 4*62/12*135/18. Suppose -9*i + 164 = s. Which is smaller: -2/1249 or i?
-2/1249
Let g = -276.99 + 274. Let l = 1.99 + g. Which is greater: -13 or l?
l
Suppose -62*n - 187 = -2605. Let g = -0.1 + 0.4. Which is smaller: g or n?
g
Let d = 5.279 - 0.179. Let g = 16.5 + -22. Let z = g + d. Which is smaller: z or -1?
-1
Suppose -3*b + 110 = -2*u, 150 = -2*b + 6*b - u. Suppose 0 = -237*r + 924*r - 26106. Is b > r?
False
Let u = 88 + -159. Suppose -2*x = h - 60, 17*h - 110 = 15*h + x. Let g = h + u. Is -16 greater than g?
False
Suppose 0 = -35*w + 78 + 62. Let u(p) = -2*p**3 + 4*p**2 + 4*p + 13. Let g be u(w). Which is greater: -181/5 or g?
g
Let z = -156907/136866500 - -15/14407. Which is bigger: z or 0?
0
Let q = -23 + 5. Let a = q - -20. Let v be -4 - (-7)/(7/12). Is v less than a?
False
Suppose -5*f + 4*s = 59, 2*f + 0*s = -5*s - 50. Let j be (-1 - 2154/15) + 6/f. Do j and -146 have the same value?
False
Let s = -1428 + 1429. Is 17/13 less than or equal to s?
False
Let q(h) = -284*h - 1153. Let s be q(-4). Suppose 4*x = -x. Let i be 2 + -2 - (x + 17). Is s >= i?
True
Let c = -847.1 - -878.1. Are -356 and c nonequal?
True
Let w = -1400 + 884. Let o be (-2)/23 - w/2760. Is o less than 1?
True
Let j(y) be the third derivative of -y**6/120 + y**5/12 + y**4/4 + y**3/6 