+ -13 - 151/104. Let r = 8437/8 - 1057. Let k = r - a. Is 1 > k?
True
Let l be (24/10)/(-3 - (-48)/15). Suppose -7*m = -l*m - 15. Suppose i - 6 = -3*u, -4*i - 3*u + 4*u = 41. Do i and m have the same value?
False
Let x(c) = -c**2 - 41*c + 63. Let k(o) = -3. Let r(s) = -6*k(s) + x(s). Let p be r(-39). Which is bigger: 160 or p?
160
Let l be (-14 - -18) + 36001/23 + -4. Let k = 1565 - l. Which is greater: 1 or k?
1
Let h = -496.1 + 496.6. Which is smaller: h or -0.0252?
-0.0252
Let v be (3300/(-215))/3 + 5. Let y = v - -4525/86. Let x = y + -209/4. Which is greater: -5/3 or x?
x
Suppose 0 = -2*r, 0 = 2*d + r - 6 - 0. Let t = d + -73. Let z = -281/4 - t. Is -9/2 less than z?
True
Let z be ((-2)/36)/(32/576). Which is bigger: z or 18245?
18245
Let j = 5436 - 11629. Is j at least as big as -6193?
True
Suppose -3 = 13*d - 12*d. Let g be (-2 + (d - -2)*4)/2. Let j be (g/2)/(0 + 27/12). Which is smaller: 1/5 or j?
j
Let h = -2/733 - 28571/5864. Suppose 0 = -2*i - 4*l + 7*l + 40, -3*i + 60 = -2*l. Suppose -16*n - 44 - i = 0. Do n and h have the same value?
False
Suppose 23*s + 2*o - 52 = 26*s, -o = s + 24. Is -11 at most s?
False
Suppose -46*u = -48*u - 4*j - 434, 5*u = -4*j - 1049. Which is bigger: u or 1?
1
Let d = 0.04828 - -0.25172. Is d not equal to -65.1?
True
Let d = -13579/90 - -753/5. Let i = d - 2/9. Let q = -49/10 + 211/40. Which is bigger: q or i?
q
Let s = 2.22 + 0.1. Let u = s + 0.88. Let l = 3.263 - u. Is 1 at least l?
True
Let h(c) = 6*c + c**2 + 15*c + 19*c - 5*c + 86 - c. Let t be h(-29). Is t smaller than -6?
True
Let v = -0.38 + -0.14. Let n be 2430/7182 - (-1 - -5 - 75/19). Is v > n?
False
Let k = 146/379 + -60118/148189. Is 1 < k?
False
Let g = 2721 - 2722. Which is smaller: 6/113 or g?
g
Suppose 0 = 4*u - 20, -u + 5 = 3*o - 2*o. Suppose 0 = -6*f - 6 - o. Let m be (112/(-7))/4*(-4 + f). Which is smaller: 19 or m?
19
Let u = 40878 + -40878. Is u <= 4/25?
True
Let q be (-3297)/90 + 2/3. Let d = q + 174/5. Do -2 and d have the same value?
False
Let m(v) = v**3 + 4*v**2 - 5*v - 14. Let s be m(-6). Let f be (5/(20/s))/2. Which is smaller: f or 0?
f
Let a(h) = 6*h**2 - 59*h + 924. Let m be a(28). Is m greater than 3973?
True
Let b(v) = -v - 5. Let u be b(-5). Suppose u = -2*l - 4 - 8. Let t(y) = y**3 + 6*y**2 + 4*y + 13. Let i be t(l). Is 0 greater than or equal to i?
True
Let g(t) = 2*t**3 + 64*t**2 - 55*t + 75. Let n be g(-33). Which is smaller: -289 or n?
-289
Let f(d) = 2*d**2 + 6*d - 15. Let l be f(-5). Suppose -j = i - 4*i - l, -2*j = 4*i + 10. Let s be (-8)/(7 + -3)*1. Which is bigger: s or j?
j
Let j = 24001417 - 1512028726/63. Let h(z) = 6*z**3 - z**2 + 38*z + 4. Let r be h(-5). Let w = j + r. Which is bigger: 1 or w?
1
Let j = -34 + 37. Suppose 0*d = d - j*p + 105, -4*p + 200 = -2*d. Let g be d/21 - (-2)/7. Is -1 less than g?
False
Let i = -232.32 + -2.58. Let m = 235 + i. Is -11 at most m?
True
Let r = 5308 + -5552. Is -241 not equal to r?
True
Let m be (-27)/(-15)*(-400)/(-60). Suppose 0 = 17*f - m*f + 205. Do f and -2/11 have different values?
True
Let y = -75074/97027 - -122/3507. Let f = y - -6/83. Which is bigger: f or -3/17?
-3/17
Let p be (-4)/(-6) - 1846/78. Let z(o) = o**2 + 24*o + 22. Let r be z(p). Do 6/49 and r have different values?
True
Let t = 24160 + -25781. Are 1 and t equal?
False
Let q(g) = 416*g - 4990. Let h be q(12). Is h != -46/105?
True
Let w be 174/(-60) - (26/(-10) - -3). Let v = 34 + -29. Suppose -2*n - 3 - v = 0. Which is smaller: n or w?
n
Let h(v) = -v**2 - 9*v - 8. Let l be h(-10). Let a = 10 + l. Let g be (a - -10)*(-1 - 0). Is 0 at most g?
False
Let g(s) = -7*s + 9. Let t be g(-7). Let m = t - 85. Let j be (-87)/m - ((-3)/(-3) + 2). Is -3 > j?
False
Let r = 407 - -51. Let u be (-2)/r*(7 - (10 - 5)). Which is bigger: u or 1/3?
1/3
Suppose -3*p = -15, -83 + 190 = l - 5*p. Let b(j) = -j**3 + 11*j**2 - 10*j + 8. Let c be b(7). Is l bigger than c?
False
Suppose 3*r + 18 = 2*l + 2, 0 = -2*l + 2*r + 12. Let n(j) = j**3 - 4*j**2 + 5*j - 3. Let z be n(l). Which is smaller: z or 2/89?
z
Let s be -2*(88/(-8))/22. Is s >= 6/311?
True
Suppose 4*g + 4*j = 1 + 7, 3*j = -4*g + 9. Suppose -2*l + k + 274 = 3*l, 0 = g*l - 4*k - 161. Is l < -1/2?
False
Let t = -115.9 + 108. Let r = 1.3 - t. Let k = 8.2 - r. Are k and 0.6 unequal?
True
Let z be (-34)/(-12) - 2 - ((-10460)/480 + 8). Does 15 = z?
False
Suppose -4*m + 5*i = -137, -2*i - 60 - 34 = -3*m. Suppose -2*w + m = 3*o, w - 5*w = -8. Let r be 5 - -7 - (-4 - -8). Is o bigger than r?
False
Let l be -18*(12/(-3))/8. Let z(o) = -o**3 + 10*o**2 - 11*o + 8. Let u be z(l). Suppose 0 = -10*j - 0*j - 110. Which is smaller: u or j?
j
Suppose 76 = -2*w + 74. Let q = 90 + -94. Is w at most as big as q?
False
Let u = -235.56 - -4.56. Is u at most 5?
True
Let n be 9/(-15) - 406791/(-1260). Which is bigger: n or 322?
n
Let d be 324/(-2394)*((-5)/50 + 0). Which is smaller: 1 or d?
d
Let s be 20/(-90) - (0 - (-4784)/342). Let l = s + 1381/152. Which is greater: -6 or l?
l
Let h = 120 - -156. Let c = 275.9 - h. Which is greater: 20/3 or c?
20/3
Let r be -2*(2835/(-60) - 5/20). Which is bigger: 91 or r?
r
Suppose -3*j = 4*y + 473, -141 = y + 17*j - 13*j. Which is bigger: y or -42?
-42
Let i = -96.9394 + -0.0606. Let t = i + 96.958. Are 0.2 and t non-equal?
True
Let x be (-7 + 5 - -4) + (13 - 5 - -1). Which is smaller: 122 or x?
x
Suppose 0 = -55*p - 4381 + 41451. Which is smaller: p or 680?
p
Let n = -69315 + 207946/3. Let b = 0.2 - 0.68. Do b and n have the same value?
False
Let q be (-3)/(153/6) + 65/408. Suppose -5 = 5*p - z, 2*z + z = 0. Which is greater: p or q?
q
Let s(v) = 5*v - 4. Let d be s(-8). Let f be ((-143)/d)/(2/(-6)). Let x = 7675 - 7675. Is f at most as big as x?
True
Let t be (-6)/60*-10*1 + 19. Is t at least -14?
True
Suppose -2*w + 146 = 4*x, -251*x + 252*x + 387 = 5*w. Which is greater: 30 or w?
w
Let u(h) = 16*h - 19*h - h - 81. Let w be u(-20). Which is smaller: -2/311 or w?
w
Suppose 2*z - 3*q + 197 - 36 = 0, 3*z - q + 259 = 0. Suppose -3*a - 3 = 0, -4*p + 3*a - 85 = -3*p. Let b = z - p. Are 0 and b non-equal?
False
Let q = 0.04 + -2.04. Suppose -33*w + 40*w + 1400 = 0. Let g be 120/w + 74/90. Which is smaller: q or g?
q
Let m be ((-8)/3)/(-4)*(-15)/20. Let g be 12/(-112)*(-5384)/(-2748). Let b = g + -1/229. Which is bigger: m or b?
b
Suppose -3042 = -587*t + 509*t. Is t < 52?
True
Let t be 6/(-15) - 124005/(-310575). Is 1 > t?
True
Let m = -88 - 18. Let o = 96 + m. Suppose -20 = 3*i + 10. Is o greater than i?
False
Let a be -10 - ((-406)/(-98) - 14). Which is bigger: a or -11.2?
a
Suppose 3*d + 25 = -65*m + 67*m, -2*m + d + 7 = 0. Suppose a - 6*a = -195. Let v be a/(-42) - (-2)/2. Which is bigger: v or m?
v
Let i be (-10)/(-8) - (-15597)/(-36). Let t = i - -457. Which is smaller: 24 or t?
24
Let m = 241 + -239. Suppose 0 = m*s + w + 4*w - 1, 4*s = 3*w - 63. Which is bigger: -11 or s?
-11
Let o be -1*(4 + -7)*6. Suppose o = -3*y + 4*n - 0*n, -5 = -5*y - 5*n. Let z be (-4*(y + 1))/((-12)/6). Are -2/3 and z equal?
False
Let a = -10 + 10.9. Let g = -159 + 166. Let q be (0 + g/21)/(-1). Are q and a equal?
False
Let f = 23701/41 + -578. Let b = f + -178/2993. Let t = -43 + 42. Which is greater: b or t?
b
Let h(s) = -s**2 + 10*s**2 - 21 - 2*s**2 + 6 - 34*s - s**2. Let f be h(9). Is f <= 166?
True
Let h = -333568441/6408 - -52055. Are h and 0 unequal?
True
Let w = -6/12075947 + 7060214489851/712480873. Let j = w - 9909. Which is smaller: j or -1?
-1
Let f = 21705/2 - 10839. Let v = -11.2 + 11. Which is smaller: v or f?
v
Let h = 6.21 + -6.6. Let k = h - -4.39. Is 28 not equal to k?
True
Let t be 20/6*(-60)/(-50). Let v(n) = -5*n**3 + 3*n - 4. Let k be v(t). Let o = k + 2188/7. Which is smaller: 0 or o?
0
Let h = 9804447/6815 + 195/1363. Is 1439 less than or equal to h?
False
Let c be -1 - (3 + 9/27)*36/10. Let s(v) = -5*v**3 - 2*v**2 - v. Let i be s(-1). Is c bigger than i?
False
Let v be (272/(-119))/(4/(-14)). Let o be 0/(3/12*v). Is o smaller than 4/19?
True
Let j = 128689 + -128715. Let h = -1 - -1. Which is smaller: h or j?
j
Let x be 28/8*((-455)/147)/(-13). Let k = 0.6 - 1.3. Is k at most as big as x?
True
Let a be (4 + (-209)/38)/(2/812). Which is bigger: -607 or a?
-607
Let q be (-1 + -3 - -3)*-42. Let c be (-5 + 2 - (-114)/36)*249. Is c at most as 