 -16 = i?
False
Let q = 14 - 5. Let g = q - 9.14. Let r = 0.04 + g. Are -2/9 and r equal?
False
Suppose 0*u - 15 = -u + v, -v + 7 = u. Suppose 5*b + u = -9, -84 = -4*z + 3*b. Is 18 != z?
False
Let q = 2.66 + -0.16. Is -1 at least q?
False
Let o(h) be the third derivative of h**4/24 - h**3/2 - h**2. Let s be o(3). Let u = -913/7 - -911/7. Which is smaller: u or s?
u
Let u = -927 + 957. Suppose -2*r = 2*w + 6, 0 = -r - 0*w + 2*w. Is r greater than u?
False
Let t = -2205.077 - -2206. Let x = t - 0.133. Let r = -0.01 - x. Which is bigger: 0.1 or r?
0.1
Suppose 3*u - 2*i - 1 = -7*i, 2*u = 3*i + 7. Let f be 2 + 1/1 + -5. Let y be 3*f/(-6) + 1. Is y greater than u?
False
Let l = -120 + 84. Let k be (l/(-16))/(((-2)/(-24))/1). Which is smaller: k or 29?
k
Let n(a) = 15*a + 128. Let s be n(-8). Is 47/6 smaller than s?
True
Let o(v) = -5*v. Let x(f) = 5*f - 1. Let i(t) = 6*o(t) + 7*x(t). Let k be i(1). Is -1/2 <= k?
False
Let c = -143 - -144. Does c = -0.4?
False
Suppose -4*h = 88 + 8. Let f = 19 + -46. Let l be f - ((-12)/4)/(0 - -1). Is l <= h?
True
Let z be 4/6 + 176/(-270). Let i = 4971 - 4971. Which is greater: i or z?
z
Suppose -535*x = -532*x + 228. Which is smaller: x or -85?
-85
Let p = -1334 - -86712/65. Suppose 3*i = v - 6, 5*i = 3*v - 0*i - 10. Which is smaller: p or v?
v
Let a = 14573/11 - 1327. Which is greater: a or -0.2?
-0.2
Let f be -1*(3 - (-254)/(-86)). Let p = f + -39/86. Suppose -g = -4*g. Which is smaller: p or g?
p
Let m be -3*8/(-66)*(-3)/6. Is -1 < m?
True
Suppose 9*s = -6 + 15. Which is greater: s or -1/158?
s
Let w = -0.011 + -0.019. Let v = -3 - -3. Let t = v + -0.2. Which is greater: t or w?
w
Let a be 1*(-4)/(-8)*6. Is a < -3?
False
Suppose 3*y - 2*y + 9 = v, 0 = 2*y + 4. Let m(a) = a**2 + 6*a + 3. Let u be m(-6). Suppose -u*o + v = -2*o. Is o < 7?
False
Let t = 5.02 - 3.02. Is t equal to -191?
False
Suppose -5*f = -f + 1240. Which is bigger: f or -309?
-309
Suppose -5*p + 7 = -8. Suppose -3*a + 4*k - 37 = 0, 0 = 4*a - 4*k + 2 + 50. Let q be (20/a)/(8/(-18)). Are p and q equal?
True
Let a(n) = -n**2 + 28*n - 107. Let v be a(6). Which is smaller: 79/3 or v?
v
Let a = -598 - -1566. Suppose -9*m = 2*m - a. Which is smaller: 87 or m?
87
Let h be 4/(-6)*(-3)/(-2). Let y = 1.3 - 4.9. Let x = y - -15.6. Which is smaller: x or h?
h
Let a be 4/3*117/52. Suppose -5 - 15 = 2*l - 2*d, 0 = a*l - 2*d + 26. Let m(h) = -5*h + 3. Let y be m(2). Which is bigger: l or y?
l
Let r(c) = -37*c + 296. Let u be r(-3). Is u at most 409?
True
Let z be ((-8)/(-6))/(3/45*5). Suppose z*s = -71 - 5. Which is bigger: s or -5?
-5
Let r = -459 + 476. Which is greater: r or -1/4?
r
Suppose -8*f - 57 = -9. Let r = 18/49 + -1034/147. Is f smaller than r?
False
Let l = -71/12 + 6. Is l less than or equal to -1?
False
Suppose 65 = 68*n - 55*n. Is 63/10 at most n?
False
Let i = -2321.051 + 2323. Let w = 0.049 - i. Which is smaller: -0.1 or w?
w
Let l = 14.92 + -15.1. Which is smaller: l or -6?
-6
Let i be (-11)/(-1) + -8 + 4. Suppose -i = 2*s - 119. Let h be 2 - (-4 - (-338)/s). Is 1 equal to h?
False
Let w = 11 + -11. Suppose -2*j = -20 - w. Suppose 0 = 6*k - j*k + 8. Are k and 2 non-equal?
False
Let s be (-1 - -1)/(5 - 1). Suppose -11*u + 3*u + 32 = s. Which is bigger: u or 19/6?
u
Let q(g) = 12*g**3 - 2*g**2 - 2*g. Let p be q(2). Let t = 50 - p. Is -34 greater than t?
False
Let r = 90 + 837. Let h = r - 2758/3. Which is greater: h or 8?
8
Let z = -41157/26 - -1583. Are -16 and z non-equal?
True
Let v = -0.8 + 1.5. Let p = -1.7 + v. Suppose 4*o - 3 - 5 = 0. Is o <= p?
False
Let z be ((-4)/8)/(1/(-6)). Let i be (z/((-3)/(-4)))/2. Suppose -5*c - 18 = -i*c. Is c greater than 2/7?
False
Suppose -4*x - 8*x + 4*x = 0. Let i be (-6)/(-9) - 8/6. Is i at least as big as x?
False
Let w(r) = -8*r + 45. Let x be w(6). Suppose 0*o = 4*o - 12. Suppose 2*a = 0, 0 = -o*d + a - 13 + 1. Is d > x?
False
Let c(t) = -t**3 + 6*t**2 - 2*t + 8. Let z be c(7). Let y = z + 88. Let i = y - 32. Which is greater: i or -1/11?
i
Let x = -2 + -4. Let g be (-17 - -29) + -14 - (0 - -5). Is x < g?
False
Let q = 2 + -2. Suppose q = 3*s - 6*s - 6. Suppose -2*p - 85 = 15*p. Which is bigger: p or s?
s
Suppose 5*q + c + 18 = 0, 0 + 3 = 4*q - 5*c. Let y be (-1*14)/(q/(-12)). Let z be 6/y*12/(-18). Which is smaller: -1 or z?
-1
Let a be ((-50)/8)/(4/32). Let j = 51 + a. Which is bigger: j or -52?
j
Let m = -29273 + 29223. Let w = -902/9 - -100. Which is bigger: m or w?
w
Let k = 98.82 - 99. Let l = -0.48 - k. Do l and 1/3 have the same value?
False
Suppose -3*g + 2*l = -28, 2*l = -5*g + 3*l + 35. Let h be (-2)/(-2)*(-3)/3. Which is smaller: g or h?
h
Let r = 35 - 34.97. Let v = -0.01 + 1.01. Let j = 0 + v. Which is greater: r or j?
j
Let j be 322/(-174) + (-1)/(-3). Let m = j - -48/29. Is m >= -1?
True
Let j = 3.5 + -0.1. Let m = j - 3.4. Which is greater: m or 19?
19
Let t(y) = 2*y - 4. Let h be t(4). Suppose -o + 10 = 3*u - 2*o, u = 3*o - 2. Is u <= h?
True
Let g = 1 + -2. Let h = 63/25 - 13394/5325. Let o = h - 224/2343. Which is smaller: g or o?
g
Let z(k) = -3*k**2 - 6*k + 6. Let f(s) = 5*s**2 + 13*s - 13. Let j(a) = 4*f(a) + 7*z(a). Let m be j(9). Let h = -3/4 - -5/8. Which is smaller: h or m?
m
Let p = 0.284 - -3.016. Is 0 > p?
False
Suppose -4*r + 37 + 27 = 0. Let z be (-3 - (-52)/r) + 85/(-20). Which is smaller: -5 or z?
-5
Let b = -0.331 + 0.289. Is 1/4 not equal to b?
True
Let z = 3 + 39. Which is smaller: z or -2?
-2
Let i(n) = 6*n - 11. Let t(g) = g**3 + 9*g**2 + g + 11. Let j be t(-9). Let z be i(j). Do z and 0.41 have the same value?
False
Let m(x) = x + 1. Let p(j) = 2*j + 13. Let c(b) = b. Let w(i) = -3*c(i) + p(i). Let o(k) = m(k) - w(k). Let y be o(9). Does 7 = y?
False
Let j be (264/176)/(51/2). Let l(o) = -o - 5. Suppose -4*x = x + 30. Let i be l(x). Is i at most j?
False
Let n be (-2)/25*5 + 370/(-75). Let r be (-3)/2*(-1)/3. Which is smaller: r or n?
n
Let r be (432/(-81))/(2/(-186)). Is 496 equal to r?
True
Let b be 13*(-2)/(-6) + -1. Let i = -31 - -27. Let q be i/6*(-2 - 10/4). Is q <= b?
True
Suppose -4 = -2*m + 2. Suppose m*c - 16 = 2. Is c less than or equal to 4?
False
Let r = -2038 - -12263/6. Let i = r - 22/3. Is -2 smaller than i?
True
Let h = -9.43 + 444.43. Does h = 0.1?
False
Let x(q) = 1 - 4 - 2*q + 0 + 3*q. Let v be x(6). Suppose v*b - 2 = -3*l + 1, 2*l - 3*b = -8. Is l bigger than 2/19?
False
Suppose 0 = 3*t - 9*t + 6. Is t bigger than -1/21?
True
Suppose 2*f + 2*f + 4*n = -20, -f - 2 = 4*n. Let w be 0 + 1*(3 + f). Suppose -4*q + 2 = 22. Which is smaller: q or w?
q
Let r be (-18)/(5508/2721 + -2). Let d = -741 - r. Are 0 and d unequal?
True
Let x = 2.42 - 1.42. Let q = 0.5 - 0.8. Which is smaller: q or x?
q
Let g be 135/(-25) - 1/(-5). Let w = g - -593/115. Let i be (8 + 1)/3 - 4. Which is smaller: i or w?
i
Suppose 3*m + 74 = -2*x, 8*m + 3*x = 4*m - 97. Let p = 24 + m. Let k be -2 - (-4 + 2/p). Is k not equal to 2?
True
Let n(i) = 2*i**3 - 19*i**2 + 4*i**3 + 41*i - 2*i**3 - 5*i**3 - 47. Let y be n(-21). Which is greater: -25 or y?
-25
Suppose -4 = 3*k - i, -i + 4 + 0 = k. Is k > -33/23?
True
Suppose -1188 = -5*c - 6*c. Let k = -45 + c. Which is smaller: k or 64?
k
Suppose 0 = 5*q - 2*t - 51, -2*q - 3*q - 2*t + 39 = 0. Let x = 5 - q. Let n(j) = j**3 - 22*j**2 - 3. Let c be n(22). Is x greater than c?
False
Suppose 555 = -5*v - q, 333 = 3*v - 6*v - 2*q. Is v equal to -111?
True
Let l = -194/21 - 59/7. Let o = 8 + -25/3. Is l less than o?
True
Suppose 0 = 12*x + 8*x + 14*x - 374. Let b = -105588/5 - -21036. Let i = 82 + b. Which is greater: i or x?
x
Suppose 3*s + 6 = 0, -2*v = 3*v + 5*s. Let g be 54/(-540) - (-327)/270. Which is smaller: v or g?
g
Suppose -u = 11 - 1. Let h = u - -11. Let k = -254/5 - -51. Is k smaller than h?
True
Let x(s) be the first derivative of s**4/4 + 4*s**3/3 - 3*s**2 - 6*s - 22. Let j be x(-5). Are -10/7 and j non-equal?
True
Let o(z) = -z**2 - 7*z - 6. Let j be o(-6). Let y be (-4)/10*(324/(-172) + 2). Is j smaller than y?
False
Let x be ((-5)/25)/((-2)/10). Let t = 38/253 - 16/23. Do t and x have different values?
True
Let g(z) = z**3 - 16*z**2 - 19*z + 41. Let f be g(17). Suppose 0 = -f*s + 5*s. Let t = 584 - 6428/11. Which is bigger: s or t?
s
Suppose 40*t - 17 = 23*t. Is t equal to 26/15?
False
Suppose y = 3, 3*u + 1392 = 11*y -