 2 + 3. Suppose -d*h + 35 = -3*j, -3*j = 3*h + j - 50. Suppose -3*p = -2*m - 3 - 40, m + 60 = 5*p. Is h > p?
False
Let q(f) = 4*f - 31. Let r be q(0). Let x = -36 - r. Which is smaller: -4 or x?
x
Let y = 1450.9 + -1451. Do y and -811 have different values?
True
Let d = 12.79 + -13. Let m = d - -1.21. Let r(s) = -s**3 + s**2 - s - 1. Let l be r(2). Which is smaller: l or m?
l
Let u = 0.95 + 37.05. Let k = 23 - u. Which is bigger: 0 or k?
0
Let w(t) = t**3 + t + 14. Let b be w(0). Let z = b - 47. Which is smaller: z or -32?
z
Let g = -23 - -29. Let y(a) = -a**2 + 3*a + 11. Let b be y(g). Which is bigger: -8 or b?
b
Let f = -0.07 + 1.17. Let v = f - -0.9. Which is greater: v or -7?
v
Let a = -88 + 56. Let q = -11 - a. Let o = -22 + q. Do o and 1/6 have different values?
True
Suppose 4*v - 3*h - 7 + 28 = 0, 0 = -4*v + 4*h - 16. Let r = -296 - -289. Is r greater than or equal to v?
True
Let k(c) = 20*c + 8. Let d be k(-1). Suppose -m + 7*q = 3*q + 33, -3*m - 54 = -3*q. Is d <= m?
False
Let d be 1 - 12 - (-13)/(-1 + 14). Which is bigger: -2/59 or d?
-2/59
Let u = -268 + 227. Which is greater: -40 or u?
-40
Let p be 5/(-20) - 84/(-16). Suppose -p*k + g = -32, -3*k - 4*g + 0*g + 33 = 0. Let f be k/9 + (-3)/3. Is f less than or equal to 0.04?
True
Let s = 0 + 3. Let j be (-6)/(-9)*s - 3. Let p(b) = -40*b - 239. Let c be p(-6). Is j bigger than c?
False
Suppose -8*p - 246 = 3*j - 6*p, -j = 3*p + 75. Is -87 smaller than j?
True
Let a = 124 + -997/8. Let u = 931 + -931. Which is smaller: u or a?
a
Suppose 2*x = 4*x + 6510. Let u = x + 296209/91. Which is bigger: u or -1?
u
Let c = 823 - 0. Do c and 823 have the same value?
True
Let j = 475 + -493. Is j smaller than -43?
False
Let i be ((-2)/10)/(2/(-4)). Let r = -13 - -7. Let m = 6 + r. Which is smaller: m or i?
m
Suppose -120 = -5*r + 130. Suppose 0 = 7*j - 2*j - r. Are 21/2 and j equal?
False
Let g be 10/20*(-124)/2*3. Let p = -92 - g. Which is bigger: p or 2/7?
p
Let j(c) be the first derivative of -c**2/2 + 7*c - 3. Let n be j(7). Suppose n*p - 1 = -p. Which is smaller: -3/8 or p?
-3/8
Let y = 47 - 62. Which is smaller: y or -14?
y
Let x(r) = r**3 - 1 - 8*r**2 + 19*r - 10 - 27 - 9*r**2. Let v be x(16). Is v at most 6?
False
Let l be -2 + (0 - (-3 + 0)). Let p be (-6)/(-16) + 445/7440*-6. Which is bigger: p or l?
l
Let x be (-10)/(-12) + 15691/(-156). Is x equal to -101?
False
Let u = -22 - -36. Suppose -u - 16 = d. Which is greater: -29 or d?
-29
Let z(x) = x**2 - 6*x - 80. Let p be z(14). Let w be 62/(-8)*(1 - 5). Is p less than w?
False
Suppose h = -h. Suppose -2*y + 6*y - 20 = h. Let p(f) = f**3 + 6*f**2 + 5*f + 7. Let g be p(-5). Is y bigger than g?
False
Let h be ((-34)/(-4))/((-23)/(-46)). Let p = h - 19. Which is bigger: p or 1/12?
1/12
Let h = 33 - 16. Let j = h - 13. Suppose 3*g + j = -g. Which is greater: g or -4/9?
-4/9
Let i = 1 - 0. Let j be 6/(-20)*((-242)/66 + 4/(-8)). Which is bigger: i or j?
j
Let c be 10/4 + (-2482)/876. Which is greater: c or -0.6?
c
Let f = -36 - -38. Suppose 9*n - f = 8*n. Suppose -2*z - 3*z = 25, 0 = -m + n*z + 15. Is 7 at most as big as m?
False
Let o be ((-1)/(-4))/(2889/(-72)*-9). Is o >= 0?
True
Let d = -22 + 4. Let f(u) = -u**2 + 11*u - 5. Let j be f(6). Let n = j - 44. Is n at least as big as d?
False
Let d be (-72)/27*(-9)/2. Suppose 14*s - 12*s = d. Is s smaller than 4?
False
Let q be (-1)/6 + 425/102. Let j be (-122)/(-24) + (-1)/3. Which is bigger: q or j?
j
Suppose 3*z = 23 - 11. Let t = -8 + 14. Suppose -z = f + x, 3*f + 4*x + 11 = -t. Which is greater: 1/14 or f?
f
Let o = 19 + -28. Do o and 6 have the same value?
False
Let j be (134/2)/(-1)*-9. Let q = j + -2996/5. Are 4 and q unequal?
True
Let d(g) be the third derivative of -g**4/24 + 7*g**3/2 - 33*g**2. Let q be d(20). Which is bigger: q or 0?
q
Let i = -16048/15 + 1069. Let v = 233/165 + i. Is 1 bigger than v?
True
Suppose -5*b = i - 11, -2*b + 4*b = -3*i + 7. Which is smaller: -1/340 or i?
-1/340
Let g = 686 + -710. Which is bigger: g or -28?
g
Let r = -0.06 + -0.94. Let h be (207/51 - 4)/(-1)*1. Which is greater: h or r?
h
Let p(x) = x**2 - 5*x + 3. Let q be p(5). Let b = -19 + 22. Suppose -6 = -b*i + 3. Is q at least i?
True
Let r be -2286*2/2288 - (-6)/3. Which is bigger: r or 1?
1
Let v = -32655788/1303 - -25062. Are v and 0 equal?
False
Let z = 175 + -102. Let p = 72 - z. Is p > 0?
False
Suppose j = -5*r - 201, -5*r - 2*j - 80 = 117. Let g = -42 - r. Which is smaller: -5 or g?
-5
Let f be ((-4)/8)/(3/(-12)). Suppose -4*c + 20 = 0, 2 = -f*d - d - 5*c. Let i = -11 - d. Is i at most as big as 2/7?
True
Let u = -85 + 86.02. Let s = u + -1. Let t = 0.12 - s. Is 10 > t?
True
Let g = 234 + -227. Which is smaller: 6 or g?
6
Let a be ((-72)/(-8))/18 + (-1)/(-2). Which is smaller: -6/107 or a?
-6/107
Let b(t) = t**2 - 4*t - 3. Let j = 20 + -16. Let p be b(j). Let f(l) = l**3 - l**2 - l - 1. Let y be f(2). Do y and p have different values?
True
Let n = -2 - -6. Suppose c - 15 = n*c. Suppose 2*d - g + 10 = 0, d - 5*g - 2 = -7. Is d < c?
False
Let s = -12.8 - -9.9. Let r = 1.9 + s. Is 20/7 equal to r?
False
Suppose 2*h - h = 31*h. Is h != -38?
True
Let u = -7 + 6. Let r = -102 - 70. Let w be (r/56 - -3)*2. Do u and w have different values?
True
Suppose -3*d = 3 - 9. Suppose 4*y = 2*h - 8 + 4, 0 = 4*h - 2*y + 10. Let a be -2 - (-2 - (-4)/h). Is d at least a?
True
Let k be -2*(0 + (-2)/(-4)). Let p be (9 - 935/105)/((-9)/(-42)). Is k less than p?
True
Suppose 6*z = -7*z - 52. Let g(f) = -f**2 - 3*f + 1. Let s be g(z). Which is bigger: -2 or s?
-2
Let r = 472/21937 - -466609655/570362. Let w = r + -818. Which is greater: 1 or w?
1
Let l = -128/11 + 2096/165. Let p = -12/5 + l. Which is bigger: -1 or p?
-1
Suppose 8 = u + 10. Let k be 1/u*(-1 + -5). Suppose 5 = -5*o - 5*b, 2 = k*o + b + b. Is o smaller than 4?
False
Let k = -37 + 39. Suppose -k*y + 4*g + 1 = 7, 0 = -2*g. Let q = -2 + -3. Is y at most as big as q?
False
Suppose 0 = -3*c - 0*c + 6. Let n be (-25)/((c - 6)*2). Let u = n + -117/40. Which is smaller: u or -1?
-1
Suppose -j - 5 + 2 = 0. Let h(t) = -t - 5. Let x be h(4). Let a be (-6)/(-21) - x/(-7). Which is smaller: a or j?
j
Let w = 173 - 174. Let g be (4*-1)/(6/(-15)). Let p = 6 - g. Which is bigger: p or w?
w
Let m(j) = 3*j - 66. Let t be m(14). Is t at least as big as -24?
True
Let t = 11147/11 + -1012. Which is bigger: t or 2?
2
Suppose 9*h + 70 = 4*h - 4*f, 10 = -2*f. Let n = -6 - h. Suppose 4 = -6*o + 8*o. Is n >= o?
True
Let n = -169 + 376. Let y be 46/n + 43/9. Which is smaller: 13/3 or y?
13/3
Let o be ((-2)/(-3))/((-6)/(-9)). Let w be (173/2595)/((-2)/(-6)). Which is greater: w or o?
o
Let b = -12 + 13. Let n be b/2 + 36783/(-918). Let f = n + 118/3. Which is bigger: f or -1?
f
Suppose -3*s + 4*s = 0, -3*g = 4*s - 9. Suppose g*d - 26 = 5*l, -5*l + 6 = -5*d + 26. Are -42/5 and l non-equal?
True
Suppose -2*v + 4 = -4*v. Let n be (-2)/3*(1 - v). Let m be -2 - -1 - (-12)/(-9). Which is greater: m or n?
n
Suppose -3*n - 4*r = 33, -4*r = 2*n - 7*r + 22. Let u(h) = 2*h - 3. Suppose 0 = -k + 6*k + 15. Let f be u(k). Do n and f have the same value?
False
Let c = 5 - 14. Let f(i) = -11*i**2 + 1. Let w be f(1). Are w and c equal?
False
Let a = 0.079 - 68.079. Let j = -67.995 - a. Is j != 0?
True
Suppose -3*p = 56 + 25. Let m = -0.089 - -91.089. Let w = -91 + m. Which is smaller: w or p?
p
Let c be (240/63 + -4)/((-30)/(-7)). Is c less than or equal to -1?
False
Let c be (9/(-6))/(4 + (-38)/14). Let l = c - -2/3. Is l greater than 65?
False
Let z = -2 + -2. Suppose 59 = -4*j - j + 3*m, -3*j + m - 37 = 0. Let v = j - -8. Is v at most z?
True
Suppose 5*n - 51 = 2*n. Suppose 28*p - 36*p + 136 = 0. Are n and p equal?
True
Suppose 0*v = -3*v + 12. Suppose -3*p = v*n - 20, -2*p = -5*p + n - 5. Let z be 9/(-75) + (-2)/(-10). Which is smaller: z or p?
p
Let g be (-6)/(-8) - (6 + 6543267/(-1251036)). Let l = 2/1121 - g. Does -1 = l?
False
Let o(n) = n**2 - 22*n - 5. Let l be o(21). Which is bigger: l or -25?
-25
Let z be (1 - 1)/3 + 2. Suppose -2*a + z + 0 = 0. Suppose -s - m = 8, -m = 2*s - 2*m + a. Which is greater: -1/5 or s?
-1/5
Suppose -3*h = 4*t - 2 - 17, 3*t + 5*h = 28. Let l be t*(0 + -13) + 1. Let k be (7 - 2)*l/15. Is -4 smaller than k?
False
Suppose -2 = -6*n + 82. Suppose -n = -20*h + 