 Which is smaller: f or q?
q
Let v(d) = -3*d - 20. Let r be v(-7). Which is smaller: 3/52 or r?
3/52
Let l = 2212 - 86273/39. Are l and -1 equal?
False
Let n be -4 + 3 - 122/(-112). Let d = n + -27/224. Which is smaller: -3 or d?
-3
Let q be -8*(-5 + 7)*3/8. Let h be (-13)/q + (-1)/2. Is 2 bigger than h?
True
Let r = -235 + 2595/11. Let z = -388/451 + r. Which is bigger: -1 or z?
z
Let q = 3924 - 3925. Let b(x) = x**3 + 6*x**2 - 4*x - 9. Let i be b(-6). Let u be (-6)/i*(-5)/(-11). Do q and u have the same value?
False
Let p = -12 - -14. Suppose 0 = -p*h + h. Let q be 34/52 - (-4)/(-26). Is q greater than or equal to h?
True
Let f = 458 + -6429/14. Are f and -2 equal?
False
Suppose -5*p + 3*d - 5 = 0, 8*d - 3 = 3*p + 3*d. Let i = -705 + 45121/64. Which is smaller: i or p?
p
Let n = -1.62 + 1.6. Let y = 11.98 - n. Let m = 12 - y. Is m != 5?
True
Let t = 245 + -245.1. Is -2.26 < t?
True
Suppose -5*u + 7 - 13 = -4*y, 5*y = -4*u + 28. Which is smaller: y or -52?
-52
Let v(p) = p**2 - 2*p + 2. Let h be v(4). Let y(d) be the first derivative of 3*d**2/2 - 18*d - 9. Let t be y(h). Is 10 at least t?
False
Let r = 9 + 1. Let m(c) = -c**3 - 12*c**2 + 2. Let x be m(-12). Suppose -x*w + 0*w = -r. Do 1 and w have different values?
True
Suppose 4*s + 5*f = -192, -202*s + 204*s + 4*f = -102. Suppose -255 = 4*a - 91. Which is smaller: s or a?
s
Suppose 5*d - 3*l + 383 = 0, -2*d + l = 138 + 15. Which is greater: d or -74?
-74
Let y(q) = -q**3 - 44*q**2 + 46*q - 64. Let s be y(-45). Which is smaller: s or -108?
s
Let p = 28.082 + -0.082. Let o = -27 + p. Suppose -6 = 2*f - 2. Is o <= f?
False
Let a(s) = -s - 2. Suppose -3*d + 14 + 1 = -5*q, 0 = 3*q + 3*d + 9. Let n be a(q). Suppose 4*u - l - 605 = -614, -6 = -2*u + 4*l. Is n < u?
False
Let o be (-28)/3*9/(-3). Let x be (2/3)/(o/6). Let s be (-6)/18*(-3)/1. Is s less than x?
False
Suppose 5*f + 2*n = 13, -2*n + 10 + 0 = 4*f. Suppose f*g - 22 = z, -2*g + 99 = -5*z + 2*g. Which is smaller: z or -20?
-20
Let b be ((4 - (-12)/(-8)) + 0)/5. Is b <= -80?
False
Suppose 3*w + w + 94 = -2*k, -4*w + 5*k = 115. Let i be (-4)/1 - (-20)/6. Is i greater than or equal to w?
True
Suppose 1 = -5*i - 24, 0 = -3*f + 2*i - 857. Is f > -289?
False
Let x(f) = -5*f - 26. Let s be x(-5). Let w be (88/18 + s - 4)*2. Is -0.1 not equal to w?
True
Let r = 121 - 143. Which is bigger: r or 2?
2
Let u be (16/(-10))/((-12)/(-390)). Let g be u/(-12) + 2/(-6). Suppose g*n = j - 6*j + 11, -5*n - 5*j + 15 = 0. Which is smaller: 2 or n?
2
Let u = 26 - -8. Let n = u - 19. Suppose j = n + 17. Is j < 32?
False
Suppose -3*v - 244 = -5*d - 44, -205 = -5*d + 4*v. Is 3 at most d?
True
Let l = 50.39 + -0.39. Let p = l - 51. Which is smaller: 3.4 or p?
p
Let l(p) = -p**3 - 7*p**2 - 9*p + 7. Let v be l(-3). Is -3/2 smaller than v?
False
Let n = 15/16 + -103/144. Let g = n + -19/45. Does g = 1?
False
Let q = -8.7 + 1.7. Let b = -1.78 + 2. Let c = b - 0.12. Is q bigger than c?
False
Suppose -3*c + 2*t - 84 = 0, -2*c = -4*c + 5*t - 56. Suppose -1 = 5*s - 11. Let i be 8/s - (-682)/(-22). Which is greater: i or c?
i
Let i = -272 + 347. Which is greater: 73 or i?
i
Let x = 72/25 - -2449/200. Is x not equal to 16?
True
Let z = 10.5 + -10.54. Let m = 15/8 + -13/8. Which is greater: m or z?
m
Let y = 1457131/75 + -19429. Let a = y + -2/25. Is a greater than or equal to -7?
True
Let p = -11 + 37. Let q = 19 - p. Which is greater: q or 0?
0
Let g = 9.24 + -0.24. Which is smaller: g or 25?
g
Let d be (-2)/7 - ((-16975)/49)/5. Let x = d + -69. Let u be 1/3*6/(-61). Is x greater than or equal to u?
True
Suppose -53*p + 204 = -50*p. Let b(n) = 63*n + 3. Let s be b(1). Is p < s?
False
Let c be -39*(-4)/(-2 - -14). Let g = c - 12. Let z be (g/(-3))/(-1 - -3). Is z != -0.2?
True
Suppose 181 = -28*c - 99. Which is smaller: -12 or c?
-12
Suppose 39*l + 2*i = 41*l - 16, -i = -2*l + 16. Does 6 = l?
False
Let j = 37/10 + -16/5. Is j greater than or equal to -4/11?
True
Suppose 240 = -24*x + 8*x. Which is smaller: 22 or x?
x
Let w(j) = -j**2 + 16*j - 39. Suppose -6 = -2*q + 5*o, 2*o = -0*o + 8. Let p be w(q). Let f be (0 + 8)*(-1)/9. Are p and f unequal?
True
Let l = -30/17 - -22/51. Suppose 0 = -v + 4*v - 24. Suppose s = v - 9. Are s and l nonequal?
True
Suppose 13*u - 2318 = 32*u. Is u bigger than -121?
False
Let n(r) = -r**2 + 8*r + 1. Let p be n(7). Suppose 3 = -5*j + p. Let t be -2 + 0 + 50/24. Which is smaller: t or j?
t
Let t be (-8 + 9)*(2 + 0). Let w = 0 + t. Suppose 0 = w*j + 2*j - 8. Which is smaller: j or 3?
j
Let p be 12 + (-473)/44 - 1643/1324. Which is greater: p or 1?
1
Suppose 2*m + 1 = -5*b, -1 = -4*b - 4*m + 3. Let k = -1.1 - -0.9. Let x = 2.2 + k. Which is smaller: b or x?
b
Let t be (-27)/(-18)*(-4)/(-2). Suppose -2*k + t*u = 2*k - 81, 3*k - 57 = u. Let i be (-94)/294 - (-6)/k. Which is bigger: i or -1?
i
Let y = 432 - 432. Is y at least as big as -372?
True
Let k = 7174717/33332 - 1/8333. Is k less than 214?
False
Let a = 2 + 5. Let v = 2 - a. Let b = 0.8 - 0.9. Do v and b have different values?
True
Let u = -0.115 + 94.115. Let o = 91.8 - u. Is -1 equal to o?
False
Suppose 1380 = -278*i + 248*i. Is -187/4 greater than or equal to i?
False
Suppose -7*j - 87 = -4*j. Let v = j + 13. Let r = 15 + v. Does 3 = r?
False
Suppose -2*w = 2*i - 2268, 0 = -4*i + 7*i + w - 3396. Let r = -14696/13 + i. Is r smaller than 1?
True
Let o(p) = 2*p**2 - 3*p + 16. Let x be o(8). Do 121 and x have different values?
True
Let i = -29414/23542935 - -4/9997. Is 0 at most as big as i?
False
Suppose 15 + 5 = -5*a. Suppose -3*q + 3*y = -87, 4*q + 3*y - 138 - 13 = 0. Suppose 5*s - 3*j + q = 0, 5*j - 5 = -4*s + 2*s. Which is smaller: a or s?
s
Let w(s) = s**2 - 4*s + 2. Let z be w(4). Suppose z*k = 12 - 0. Let l be k/(7 + 1 - -3). Is 1 equal to l?
False
Let f = -6.6 - -55.6. Let r = f - 48.9. Let t = -4.02 + 4. Which is bigger: r or t?
r
Let l = -348 + 366. Are l and 15 unequal?
True
Let v = -2.29 - -2.69. Which is smaller: 26 or v?
v
Suppose -3*i = 5*d - 38, 3*i - 3*d - 7 = -1. Let r be 224/21 + (-4)/i. Suppose -7*m = -r*m. Which is bigger: 1 or m?
1
Suppose -8*y + 3*d + 31 = -4*y, 0 = -4*y + 2*d + 26. Let a = y - 28. Let z = a - -24. Which is bigger: 1 or z?
1
Let s be 14 + -14 + 0 + 6. Let v = s - -21. Is 28 >= v?
True
Let x = 10081/8 - 1258. Is x greater than or equal to -4?
True
Let w = 7 - 5. Let m(x) = x**2 + 6*x + 3. Let p be m(-6). Suppose -6*d = -3*d + p. Is w at least as big as d?
True
Let v = -9/2 + 165/37. Which is bigger: 1 or v?
1
Let p(g) = -g**2 + 4*g + 1. Let j be p(3). Let i = 2264 + -24868/11. Is j > i?
True
Let s = 40 + -40. Let y = 0.1 - s. Is 5 smaller than y?
False
Let k = -110 - -140. Suppose -5*s - 5*q + k = 0, -s = -4*q - 14 - 12. Which is bigger: 72/7 or s?
72/7
Let m = -29/153 - 467/765. Suppose -5*z + 0*z = -4*n + 20, 0 = 3*z + 12. Is m > n?
False
Let y be (-39 - -38)*8/12. Is -15/8 smaller than y?
True
Let d = -61 + 87. Suppose -d = -a - 2. Are 24 and a nonequal?
False
Let v be ((-10)/(-8) - 3)*(-47585)/55. Let c = v - 1514. Are c and 0 non-equal?
True
Let i = -65 - -67. Let s(w) = w - 3. Let a be s(i). Are -12 and a equal?
False
Let u(c) = c + 10. Let z be u(-3). Let a(s) = -2*s - 4. Let w be a(-3). Suppose -5*p + w*f - 1 = -f, -2*p = f + z. Is p greater than -2?
False
Suppose 0 = -4*g - g + 2*z + 31, 3*g - 27 = 4*z. Suppose -v - g*r + 20 = 70, -2*v - 80 = 5*r. Is -28 > v?
True
Let u = -30.46 + 30.4. Is u less than -88?
False
Let c = 135 + -134. Is 23.6 > c?
True
Suppose -38*z + 49*z = 165. Which is smaller: 5/4 or z?
5/4
Let n(j) = j - 3. Let o be n(6). Suppose -o*f + 71 - 20 = 0. Let m = f + -17. Which is bigger: -3/4 or m?
m
Let f = 1.4 + -2. Let w = -1.2 + f. Let r = -2676 + 2675. Which is smaller: r or w?
w
Let m(v) = -v**3 - 14*v**2 - 3*v + 1. Let s be m(-14). Let i = 32 - s. Let z(f) = -f - 11. Let a be z(i). Is a at least as big as -2/15?
True
Suppose 20 = -7*v + 11*v. Suppose -v*q = -12 + 2. Let y be (4/(-8)*2)/(-1). Is q bigger than y?
True
Let j = -598 + 1476. Which is smaller: j or 880?
j
Let o = -317.9 + 348. Let t = -30 + o. Which is bigger: t or -0.18?
t
Let i(a) = a**3 - 13*a**2 - 15*a + 19. Let u be i(14). Let n = 32 + -30. Let b = n - u. Which is smaller: 2/7 or b?
b
Let a(b) be the first derivative of b**2/2 - 11*b - 3. Suppose -2*u = 