 0*l - 5*m - 20 = 0. Let j = -18 - l. Are -20 and j equal?
True
Suppose -5*f - 4*h + 8*h = 187, -61 = 2*f + 3*h. Which is smaller: f or 8?
f
Let l be (1213/1 + -1)*438/1752. Which is smaller: 2/3 or l?
2/3
Let m = -1039 + 17653/17. Let n = -1001 - -1001. Which is smaller: m or n?
m
Let o = 99921/8 - 12509. Which is smaller: -18 or o?
o
Suppose -16 = 2*a + 6. Suppose -14*k = -34*k. Suppose k = 142*x - 145*x - 27. Which is smaller: a or x?
a
Let x = -1321/9 - -147. Let v = -144 + 142. Let y be (v/8*6)/(3/(-2)). Which is greater: x or y?
y
Let k be (-4099)/684 + 18/3. Let n = k - 397/85500. Which is greater: n or 1?
1
Suppose -h - 31 = 37. Let o = 108 + 32. Suppose 0*w = -2*w - 4*u - o, -w + 4*u - 64 = 0. Is h > w?
False
Let w = -993399/127 - -7822. Which is bigger: 0.2 or w?
0.2
Let p = 132 - 67. Let d be 396/90 - (-4)/(-10). Suppose 4*s - 3*z - 188 = 69, -d*s - 5*z = -265. Do s and p have different values?
False
Let d(c) = 2*c - 60. Let x be d(13). Suppose -8 = 4*z + 4. Let f(v) = v**3 - v**2 + v + 7. Let s be f(z). Are x and s nonequal?
True
Let f = 490 + -1937/4. Which is smaller: f or 5/3?
5/3
Let a be (-7)/(112/(-5 + 21)). Which is smaller: a or 73/211?
a
Let h be (8/10)/(4 + (-152)/40). Suppose 4*v = -4*o - 708 - 248, v + 224 = h*o. Which is smaller: -235 or v?
v
Suppose 2*s = 5*g + 226316, g - 5*s + 39757 = -5520. Let p = g - -678466/15. Let f = p - -31. Which is greater: 0 or f?
f
Let z = 41649 - 41972. Which is smaller: z or 0.25?
z
Suppose -10*c + 1533 = 1253. Let p be -75*(-3 - 26/(-10)). Is c at least p?
False
Let c(w) = 44 - 108 + 5*w + 2*w**2 + 38 + 39. Let o be c(-2). Suppose -3*q + 24 + 15 = 0. Is o > q?
False
Suppose 0 = -35*o + 33*o. Suppose 544 = 4*s - o*r + 4*r, 3*s - 2*r = 433. Is s <= 140?
False
Suppose 4*d = 5*n + 34433, -n - 6875 = -7*d + 12*d. Let b be (6/4)/(6 + n/1150). Which is smaller: b or 116?
b
Let z = -61.2 - -130. Let q = 44.8 - z. Let h = 0.1 - 0.3. Which is bigger: q or h?
h
Let f = -2772 - -2753. Let q = -1 + 1.8. Let c = q + -0.7. Which is smaller: f or c?
f
Let j(v) be the third derivative of -v**6/120 + v**5/60 + v**4/6 - v**3/3 - 9*v**2. Let c be j(2). Let b = -3170/13 + 245. Which is bigger: c or b?
c
Let a be (-57)/6 + ((-35)/(-14) - 1). Which is smaller: -70/9 or a?
a
Let n = -15.025 - -15.125. Do 1/16 and n have different values?
True
Let g be (-27)/162*(-114)/(-26). Suppose 4040*x - 4039*x = 0. Is x less than g?
False
Let j = -9 - -17. Suppose -12*h + 27 = -57. Suppose h*x - 2 = j*x. Which is smaller: x or -4?
-4
Let z(d) = 72*d - 13175. Let u be z(183). Which is bigger: u or 104/183?
u
Let i = -0.0502 + 0.2042. Let w = 5.154 - i. Is 0.13 not equal to w?
True
Let m be (-758)/6 - (16 + (1 - 18)). Suppose x + 9 = -115. Which is bigger: m or x?
x
Suppose -52 + 28 = -4*q. Suppose -12*x + 18 = -q*x. Suppose x*k - 4*m + 18 = 6, 4*k + 4*m = 12. Does k = -1?
False
Let s = 4.8 - 1.8. Let u be -4 + (-496)/(-64) - (-2 + 2). Is s less than or equal to u?
True
Let i = -54.8 + -6.4. Let g = i + 61.189. Which is smaller: g or -4/3?
-4/3
Suppose 0 = 8*j - 4*j. Let v be (3/(-27))/(-4 + 280/72). Is v < j?
False
Let l(h) = 4*h**2 - 3*h - 13. Suppose -3*y + 12 = t, 4*t + 5*y = 6*t + 9. Let o be l(t). Which is smaller: 8 or o?
8
Suppose -d + u - 5*u - 31 = 0, 2*d = 4*u - 74. Suppose 77*v + 1856 = 19*v. Is v != d?
True
Suppose -8 = 4*a - 8*a. Let v be ((-3)/(-12))/(2 + a). Let g = 154.2 + -154. Which is bigger: g or v?
g
Suppose 2*f - 416 + 168 = 0. Let x be 35862/(-294) + (4 - 6). Let l = f + x. Which is bigger: l or -1?
l
Let a = -201.1447 + 201.5. Which is smaller: -2 or a?
-2
Let s = -5396 + 5320. Is -50 > s?
True
Let i = -12 + 14. Let d = -180 + 180.73. Which is smaller: d or i?
d
Let n = -0.0507 - -42.0507. Let i = -5 - -22. Let j = i - 18. Is j bigger than n?
False
Let h be (1/6*-2)/((2968/(-54))/28). Is h != -1?
True
Let q be -2 + (-7)/(7/(-2)). Suppose z - 34 + 30 = q. Suppose -z*a + 0*a = -7*a. Which is smaller: a or -2/15?
-2/15
Let u(s) = -9*s. Let p be u(0). Let w be p + -50*4/(-8) + 1. Let v be (w + -26)/(1 + -4). Which is smaller: v or 2/45?
v
Let a(z) = z**2 - z + 2. Let q be a(2). Let v(m) = m**3 - 6*m**2 + 12*m - 10. Let l be v(q). Suppose o + l = 4*o, -y - o + 9 = 0. Is y not equal to 7?
False
Let z = -2.9 + -1.1. Let b = 2.18 + -0.36. Let q = 0.82 - b. Which is smaller: z or q?
z
Suppose 572781 = 191*w - 1505872. Are w and 10884 nonequal?
True
Let b = -2050 + 2875. Which is greater: b or 824?
b
Let v = 15938 - 15902. Is v less than or equal to 145?
True
Let y = 13088399/2337 - 232650/41. Let l = y + 221/3. Is 2/13 > l?
True
Let l = -0.061 + 0.021. Let d = 82 + -86. Which is greater: l or d?
l
Let j be 15/(-10)*(-5)/39. Suppose -28 = -4*q + 5*q. Let x = q - -27. Is j at most x?
False
Let v(b) = 3*b**2 + 18*b - 15. Let o be v(-12). Let r be (o/29)/3 + (-36)/18. Is r at most as big as 0?
False
Let m be (0 + 4/(-22))/(-3 + 6). Let b = -429 + 429.6. Which is bigger: m or b?
b
Let n be 24010/(-455) + 27/(-117). Is n at most as big as -986/19?
True
Let o(n) = -36*n**3 - 20*n**2 - 18*n + 1. Let z be o(-1). Suppose 2*u + w = 4*w + 5, -3*u + 2*w + 20 = 0. Let y = u - -26. Which is smaller: y or z?
z
Suppose -687 = 2*p - 6*h + h, -4*p = -5*h + 1379. Let x be p/715 + 66/165. Which is bigger: x or 1?
1
Let u be 100/12 - 2/6. Let k be ((-69)/(-2))/(5 - u). Are -11 and k equal?
False
Let c = 356.31754 - 356.3. Which is smaller: 0.2 or c?
c
Suppose n = 0, 18767 = -3*y + 4*n + 18632. Let j = -5 + 0. Which is smaller: y or j?
y
Let y = -9913/457691 - -5/221. Let h = -1850 + 1849. Which is greater: h or y?
y
Let b = -25212 - -24495. Is b at most as big as -708?
True
Let d be 1340/3 + 10/30. Let t = 1339/3 - d. Let k be 110/(-238) - 8/(-28). Is t equal to k?
False
Suppose 133*m - 134*m - 5*d - 11971 = 0, -4*m - 4*d = 47852. Which is smaller: m or -11960?
m
Let u = 44.036 + -44. Let f = -0.074 - -0.1. Let z = f - u. Is z <= -3?
False
Suppose 59 = -40*r + 99. Which is smaller: r or 7/36?
7/36
Let h(p) = -p**3 - 16*p**2 - 47*p + 3. Let l be (-26)/7 + (-8)/28. Let i be h(l). Let c be 1/(-2) + 11/18. Is i > c?
False
Let u(q) = q**3 - 11*q**2 + q - 15. Suppose -88 = -10*f + 2*f. Let w be u(f). Let m be (w/15)/(-3 + (-203)/(-63)). Are m and 0 nonequal?
True
Let w be 210/315*(-146 + -1). Let z = 0 + -0.2. Is w < z?
True
Let j(v) = -2*v**3 - 28*v**2 - 26*v + 1. Let a be j(-13). Suppose 5*n + a + 6 = z, -4*z = 2*n + 38. Is z less than 1?
True
Let i be (-15*7/(-84))/(2/8). Suppose i*v + 5*v + 100 = 0. Is -12 at least v?
False
Suppose 19*u - 2*v - 352 = 15*u, u - v - 89 = 0. Let s = u - 8. Which is greater: 76 or s?
s
Let l = -675360/6762593 - -255/2423. Which is bigger: l or 0?
l
Let o = -23654 - -23427. Which is smaller: o or 1/4?
o
Let j(g) = -2*g - 50. Let y be j(-6). Let h = y - -36. Let m be -3 - h/(32/(-28))*-3. Is m bigger than 1?
True
Let q = -88761/164174 + -3/1978. Which is greater: 0.2 or q?
0.2
Let n = -318077/284 - -1120. Which is bigger: n or 2?
2
Let t(a) = 107*a + 50. Suppose -16*j + 26*j = -20. Let s be t(j). Is -164 < s?
False
Let l = 4327 + -4321. Are -457 and l nonequal?
True
Let g(l) = -342*l + 1040. Let m be g(5). Does -668 = m?
False
Let h be 2/(-3) - 3346/(-42). Which is bigger: h or 63?
h
Let m be (((-43904)/288)/(-49))/((-2)/(-117)). Let k(b) = 46*b**2 - b. Let a be k(2). Are a and m equal?
True
Let t(s) = s**3 + 16*s**2 - 17*s - 9. Let m be t(-17). Let l be ((-63)/(-1204))/m + -1 + 1. Which is greater: 1 or l?
1
Let r be 53041/(-12921) + (-22)/(-6). Which is greater: 1 or r?
1
Let w be (((-12)/27)/(-4))/(15 + -18 + 2). Is w at least -392?
True
Suppose -8*u = -12*u + 88. Suppose -u = 4*k + 6. Suppose 6*g - g = -30. Are g and k equal?
False
Let b = 472.6 - 473. Which is smaller: b or -306.8?
-306.8
Let i be ((-242)/(-3))/(25/(-75)*3/33). Is i at least as big as -2662?
True
Let g = -3362.79 + 3340. Let m = 0.79 + g. Let a = 9 + m. Which is bigger: -1/4 or a?
-1/4
Let a(m) = -m**3 - 30*m**2 - 53*m + 23. Let w be a(-28). Let r = w + 108. Is r at least 189/4?
False
Let a be 18*((-441)/(-18)*-1 - -10). Which is smaller: -1039/4 or a?
a
Let m be (-9 + 119/14)*-42. Suppose m*k - 1410 = -13653. Which is bigger: -584 or k?
k
Let v = 24621174/211 + -116688. Let o be -1*3*3/9. Is o equal to v?
False
Suppose 0 = c 