*u, 4*u - 3 - 9 = -3*m. Is m <= s?
True
Suppose 3*x = -3*l + 26 + 13, -5*x = -4*l + 34. Let a be 1*-2 + 6 - (-3538)/488. Which is smaller: l or a?
l
Let j = 47 + -43. Suppose -3*y - j = -4. Let s be 4/10 - 4/10. Is y greater than s?
False
Let p = 392 - 305. Does 87 = p?
True
Suppose 3*r - 9 = 0, 0*l = 5*l - 5*r + 45. Let b be 2 - 5/2 - (-3)/l. Which is smaller: b or -3/8?
b
Suppose 2*x + 3*a - 11 = -0*a, -4*x - 4*a + 16 = 0. Let i = 84/377 - -498142/1131. Let o = i - 72716/165. Which is smaller: o or x?
o
Let y = 15 + -14.76. Let j = y + -0.07. Which is greater: 0.2 or j?
0.2
Let u be 4 - (-303)/(-5) - (-12)/(-30). Which is bigger: u or -56?
-56
Suppose 82*a - 5 = 81*a. Suppose 2*x - 6 = -5*t, -2*t - 1 = a*x - 16. Is -1 less than t?
True
Suppose -54 = 2*j + 2. Let i = -41 - j. Is -12 greater than or equal to i?
True
Let x be 4/(-16) - 358/8. Let y be 32/(-10) + (-9)/x. Let p be y/(-9) + (-10)/3. Is p <= 1/3?
True
Let s = -69 - -36. Let g = s - -34. Which is greater: -3/7 or g?
g
Suppose -140*z + 24 = -146*z. Which is greater: z or -31/9?
-31/9
Let h = -390 - -450. Which is greater: h or 64?
64
Let n = 0.32 - 0.66. Let l = n - -3.04. Let v = l + -0.7. Is v >= 1?
True
Let a = 99/10 - 49/5. Is a at least 5?
False
Suppose 0 = z + 2*l + 228, 2*z = -3*z - 3*l - 1119. Are -223 and z equal?
False
Let g = -129 - -128. Let c be 4/(-5) - (-8)/(-40). Is g at most as big as c?
True
Suppose p - 2 = -2*j, 5*p + 7*j - 11*j = -4. Which is greater: 0.32 or p?
0.32
Let m be 15755/(-138)*((-3)/10 - 0). Which is smaller: m or 33?
33
Let b = -5768869/347 - -16625. Is 0 at least b?
False
Suppose -13*z = -10*z + 24. Let m = z + 10. Is m at most as big as -5?
False
Suppose -u + 2*q + 2*q + 12 = 0, -q = -3*u + 3. Let r be (86/10 - 5)*(u + 5). Is 17 smaller than r?
True
Let z be 6/((-12240)/(-355)) + 3/(-24). Is z bigger than -1?
True
Let x be ((-4)/(-10))/(-1) - 64/(-360). Is x > 2/13?
False
Suppose -3*n = -7*n + 32. Let z be ((-24)/4 + -2)/(-1). Is n <= z?
True
Let d(l) = l**3 + 23*l**2 + 42*l + 2. Let a be d(-21). Suppose 2*p = -a - 4, 2*p - 4 = -2*m. Is -1/3 >= m?
False
Let u = 0.1 - -0.14. Let a = -7.24 + u. Is a bigger than 2/3?
False
Suppose 3*o - 13 = 2*g, -6*o + o - 4*g = 15. Let c be o + -27*(-3)/(-78). Which is smaller: -1 or c?
-1
Let z = -121.5 + 121.6. Let j = -6 + 7.5. Let w = 1 - j. Which is smaller: w or z?
w
Suppose g + 2 = 3. Suppose -f - 13 = -13. Suppose o + 2 - g = f. Which is bigger: -3/8 or o?
-3/8
Let r = 1/709 + -6424/30487. Is r not equal to 1?
True
Let j be (1*(-1)/1492)/(18/(-72)). Is j greater than or equal to 0?
True
Let c be (-10 - 38)/(6/4). Let w = -451/14 - c. Is 0 at most as big as w?
False
Suppose 4*b + b + 5 = 0. Suppose c = 18 - 108. Let x be (-8)/c*(-30)/(-36). Which is greater: b or x?
x
Let k be (-1)/3*(0 - -3). Let v = -129 - -761/6. Are v and k non-equal?
True
Suppose -3*n - 2*v = -101, 0*v - 2 = -2*v. Suppose -2*l - 58 + 3 = -3*d, n = -l - 4*d. Is -30 at least as big as l?
False
Suppose 4*u + 3*r + 1 = 0, 0*r = 5*u + 2*r + 3. Let d = 80075/7 + -11440. Is d bigger than u?
True
Suppose 13 = -4*n + 29, u = -3*n - 4. Is u greater than or equal to -6?
False
Let l = -1 - -1. Let h = -2.01 - -87.01. Let m = h - 84.7. Which is smaller: m or l?
l
Suppose 0 = 3*m - 101 - 25. Let t = 42 - m. Which is smaller: t or -1?
-1
Let l be -1 - ((-1 - 0) + 100). Let k be l/(-55) + 2/11. Suppose -3*v = k*d + 16, 3*v - 7 = 2*d - 3. Does -2 = v?
True
Let c = -0.87 - 50.13. Let w = 57 + c. Do w and 0.2 have different values?
True
Suppose -q - 5*y = -5*q - 39, y - 10 = q. Suppose -7 = d - 5*r, 0 = -r - 0*r - 1. Which is smaller: q or d?
d
Let b = 228 - 230. Let m = -3 - -4. Let z = m + -2. Do z and b have different values?
True
Let q = -78.5 - -97.2. Which is smaller: q or -1/4?
-1/4
Suppose -4*v - 29 = -5*q + 40, -4*v - 5*q = 19. Let a be 2/(-5)*(0 + -5). Suppose 0 = a*y + 2*d + 16, -2*y = y - 5*d + 40. Which is smaller: v or y?
v
Suppose 2*j - 4*j + 90 = 0. Let k = j - 41. Is k smaller than 4?
False
Let n be (-2)/4 + 10/20. Suppose o - 3 = 0, -i - 6*o + 4*o + 2 = n. Suppose 3*t + 0*t - v = -12, 4*t + 4*v = -16. Is t at least i?
True
Suppose 340 = 14*c + 18. Which is bigger: 24 or c?
24
Let j = 0 + -1. Let g = 127 + -132. Which is smaller: g or j?
g
Let k be 0 - (2 - -5) - 1. Let f be (-2 - -12)/(k/4). Let a(d) = d**2 + 7*d - 4. Let s be a(f). Which is smaller: s or -15?
-15
Let d be 52/(-80) - (-1)/(-4). Let m = 7/30 + d. Which is greater: -24 or m?
m
Let f be ((-12)/10)/(-2 + (-684)/(-345)). Let c = 60 - f. Which is smaller: c or -8?
c
Let s be (-52)/14 - (-14)/(-49). Let k(i) = -i**3 - 5*i**2 - 5*i - 9. Let x be k(s). Let q(g) = -g**3 + 4*g**2 - 1. Let u be q(4). Does x = u?
False
Let y be 1/(((-27)/3)/3024). Is y at least -1339/4?
False
Let i be (-1340)/25 - (-6)/(-15). Let p = -64 - i. Is p at most as big as -7?
True
Let w be -1 - (-30)/(-10) - 9/(-4). Which is smaller: w or 2?
w
Suppose -3 = -5*m - 13. Let h be m + (5 - 1) + 0. Suppose 0 = -c - 7*a + 4*a - 10, -2*a = 2*c + 4. Is h at most c?
True
Let x(l) = -3*l**3 + l. Let t be x(-1). Let o = 2/8883499 - -5534418237/7284469180. Let n = 2/205 - o. Is t <= n?
False
Let c(o) = 36*o**2 - 23*o + 14. Let w(b) = 12*b**2 - 8*b + 5. Let h(d) = 6*c(d) - 17*w(d). Let t be h(-1). Is t > 14?
False
Let u = -394 - -592. Suppose -2*k - u = 5*v - k, -5*k = -4*v - 141. Is v at least -38?
False
Suppose 3*n + 4*m + 3 = -0*m, 5*m = 4*n - 27. Let d = 5 - n. Let c(o) = -o**3 + 4*o**2 - 3*o. Let k be c(d). Are 3 and k equal?
False
Let k = 15 + -14.71. Let f = k - 0.69. Is 4 at least f?
True
Suppose -4*l - 4 - 8 = 0. Let z = l - 3. Let u(a) = -a**2 - 5*a - 5. Let y be u(-5). Is y < z?
False
Let g = 22 + -42. Let s = g - -302/15. Let b = -73 - -72.9. Which is smaller: b or s?
b
Let c = -32 + 38. Suppose -3*u + 12 = 3*l, 0*l + 17 = 4*u + 3*l. Is u smaller than c?
True
Let b = 12 - 16. Let k be (2 + (b - -1))*-1. Which is bigger: k or 1/4?
k
Let l be (0 + -1)/3*98. Let k = 36 - 69. Let x = k - l. Are 0 and x unequal?
True
Suppose -l + 2*l = 2*v - 2, -28 = -4*v - 4*l. Suppose 16 = w - v*w. Let n(d) = 4*d**3 + 41*d**2 + 8*d - 27. Let b be n(-10). Which is bigger: w or b?
b
Let w = 816.9 + -874. Let n = w - -57. Let b be 7/9 + -2 + 1. Which is smaller: b or n?
b
Let c = 533 - 532. Which is smaller: 471 or c?
c
Let u = 224 - 223.9. Which is smaller: u or -0.18?
-0.18
Let h be (-65)/(-315) - ((-28)/18)/7. Let z = -2 + 1.9. Do z and h have different values?
True
Suppose -k = -4*f + 27 + 44, f - 39 = -4*k. Let t = -661 + 391. Let u be (t/150)/(1*(-2)/20). Which is bigger: u or f?
f
Suppose -5*s = -6*s - 8. Let i be s/(-12) - 4/6. Which is bigger: i or 2/131?
2/131
Suppose 3*t - 27 = -24. Let z(c) = -c. Let w be z(-4). Let r(i) = -i**3 + 5*i**2 - 4*i + 2. Let y be r(w). Do t and y have different values?
True
Let n be 8/(-6)*171/93594. Which is greater: -0.1 or n?
n
Let o(r) = 2*r + 3. Let n be (-4*(-5)/20)/(-1). Let c be o(n). Are c and 1/39 non-equal?
True
Let k = 1496 + -1736. Is k < -237?
True
Let h be (-2)/(-8) - (-38)/(-216). Suppose 27*r = 81*r - 37*r + 68. Is r >= h?
False
Suppose -7*q - 8 - 20 = 0. Let k be q/(-8)*(-2)/(-19). Is k at least as big as 2/5?
False
Let v = -91 - 68. Let f = -157 - v. Is f at most 3?
True
Suppose -2*u = 12*u - 1876. Is 134 greater than u?
False
Let u = 1304 + -1303. Are 2/2337 and u nonequal?
True
Let c = 0.001 - -19.999. Let j = c - 42. Which is smaller: 1 or j?
j
Let n be (-8)/66*(-9)/2. Suppose 12*c = -114 - 582. Let q = c + 60. Which is smaller: n or q?
n
Let k = -0.091 - -0.001. Let z = k + 0.09. Which is smaller: z or 25?
z
Let v = 509 + -25967/51. Which is greater: v or 0?
0
Let i = 6 + -6. Let s be (-21)/(-7) - i/1. Let p be s/5*(-5)/(-14). Which is bigger: p or 1?
1
Let u be -6 + 4/(-10)*170/(-17). Is -32 >= u?
False
Let y = 41234959/90 - 458172. Let w = -89/10 - y. Which is smaller: w or -2?
w
Let o = -24053 + 5700589/237. Is -1 at most as big as o?
True
Suppose 13*p - 16*p = -12. Let j be 105/(-40) + 6/p. Let t be 6/(-21) + (-2)/(-7). Is j equal to t?
False
Let p = 187.11 - 187. Which is smaller: p or 10/3?
p
Suppose -6*n + 28 = -4*n. Suppose 0 = 9*t - n*t + 80. Is t at most as big as 15?
False
Let t be -3 - 21/(-9) - 6/(-9). Which is bigger: t or -3/229?
t
Let w = -103 + 74. S