**2 + 4*k + 3. Let t be m(z). Are -3 and t equal?
False
Let c = -90 - 163. Which is bigger: c or -252?
-252
Suppose 0 = -o + 2, 2*c - 14 = -4*o - 2. Suppose 0 = 2*w - 4*j + 3*j - 6, -3*w - 4*j = c. Suppose 5*s = 2*s + 3*r, 1 = -w*s + 3*r. Which is smaller: s or -7?
-7
Let q = -285/3377 + -2/307. Let r(m) = 19*m**2 + m. Let y be r(1). Suppose 17 = -5*o - 3*b, -5*b + 0 = y. Is o greater than q?
False
Let y = 0 + 5. Let d(g) = g**3 - 5*g**2 + 2*g - 5. Let b be d(y). Suppose -b*f + 0*f = -5. Is f bigger than 3/5?
True
Suppose 14*d - 2*d = -468. Are d and -40 non-equal?
True
Suppose h = 5*t - 468, 2*h = -5*t - 90 + 549. Is 92 at most t?
True
Suppose w - 20 = -24. Let p be ((-4)/14)/(w/14) + 7. Is -1/4 at least as big as p?
False
Let g = -13 - -13. Suppose -5*b - 17 - 53 = g. Which is smaller: b or -13?
b
Let t = 20 - 16. Suppose 0 = -m + 2*o, t*m + o - 3*o - 6 = 0. Is m greater than or equal to 10/7?
True
Let a = -3.666 + -0.034. Let u = -5.4 - a. Let m = -3.7 - u. Which is greater: -8 or m?
m
Let z be ((-6)/(-90))/((-6)/(-15)). Is -84 less than z?
True
Suppose -m = -5*b + m - 113, 5*b + 109 = m. Let w = -22 - b. Is w at most 1/7?
True
Let s(f) be the first derivative of -f**3 + 13*f**2/2 + 10*f + 31. Let i be s(5). Is i <= -3/74?
False
Let a(s) = 2*s**3 - 14*s**2 + 23*s - 14. Let o be a(5). Let p = 157/3 + -3299/63. Is p equal to o?
False
Let w = 4.9 - 4. Let t = -15.1 - -16. Let z = w - t. Do -0.1 and z have the same value?
False
Let b be (-2)/(-5) + 1/(-2). Let h be 30/(-16) + 6/2. Let l = -43/24 + h. Which is smaller: l or b?
l
Let k be ((-13)/26)/(749/(-4)). Let t = 1612/42693 - k. Which is smaller: t or 1?
t
Let f = -2/377 - 369/1508. Is f bigger than 9.3?
False
Suppose -13*k = -9*k - 88. Let i be 26/k + 12/(-66). Is -2/17 at least i?
False
Suppose 0 = -6*c + 3*c + 9. Suppose -4*w + 3*w + 72 = 0. Let x be (-2)/(-3) - (-60)/w. Is x < c?
True
Let k = -243 + 235. Is -2/7 greater than or equal to k?
True
Suppose 10 - 2 = -2*m, -47 = -j - 5*m. Let q = j + -69. Is q at most as big as -3?
False
Let z be 32/176 - (-392)/(-2398). Is z at most as big as 0.4?
True
Let p = -130 + 57. Let w = p + 11. Is -63 equal to w?
False
Let x = -17 - -80. Is 63 not equal to x?
False
Let p be 24*(3 + (-34)/8). Let f = -23 - p. Suppose 6 = -6*o + f*o. Is o < 7?
True
Let w = -14 - -11.9. Let q = 2 + w. Suppose -7 = -m - 12. Which is bigger: q or m?
q
Let w = 11 + -8. Let f = -18 - -12. Let n = w + f. Which is smaller: -5/2 or n?
n
Let k = -38 + 42. Let m be -5 + 4 - (-1 - 5). Suppose 4*n = 5*n - m. Which is bigger: k or n?
n
Let q = 42 + -69. Let l = q + 24. Which is bigger: l or -1?
-1
Suppose 3*w - 2*w = -5*b - 12067, 4*w - 12082 = 5*b. Let z = b - -26588/11. Which is smaller: 4 or z?
z
Let s be (-5 - (-1)/(-2) - -5)*6. Which is smaller: -13/8 or s?
s
Let v be 12/22 + 469/(-154). Which is greater: -3 or v?
v
Suppose -13*v = -3*v + 370. Let q = v + 38. Which is smaller: 2/319 or q?
2/319
Let m = 18330 - 202662/11. Is -93 > m?
True
Let h be 6*(9/(-12) - 11/4). Is h at most -21?
True
Suppose -5*l - 267 = 2*q, 2*l - 3*q + 77 = -26. Let x be (-2)/(((-4)/l)/2). Is -53 less than x?
False
Suppose 31*o - 34*o = 0. Suppose o*b - 11 = b. Which is smaller: -10 or b?
b
Suppose -1209 = 2*i - 1515. Which is bigger: i or 154?
154
Let n be (-4)/1 - (26 - 47). Is 4 at most as big as n?
True
Let n(j) = 2*j**2 - 12*j - 10. Let o be n(7). Suppose 3*r - 57 = -2*d, -d + o*r - r = -51. Which is smaller: d or 37?
d
Suppose 4*b + 3*w = -30, -3*w = 5*b - 2*w + 32. Let l = b - -27. Which is bigger: 20 or l?
l
Suppose 0 = -l - 2, 0 = -o + 3*o - 4*l - 380. Let m = o - 8374/45. Is -1/3 equal to m?
False
Let j = -10/31 + -3173/62. Let a = j + 49. Is 0 > a?
True
Let l be 622/(19 + 1 + -2). Let i = -104/3 + l. Does i = 0?
False
Let j = -598 + 592. Which is bigger: j or 1?
1
Let w(d) = -d + 9 + 11*d - 6*d - 3*d. Let c be w(-9). Which is greater: c or 2/85?
2/85
Let s be -4 + 4*(-6)/(-4). Let d be (182/(-65))/(s/(-5)). Which is greater: 8 or d?
8
Let v = -13/62 + 267/682. Which is bigger: v or -16/61?
v
Suppose z - k - 12 = 0, 33 = z - 5*k + 5. Let h = 3 + 3. Suppose -z*n + h*n - 6 = 0. Is n at most as big as -4?
False
Let u be 5/((-45)/(-852))*3. Let x = 198 - u. Let v be 2/14 + x/14. Is -6 < v?
False
Suppose 9*s - 4*s = -40. Let f be (-2)/(-7) + s/(-70). Which is smaller: f or -1?
-1
Let v(w) = -w**2 + 7*w - 23. Let b be v(14). Are b and -122 unequal?
True
Suppose -2*v = -v. Suppose -2*c = -v*c + 12. Suppose 3*l + k = -2 - 7, 5*k = 0. Is c >= l?
False
Let r = -0.3 + 0.4. Let z = 3 + -3.35. Let v = 0.45 + z. Is v less than r?
False
Let r = 320 + -319. Which is greater: -1/9 or r?
r
Let t(o) = -3*o - 14. Let g(x) = 7*x + 29. Let f(v) = 2*g(v) + 5*t(v). Let q be f(-3). Is -10 != q?
True
Let r be (-9)/(-6) + (-4)/(-8). Suppose -r*u - 6 + 66 = 0. Let c = 29 - u. Do c and -1/42 have different values?
True
Let x = -13 - -23. Suppose -9*v + 57 = -5*v + 5*r, -3*r + 16 = v. Which is bigger: x or v?
v
Let l = -29 + -230. Which is bigger: -257 or l?
-257
Let w = -0.1431 + 0.0431. Is w at least as big as 57?
False
Let a(l) = 544*l**2 - 8*l - 7. Let c be a(-1). Let r = 22344/41 - c. Is r at most -1?
False
Let d = -7 - 3. Suppose -i = -5*i + 7*i. Suppose 5*n + 65 = 2*w + 3*w, i = 3*n - 2*w + 35. Is n equal to d?
False
Let n be 3 + (13 - 12 - (1 - 4)). Suppose 4*z + 21 = x, -n*z + 3*z - 16 = 4*x. Which is greater: -7 or z?
z
Let y(x) = 2*x - 14. Let n be y(7). Suppose 5*h + 6 = -4*u - n, 5*h = -10. Suppose f + 2*c = -u, 0*f + 2*f = 3*c + 12. Is f at most 6?
True
Suppose -2*c + 836 = 432. Do 202 and c have the same value?
True
Let l = 199 + -210. Is l greater than 0.06?
False
Suppose -20 - 10 = -5*i. Suppose -4*x = -4*n + i*n - 26, 4*x + 12 = 0. Is 20 < n?
False
Let u(y) = y. Let f be u(3). Let g(m) = m**2 - 3*m + 4. Let i be g(f). Let l be i/26 - (-200)/52. Which is greater: 5 or l?
5
Let n(h) = h**2 + 12*h + 4*h - 7 - 3*h**2 - 1. Let f be n(7). Which is smaller: 36/7 or f?
36/7
Let b be (-5)/(-6)*(-4)/6. Suppose 3*w + 26 = -3*x - 2*x, -4*w - 4*x - 24 = 0. Which is smaller: w or b?
w
Suppose -39*w - 53 = -2744. Which is smaller: w or 71?
w
Let b = 5105/7 + -729. Is b < 340/11?
True
Let i be (-108)/(-10)*140/42. Suppose 0*s = -2*s + 3*k + 2, i = 4*s + 2*k. Suppose 2*z - s + 3 = 0. Which is greater: 3 or z?
3
Let n(v) = v**3 - 6*v**2 + 5*v - 2. Let o be n(5). Let b be ((-84)/35)/((-4)/10). Suppose w = 2*m + 3, m + m = 4*w + b. Is m not equal to o?
True
Let s be 11 - 8 - (1 + 0). Suppose 0 = -5*z - 4*k + 31, z - s*k = 3*z - 14. Suppose -d + z*u = 6*u - 2, -2*u + 8 = 0. Is d less than -10?
False
Let p be (-2120)/56 - (-12)/14. Is p less than or equal to -4/13?
True
Suppose 2*p + 8 = 4*g, -g + p + 0*p + 4 = 0. Is g > -3/32?
True
Let t be 1 - (-1 + 3) - -71. Suppose 5*z - t = -5*i, -i = -0*z - 3*z + 22. Let s = -7 + z. Is s at most as big as 2?
True
Suppose 2*y = -5*u - 14, 7*y + 5*u = 3*y - 8. Suppose -y*b = 2*z + z + 42, 3*z = -9. Let r be 1 + b/((-605)/(-60)). Is r != 0.4?
True
Let m = -1694/15 + 113. Let z(w) = 2*w - 3. Let b(a) = -3*a + 2. Let i(j) = 3*b(j) + 4*z(j). Let k be i(-7). Is k greater than m?
True
Suppose 0 = -g - 15 - 35. Let q = 11 + g. Let o = q - -27. Do o and 0.1 have the same value?
False
Suppose 0 = -4089*u + 4079*u - 330. Which is smaller: u or -129/4?
u
Let n be 1 + (10/(-56))/(1/4). Which is greater: 1/27 or n?
n
Let a = 14 + -16.4. Let f = -2.46 - a. Which is smaller: f or 0.1?
f
Let q be (258/28)/((-10)/(-20)). Let d = q - 19. Do -0.2 and d have different values?
True
Let v = -23 - -14. Suppose 0 = 2*z + 12 - 28. Let n be (z - -8)*2/(-4). Which is smaller: n or v?
v
Let f = -50 - -33. Suppose -4*c - 53 = 11. Which is smaller: f or c?
f
Let o = 12401059/28 + -442828. Suppose -8*g = -5*g + 2*j + 209, -3*g + 2*j - 193 = 0. Let q = g + o. Are q and 1 nonequal?
True
Let f = -0.17 - 6.83. Let l = 0.6 - -2.4. Let s = f + l. Which is smaller: -2 or s?
s
Suppose 38 = 7*i - 151. Suppose -3 = a - 2. Let f be (-32)/a*i/36. Does f = 24?
True
Let s = -3122 - -3006. Are -115 and s non-equal?
True
Let w = -0.6 + 0.59. Let i = w - -0.01. Which is bigger: i or 0.043?
0.043
Let w be (28140/150)/(4/30). Which is greater: w or 1406?
w
Let m = -43.077 + 0.077. Are 1/3 and m equal?
False
Let f(s) = 27*s**2 - s + 