55/(-124) - (-106)/72. Do c and -2/23 have different values?
True
Let y = 237 + 108. Are y and 346 equal?
False
Let q = 20 + -20. Let h = q - -0.04. Let t = h + -0.04. Which is smaller: t or -2/17?
-2/17
Let b = 104 + -45. Which is bigger: b or 115/2?
b
Let q = 0.1818 + 0.0182. Is q greater than -40.5?
True
Let z = 53 + -37. Let k(j) = j + 4 - 5 - 2*j**3 + 3*j**3. Let n be k(0). Are n and z unequal?
True
Let m = -176 - -179. Suppose 5*r + 52 = -273. Let q be r/m - 8/(-12). Which is greater: -20 or q?
-20
Let l = -259 + 275. Is l smaller than 3?
False
Let j be (-6904)/(-22) - 13/(572/(-8)). Which is smaller: 315 or j?
j
Let v be ((-4)/(-3))/(72/(-54)). Which is smaller: -7/45 or v?
v
Let p be 4/24 - 398/2424. Is 0 >= p?
False
Let c be 4/(-6) - (-9)/216*-8. Which is smaller: 3/25 or c?
c
Let g = -143 - -154. Which is smaller: 74/7 or g?
74/7
Let c = 359573/25479 + -4/2831. Which is greater: 14 or c?
c
Let o = -4 - -46. Let q = -36 + o. Is 0.1 less than or equal to q?
True
Let o = 9.47 + -10.9. Is 0 smaller than o?
False
Let n be 18980/130*8/6*3. Is 584 at least as big as n?
True
Let i = 2956 + -3040. Which is smaller: i or 0?
i
Let h(i) = 4*i**3 - 13*i**2 + 3*i + 7. Let u be h(4). Suppose -3*a - 5*v + 184 - 3 = 0, -a = 3*v - u. Which is smaller: a or 53?
a
Let m = -1.67 - -0.17. Let v = m - -1.7. Is -8 > v?
False
Let l be (-5)/((-10)/(-16))*(-45)/(-2). Let m be ((-9)/(l/8))/((-83)/5). Which is smaller: m or 1?
m
Let c = 175 - 176.035. Let t = c - -0.035. Do t and 3/7 have the same value?
False
Let w = -28/5 - -328/55. Suppose -2*v = 3*f - 1 - 0, f - 19 = -3*v. Suppose -2*p = 10 - v. Which is bigger: w or p?
w
Let t be (-4)/3 + 2/(-3). Let m(i) = i**3 - 3*i**2 + i. Let y be m(4). Let v be 2/4*y/(-6). Is v > t?
True
Let p = -317 - -316. Which is smaller: p or 1/230?
p
Let n = 2.847 + -0.847. Which is smaller: -8/33 or n?
-8/33
Let t(b) = -b**3 + 49*b**2 + 49*b + 40. Let r be t(50). Is 33 greater than r?
True
Suppose 0 = o + o - 74. Suppose 5*m = o + 8. Let l be 5 + (-18)/(-30)*5. Which is smaller: m or l?
l
Suppose 3*z + 2*f - 14 = -3*f, 4*z - 5*f = -28. Suppose 2 + 0 = 2*s. Let m be z + s*(3 + -2). Is m at most -4?
False
Suppose -4*p + 88 = -8. Let l = -169/7 + p. Is -1 > l?
False
Let h(a) = -2*a. Let r be h(-1). Suppose -v = -r*v + 14. Let d be (-1)/(1*(0 + v)). Which is smaller: d or -1?
-1
Suppose 7 + 3 = -2*j, -5*w = -j - 90. Which is bigger: 19 or w?
19
Suppose 4*s - 16 = 0, 61 = 4*y - 3*s + 25. Let h be y + ((-14)/(-28) - 1/2). Which is smaller: h or 11?
11
Let b = -261 + 262. Which is bigger: -409 or b?
b
Let d = 270.33 - 270. Let n = 0.4 + 0.6. Is n at most d?
False
Let z = -308 + 304. Which is bigger: z or -84/29?
-84/29
Let v be ((-3)/(-9))/((-1)/(-3)). Let o = -224/39 - -5444/975. Which is greater: o or v?
v
Suppose -5*o - 2 = -17. Suppose 3*w = 6, -w - 4 = -0*x - 3*x. Suppose -5 + x = 3*f. Is o bigger than f?
True
Let o = 30 + -28. Let f(d) = -2*d + 5. Let j be f(-3). Suppose 5*u + 42 = j*u. Which is smaller: o or u?
o
Let u be (-17864)/(-6188) - 4/34. Which is smaller: u or 2?
2
Let f = -542 + 541.9. Is -6.6 >= f?
False
Let h be 2/(-6) - 8*(-6)/(-72). Suppose 7*q - 9*q = 4. Is h >= q?
True
Suppose -73*b = -35*b. Which is bigger: b or -13/12?
b
Suppose -3*a - 3 = -2*a, -3*j = -5*a - 24. Let n = -3 - j. Let r be (n/75)/(8/(-10)). Which is greater: r or -1?
r
Let u be (-19 + (0 - 1))*2/4. Let a = -11 - u. Let r be (-1)/1 + 1 + -1. Is a greater than r?
False
Let s be 0 - 19 - (2 + -1). Suppose 0 = 23*x - 24*x - 19. Which is bigger: s or x?
x
Let n = -24.516 - -25.6. Let t = -0.056 - n. Which is bigger: 0 or t?
0
Suppose w + 37 = 2*a, -3*w + 4*w - 3*a + 42 = 0. Suppose -4*d + d - i = -54, 5*i + 15 = 0. Let n = w + d. Is n at least as big as -0.1?
False
Let s be ((-2)/39)/(-7*(-742)/147). Which is smaller: 1 or s?
s
Let u = 28 + -10. Let z = u + -15. Suppose 5*y = z*y - 16. Which is smaller: -9 or y?
-9
Suppose 0 = 3*j - 6, -6 = -5*r + 3*r + 2*j. Suppose -2*x = 3*x - r. Let l be x*((-9)/(-3))/(-21). Do -1 and l have the same value?
False
Let t be 0/(-4)*7/14. Which is greater: 134 or t?
134
Let j = 302/25 - 62/5. Is j bigger than 1?
False
Let a = -54.98 - -55. Let c = a - -1.28. Which is bigger: c or -0.4?
c
Let c = 2405003/625 + -3848. Which is bigger: c or 0?
c
Suppose -o - o = 8. Suppose -2*r + 5*f = -14, 3*r = -3*f + 25 + 17. Suppose 5*z - r = 8*z. Is o at most z?
True
Let h(f) = -15*f + 1. Let o be h(1). Let m be (-3 - 87)*2/(-3 - -1). Suppose 28*p - 22*p + m = 0. Which is smaller: o or p?
p
Suppose -6*a + 2 = -10*a - k, -2*a = -3*k + 8. Which is greater: -0.001 or a?
-0.001
Suppose 4*k + 2*u = -10 + 2, -2*k + 2 = -2*u. Are -1/292 and k equal?
False
Let b = -6584 + 599156/91. Which is smaller: 1 or b?
b
Suppose 0 = -13*r - 6 - 7. Let t(v) be the first derivative of -2*v**3 - v**2 - v + 1. Let h be t(r). Is -7 at least as big as h?
False
Let d = -58 + 71.4. Let u = 11 - d. Let r = u - -2.7. Which is smaller: -2/5 or r?
-2/5
Let f(h) = -2*h**3 - 13*h**2 - 14*h + 17. Let w(q) = -2*q**3 - 12*q**2 - 14*q + 17. Let g(d) = -6*f(d) + 5*w(d). Let o be g(-8). Which is smaller: o or -6/11?
o
Suppose -5*f - 4*q = -8*q + 1307, -2*f - 5*q = 503. Let i = 145793/4 + -3908443/108. Let c = i + f. Which is smaller: -1 or c?
-1
Suppose 877 - 247 = 7*l. Let p be (-4)/6 + 384/l. Which is greater: p or 4?
4
Suppose g + 7 = 5. Let y be 42/24 - g/8. Which is smaller: y or 2.2?
y
Suppose 0 = 3*n - 2*m + 16736, -3*n - 3*m + 22314 = -7*n. Let v be 6/(-39) + (n/(-1794) - 3). Suppose 3*r = 2*r. Which is greater: v or r?
r
Suppose -t + 97 = -5*p, -2*t - 3*p + 44 = -202. Suppose -t = -3*a - 5*n + 2*n, -2*n + 10 = 0. Which is greater: a or 35?
35
Let x = -4 + 1. Let y be x - (-4)/(-6)*21. Is -17 < y?
False
Let u = 15/14 - -11/42. Let j = -787.1 - -786.1. Do j and u have different values?
True
Let p be (2 - 3/2)*-1. Let t = 9 - 15. Let g be t/5 - 3/(-15). Is g greater than or equal to p?
False
Let w(y) be the second derivative of y**5/20 - y**4/4 - 2*y**3/3 + 2*y**2 + 3*y. Let p be w(2). Let g be 2/p + (-53)/(-4). Is 14 less than or equal to g?
False
Suppose 6*i + 3 = 9*i. Which is smaller: -4/55 or i?
-4/55
Let a = 870 + -630. Which is greater: 239 or a?
a
Suppose 5 = t - 5*w - 11, 4*t = 2*w + 10. Let l = 2 + t. Let q be (3/(-2))/(l/(-1)). Which is smaller: q or 0?
0
Suppose -13 - 11 = -6*t. Suppose -t*l - 16 = 0, -4*l - 17 = 3*j + l. Suppose -j = -r + 1. Is 0 != r?
True
Let a = -92 - -91. Which is bigger: a or 3/232?
3/232
Let i be 617/(-28) - (9 + -10). Let u = 83/4 + i. Is u at most 2/5?
True
Suppose -u - 1 = -4*m, -3*m - 5*u + 4 = 9. Which is smaller: m or 5/16?
m
Suppose -2*i - 5*z = 3 + 6, -5*i + 3*z - 7 = 0. Let c = -1 - -6. Suppose c - 1 = -2*j. Is j at least i?
True
Let i(d) = -d - 11. Let y be i(-6). Let p be 10/((-265)/85 - -3). Let s be -2 - y/(p/(-32)). Do s and 0 have the same value?
False
Let w be 10 - 6 - (1 - 0). Suppose 12 - 84 = -w*o. Is 23 greater than or equal to o?
False
Let v be (-1 - -252)/(-20 + 17). Let i = v + 65. Is -18 greater than i?
True
Let h(y) = -y**3 + 11*y**2 + 3*y - 32. Let m be h(11). Let v be (-9)/m*(-60)/36 + -2. Which is greater: -1/4 or v?
v
Let h be 6/(-81)*3/1. Let w = 0.6 + -6.6. Which is smaller: w or h?
w
Suppose -89*j - 7 = -82*j. Are -2/1217 and j unequal?
True
Let l be 7024/304 - ((-84)/(-76) - 1). Does 231/10 = l?
False
Let l = 101 - 99.78. Let q = l + -1.2. Which is smaller: q or -1?
-1
Let s = 5.26 + 0.74. Let a = -10 + s. Suppose 0 = 2*j + 3*j + 10. Is j bigger than a?
True
Suppose 280*z - 312*z + 1472 = 0. Do z and 47 have the same value?
False
Let j(h) = -18*h + 3. Let i be j(-2). Let s = i - 19. Let w = s + -32. Is w bigger than -11?
False
Let k(w) = -9*w**2 - 108*w. Let s be k(-12). Which is greater: 2/1217 or s?
2/1217
Let c = -393 - -602. Which is greater: 211 or c?
211
Let h(k) = k**3 + 2*k**2 - k + 7. Suppose f - 3*f - 6 = 0. Let p be h(f). Is p less than -6/17?
False
Let p be (-50)/(-15)*(-1 - (-10)/16). Let o be (3/(-3) + 1)/1. Which is bigger: o or p?
o
Suppose -2*g = 0, -4*h - 5*g = -0*g - 16. Suppose 3*n - 18 = h*n. Is -18 <= n?
True
Let n be 62/324 + (-2)/4. Let k be 4 - 1 - 723/243. Let v = n - k. Is v >= -1?
True
Let u be (9/6)/((-30)/(-8400)). Is 419 greater than or equal to u?
False
Let d be