51. Let f = 19 - c. Which is smaller: q or f?
q
Let q(w) = -5*w**2 - 5*w - 1 + w**3 + 2 + w**2. Let x = -751 - -756. Let u be q(x). Is u less than 1/12?
False
Let c be 8 + 7/42*-44. Which is bigger: c or -2/19?
c
Let q be (-26)/(-30) - -11*2/165. Is 9 at least as big as q?
True
Suppose 0 = -10*p + 8*p + 2. Suppose 0 = 4*u + 143 - 35. Let y be ((1 + -5)/2)/u. Which is bigger: p or y?
p
Let o(a) = 3*a + 25. Let t be o(-7). Suppose 4*q - q = -t*r - 2, 3*r - 2 = -4*q. Is -1 not equal to r?
True
Let c = 1274 + -1272. Is 70/29 <= c?
False
Let u be (-1170)/(-36) - 3/(-6). Is u smaller than 7?
False
Let k = 5 - 4.7. Let d = -0.3 + k. Let q = -57 + 55. Is q not equal to d?
True
Let d = 13 + -11. Suppose -d*j = -4*a - 4*j, -4*a + 3*j = 10. Let y be (3/21)/(a/(-2)). Which is smaller: 1 or y?
y
Let i = -20 + 14. Let w = -8 + i. Is w >= 1?
False
Let q = 26 - 3. Let j = q - 23.2. Are -0.2 and j unequal?
False
Let m = 65/159 - 4/53. Is 123 not equal to m?
True
Let f = 2 + -2.2. Let h = 5127 + -5122. Which is smaller: f or h?
f
Let q = 16.1 + -15.7. Is 1/61 not equal to q?
True
Let r be -1 - 1 - 24/1. Let d be (-25)/r - 11/11. Suppose 4*j + 11*x = 9*x + 10, -j - 5 = -x. Is j at least as big as d?
True
Suppose -106*g - 17651 = 3549. Which is smaller: g or -3?
g
Let r = 8.3 - 8.29. Let w = -0.17 - -1.17. Which is smaller: r or w?
r
Let u(n) = -2*n**2 - 27*n - 36. Let t be u(-12). Is t at least 4/1739?
False
Let t = 127 - 127. Which is bigger: t or -2/185?
t
Let u be -11 - 109/(-12) - 1*-2. Do u and 2 have the same value?
False
Let u = -47.6 - -9.6. Let z = 26 + u. Let y = z - -11.7. Is y > 2?
False
Suppose -6*q + q + 3*f = -359, 0 = -5*q + 4*f + 362. Suppose 70 = 4*a + o - q, -4*a + 4*o + 120 = 0. Which is bigger: 35 or a?
35
Let n be (16/(-20))/(1/(-30)). Suppose -3*a = 5*l + 34, 3*l + n = -l - 4*a. Let h = -492 + 486. Which is bigger: h or l?
h
Let a = 24 + -7. Suppose -3*z - 98 = -5*t - z, 2*t - 52 = 4*z. Which is greater: a or t?
t
Let u(r) = r**3 + 13*r**2 - 15*r - 9. Let n be u(-14). Suppose 0 = n*m + 2*m - 7. Let d = 1 - m. Which is smaller: d or -1/13?
-1/13
Let f = -130.4 - -130.4083. Which is greater: f or -0.1?
f
Let z = 23 + -22. Let o be (z + 0)/((-91)/(-84791)). Let x = 931 - o. Do -1 and x have different values?
True
Let w = 0.117 + -0.049. Let x = -2.068 + w. Is 6 greater than x?
True
Let j = 2 + -2. Let l be (-12)/(-84)*(1 + 6 + -4). Which is bigger: j or l?
l
Let k = 485 - 485. Which is greater: 8 or k?
8
Let s = -18.1 - -19. Let q = s + -1.7. Let y = q + 1.8. Which is greater: -0.07 or y?
y
Suppose -w + 3 = 2*p + 2*p, -2*p = 4*w + 16. Let y = 1 - p. Let j = 0 - 1. Is j > y?
False
Suppose 0 = -4*a - 26 - 22. Let d(p) = -44*p**2 - 34*p + 1. Let i be d(-1). Is i greater than or equal to a?
True
Let t = -30 + 25. Let l be (-88)/t - 2/(-5). Let x = 19 - l. Do -0.3 and x have different values?
True
Let k = 2 + -10. Let l = -11 - k. Let x = -3.2 - l. Which is bigger: x or -2?
x
Let b(w) = 4*w**2 + 26*w - 14. Let n be b(-7). Let c = -1069 - -49171/46. Which is bigger: n or c?
n
Let d = 3 - 14. Suppose x + 15 = 4*w, -4*x - 3*w - 22 = -0*x. Let o be (-2 - -16)*6/x. Which is smaller: o or d?
o
Let i = 0.07 - 0.02. Let d = -0.03 - i. Let y = 33 - 32. Which is smaller: d or y?
d
Let h = -198 - -120. Let d = 955401/12274 - -31/722. Let p = h + d. Which is smaller: p or -1?
-1
Let z = -26.1 + 26.8. Which is greater: z or 7?
7
Suppose 5*j - 2*x = -350, -j - 15 = 5*x + 28. Let i be 666/(-10) - 1/1. Let a = i - j. Is -1 at least as big as a?
False
Let f = 3.2 - 0.2. Let g = -179 + 185. Let t = g + f. Is t bigger than -2/7?
True
Let c be (-28)/8 - (1 - 2). Are c and -10/13 non-equal?
True
Let p = 29 - 62. Let v = -30 - p. Are 1/2 and v nonequal?
True
Suppose 15*z - 17*z = 42. Let m = z - -6. Is m > -15?
False
Let a be 17/(1122/(-48)) + 2. Which is smaller: -0.09 or a?
-0.09
Let q = 5496837/2350868 + -1962/853. Let l be 6 + -3 - 465/156. Let j = l - q. Which is bigger: j or -1?
j
Let h = -38 - -37. Let c = -556/3 - -187. Let z = c - 32/21. Which is smaller: z or h?
h
Let i = -114 + 125. Which is greater: i or 2/5?
i
Let w = 430.9 + -431.9. Let q = -951/5 + 191. Which is smaller: w or q?
w
Let l = -1.01 + 1. Let j = -366 + 365.88. Let o = l - j. Which is smaller: 0.1 or o?
0.1
Let f(g) = -g - 4. Let n be f(0). Let j be (n/14)/(3*(-95)/105). Is j smaller than 0?
False
Let n = -3 + 5. Suppose -4 = -3*c + n*c. Suppose 0 = -2*m - 0*m - 2*a + 2, 2*m + c*a - 4 = 0. Which is smaller: m or -1/4?
-1/4
Let c(n) = n**3 + n**2 - 2*n - 5. Let k be c(-4). Let j be (-1 + 6)*(-81)/k. Suppose 3*f - 3 = -j. Is 1 >= f?
True
Let a be 20/4 + 3/(-1). Suppose -a*o = 6, 0 = 3*v + 3*o - o. Suppose v*r - 1 = -3. Is r != -2/9?
True
Suppose -12*f + 14 = 98. Let v be f/((-35)/15) - (0 - -2). Let j = 463 + -11577/25. Are v and j non-equal?
True
Let l = -203 - -208. Is l < 0.1?
False
Let d = 363 - 296. Are 67 and d equal?
True
Let m = -32 - -17. Let t be (-15 - m)/((1 - 2)/1). Is t not equal to -1?
True
Let x(o) = o**2 + 2. Let w(a) = a**3 - 5*a**2 - 5*a - 2. Let i be w(6). Let h be x(i). Is h equal to 19?
False
Let i = 0.059 - -0.041. Let x = 4.952 - -0.048. Which is smaller: i or x?
i
Let z = 10038 - 39609/4. Which is smaller: z or 137?
z
Let m = 246 + -5656/23. Let l(y) = y + 11. Let z be l(-8). Let i be (z - -1 - 2) + -3. Is i greater than m?
False
Let z be 15/(-12)*(-1)/5. Let v = -1.5 + 0.2. Let c = -1.33 - v. Is c equal to z?
False
Let u(k) = -k**3 + 15*k**2 + 2*k + 20. Let d be u(14). Which is smaller: 238 or d?
238
Suppose 4*u - 4*t - 6 - 14 = 0, -3*u - t = -7. Suppose j - 3*g + 6 = 0, -2*j - u*g - 17 = -4*g. Which is smaller: j or 2/5?
j
Let h = 3044 - 2992.76. Let j = h + -50. Let d = -0.24 + j. Which is greater: 6 or d?
6
Let z be (-1)/(-4) - (-3)/4. Let f be (19/((-627)/(-18)))/2. Is f != z?
True
Suppose -21*i + 471 = -159. Let g(w) = w**3 - 4*w**2 - 7*w - 1. Let d be g(6). Is i > d?
True
Let r be (-5 - 646)*1 + -9. Which is bigger: -659 or r?
-659
Let h = -49.3 + 40.3. Do -26 and h have the same value?
False
Suppose -500 = 3*t + 411*v - 416*v, -624 = 4*t + 4*v. Is t bigger than -158?
False
Suppose 5*t + 2*q + 2*q + 80 = 0, -t = -5*q + 16. Let l = t + 16. Let f = 1186/3201 + -2/291. Are f and l equal?
False
Let q be 1/((-1)/2080*-8). Which is smaller: 259 or q?
259
Let x be 1*-1 + (-3563)/(-1). Let s = x - 32012/9. Let f = s - 286/63. Which is greater: f or 0?
f
Let n be 1971/216 + 3/(-1 - 0). Let d = 6 - n. Is d at most as big as 0?
True
Suppose 2*r = -n - 3*r - 16, -4*r - 17 = 5*n. Let i = -52 - -35. Let q = i - -19. Which is smaller: q or n?
n
Let r = -21.8123 + -0.0077. Let k = r + 22. Let v = k + -3.18. Is 1/3 less than or equal to v?
False
Let m = 16/45 - 2/3. Is m less than or equal to -1?
False
Let u = -5254/74841 + 8/741. Which is greater: u or 0?
0
Let f = -56 - -71. Let x = -11 + f. Which is smaller: 7 or x?
x
Suppose -92 = z - 3*h, z + 3*h = 2*h - 100. Is z <= -98?
True
Let t be (-4)/6*(5 + 2 + -37). Suppose 2*d = 3*x - 17, -t = 5*d + 3*x - 6*x. Is d greater than -3/11?
False
Let j = 0 + 2. Suppose 3*b = -14 + 41. Suppose -3*s - 3 = -b. Is j not equal to s?
False
Suppose 3 - 1 = l. Suppose -l*s - 5 = 3*s. Let g = 19 + -20. Is g < s?
False
Let c be ((2 - 2) + -1)/(-1). Suppose 2*x + 2*f = 197 + 533, 3*x + f = 1085. Let l be (-94)/x + 18/162. Which is bigger: l or c?
c
Let v = -63 - -59.3. Let g = -6.7 - v. Is 16 at most g?
False
Suppose -5*g = 6*p - 2*p + 897, 1110 = -5*p - 4*g. Which is smaller: -219 or p?
-219
Let m = -0.0052 - 31.9948. Is -2/9 smaller than m?
False
Suppose 9 = 3*c, -4*a + 5*c - 20 = a. Which is bigger: a or -321?
a
Let d = -171 - -122. Let w = d - -33. Do w and -14 have the same value?
False
Suppose -4*q + 0 = -12. Suppose q*k - 9 = -3. Suppose 2*h + 10 = -4*i, 4*h - 3*h = 2*i + 3. Which is smaller: k or i?
i
Suppose -10 = 4*n - 5*m, 8 = 9*m - 5*m. Which is bigger: n or -1/48?
n
Let a = 0.49 - 0.99. Let v = -0.5 - a. Which is greater: v or -2.3?
v
Let y be 2/(-4) - 819/(-1326). Suppose -3 = -g - 1. Do g and y have different values?
True
Let d = 1.3 + -14.3. Let s = 16 + -2. Let t = s + d. Is -6 at most as big as t?
True
Let a be -2 - (-7)/((-1680)/(-498)). Which is bigger: a or -1/3?
a
Let c(t) be the second derivative of t**4/3 + 2*t**3/3 + 3*t