 3418 = 4*b. Let r = -26569/31 - b. Let g = 25/93 - r. Is g at least -1?
True
Suppose -3*g = 4*a - 1, -5*g = -3*a - 3*g + 22. Suppose 3*b = -b - a. Is -2/13 != b?
True
Let z = -1.7 + -0.3. Is -2/3 <= z?
False
Let l be 1 - 2*2157/6. Let o = -2128/3 - l. Let i = 8 - o. Which is greater: i or -0.3?
-0.3
Let o be ((-6)/(-4))/(5/2). Suppose -3*j + 14 = -0*z + 5*z, z - j + 2 = 0. Which is smaller: z or o?
o
Let t = -161 - -163. Let r be 1 - 2 - 4/(-3). Which is smaller: t or r?
r
Let j = 15 - 11. Do j and 2 have different values?
True
Suppose -6*i - 10 = -4. Is 2/103 smaller than i?
False
Let r = 0.48 - 0.47. Is r bigger than 0?
True
Let u(l) = l - 5. Let t be u(5). Let a(c) = c. Let o be a(t). Let n = 1 - 1.2. Is n less than o?
True
Let h be ((-4)/(-8))/((-2)/72). Let v be 282/54 - (-4)/h. Are 6 and v equal?
False
Let h(u) = u**3 - u**2 - 2*u + 1. Let x be h(2). Let o = 10/147 + -24/833. Let f = o + -19/51. Which is greater: f or x?
x
Let w be (-2)/2 + 4*1. Suppose 3*p = 2*j - 16, -5*j + 11 + 19 = -5*p. Is j <= w?
True
Let o = -281/1485 + 1/135. Is 3 smaller than o?
False
Suppose 5*i - 3*f - 69 = 0, -20 = -2*i + 8*f - 3*f. Let j = -16 + i. Do j and -1 have the same value?
True
Let j be (-1 + -1)/(-24)*(-20)/10. Is j smaller than 0?
True
Let f = -11 + 11.3. Let g = 3/13 + -35/39. Which is bigger: f or g?
f
Let v = 2/101 + -109/404. Is v > 0.13?
False
Let q = -19 + 33. Suppose 4*s = 2*t + q, -1 = s + 4*t + 9. Is 2 greater than s?
False
Let q be (-1 - -1)/(2*1). Let k = 6 - q. Suppose -2*i + 2*c + 4 = -k*i, 5*c + 10 = -4*i. Is 0 not equal to i?
False
Let s(m) = 2*m - m - 17 + 4. Suppose 0*i = 3*i - 27. Let r be s(i). Is -4 smaller than r?
False
Suppose 19 + 6 = -5*j. Let f = -3 - j. Let g = -2 + f. Are g and 1 non-equal?
True
Let l be 733/(-396) - 4/(-18). Let g = 17/11 + l. Are g and 1 nonequal?
True
Let s be (-4)/(-26) + 90/(-78). Let w be (-3 - s - -2)/1. Suppose 0 = -2*l - 3*f + 2*f + 1, 5*f = 4*l + 5. Is w less than or equal to l?
True
Let l be 16/6*11/(-132). Is -0.4 equal to l?
False
Let y be (-22)/(-20) + (-4)/(-10). Suppose -4*v + 4*s + 12 = -0*s, -5*v = -4*s - 16. Suppose -v*n = -5*n - t, 0 = 4*n - 2*t - 6. Which is smaller: y or n?
n
Let d = 747/5 - 148. Are d and 2 nonequal?
True
Let c = 2 - 1. Let i = -35140 - -3478892/99. Let d = 6/11 - i. Which is smaller: d or c?
d
Let p be 0 - (-4)/(-32)*10. Is p at least as big as -1?
False
Let q be ((-58)/(-14))/(60/70). Let m = q + -16/3. Which is greater: 2/3 or m?
2/3
Let x(j) = j + 18. Let a be x(-13). Suppose 0 = -3*v + a + 10. Which is bigger: v or 4?
v
Let l = 17 - 17.2. Is l less than -8?
False
Let b be (-24)/20*10/(-4). Suppose -h - b*h = -8. Is 5 >= h?
True
Let g = 1680 - 1670.79. Let o = -0.21 + g. Which is greater: o or -0.1?
o
Let b = -7 + 4. Let q = 10 - 6. Let s = 2 - q. Is s smaller than b?
False
Let c be (-56)/(-9) - (-6)/(-27). Suppose -3*u + c*v = 3*v, 0 = 3*u - 2*v - 2. Let j = 1/9 + 7/18. Is u >= j?
True
Suppose x + 16 = -0. Is x != -13?
True
Suppose -2*m = -o - 5 + 1, -3*o - 3*m + 6 = 0. Let g = -0.7 - 0.3. Are g and o equal?
False
Let k be 9 - 2 - (1 - -1). Suppose 5*s + 7 + 32 = 3*t, 4*s + 2*t = -18. Let y = k + s. Which is smaller: y or 0?
y
Let n(h) = -h**2 + 6*h - 9. Let y(x) = -2*x**2 + 5*x - 9. Let b(p) = 3*n(p) - 2*y(p). Let d be b(-9). Let l = -358/5 - -72. Is d at most l?
True
Let i(l) = -2*l + 2 - 3 + 0*l - 3. Let d be i(-4). Suppose d = -2*x - 6. Which is greater: x or -4?
-4
Let i = 0 + -3. Let r = 1 + i. Let w = 1 + 1. Which is smaller: w or r?
r
Suppose -2 = q + 1. Suppose -6*s = -s - 25. Suppose 0 = -s*p - 6 - 4. Which is greater: q or p?
p
Let a be (2/3)/((-230)/(-30)). Which is bigger: -1 or a?
a
Let q = -2 - -1. Let l be (-11)/7 + 1 + 0. Which is bigger: q or l?
l
Suppose -3 = f + 2*f. Suppose h + 3 = -2*h + 2*r, -2*h - 2 = -r. Let z be (h/3)/(10/(-6)). Which is smaller: z or f?
f
Let k(h) = -h**2 + 5*h + 5. Let x be k(6). Let b = 2 - 3. Let t be 11/9 + b + 0. Which is smaller: t or x?
x
Let b = 116/441 - 2/49. Suppose 2*y - 12 = -2*y. Suppose -4*x + 5 = -p, 0*x - 15 = 5*x + y*p. Is x bigger than b?
False
Suppose 68 = 3*o + 5*d, 0 = -o + d + 4 + 8. Which is smaller: 19 or o?
o
Let g(b) = -7 - 8*b + 3*b**2 + 0*b**2 - 6*b**2 + 2*b**2. Let a be g(-7). Which is bigger: a or 4/7?
4/7
Let z = 59 + -23. Let i be -3 - 4/z*3. Are -2 and i unequal?
True
Let k(y) = -y**2 - 4*y + 1. Let i be k(-4). Let c = 1 + i. Is 3 smaller than c?
False
Let s(y) = y**2 + 4*y + 2. Let l be s(-4). Suppose 0 = -3*a - a. Suppose a = -l*r + r. Which is smaller: -1/7 or r?
-1/7
Let c = 6 + 8. Is 15 != c?
True
Let f = 58 - 63. Which is greater: f or 0.13?
0.13
Let s = -20 + 30. Which is smaller: s or 11?
s
Suppose 3 = -10*j + 13*j. Which is smaller: 2 or j?
j
Let n be -4 + -36 + 0/(-3). Let y be 2/(-10) + 32/n. Which is smaller: 1/4 or y?
y
Let i = -4 + 6. Suppose 0 = -2*a + p + i*p - 14, -4*p = 5*a + 12. Does -3 = a?
False
Let d be -10 - (0 + -2)/(-2). Let x(c) = -10*c - 29. Let b be x(-4). Let j = b + d. Which is greater: j or -1?
j
Let l(v) = v - 8. Let u be l(10). Let o be (-2 + u)/(1*-1). Which is smaller: 3/4 or o?
o
Let b(q) = q + 10. Let t be b(-9). Let v be (9/(-15))/(t/(-5)). Suppose -v*s - 6 = -0*s. Is s > -1?
False
Let u be ((-4)/3)/2*3. Suppose -3*q = 3*y + 3, -y = 2*y - 3. Is u smaller than q?
False
Let l be (-2)/5*(-99)/22. Is 1 at most as big as l?
True
Let f = 13 - 8. Suppose -3*y + 0 = -3*t - 3, f*y - t - 13 = 0. Suppose 2*r = -y*r. Is r at least 0?
True
Let w(m) = 4*m**2 - 4*m + 2. Let p be w(2). Suppose 2*q - p = -5*i, 3*q - 1 + 12 = -i. Is 4 smaller than i?
False
Let w = -13 + 24. Let n = w + -9. Let h be ((-4)/7)/(-2) + 0. Which is bigger: h or n?
n
Let h = -45 - -48. Suppose 2*l - 4*j + 16 = 0, 0 = -l - 3*j - 17 - 1. Let a be (3/l*2)/h. Is a > -1?
True
Let j = -3.93 - 0.07. Let y = -5 - -14/3. Is j < y?
True
Let s = -212 + 216.08. Let r = s + -0.08. Which is greater: -1/3 or r?
r
Let l(h) = -10*h + 1. Let x be l(-1). Suppose -x*y + 12*y = 1. Is 14 <= y?
False
Let t be (1 - 404/252) + (-2)/7. Is -1 greater than t?
False
Let o(x) = -x - 4. Let f be o(-2). Suppose -22 = 4*w + 26. Let y be ((-2)/(-3))/(2/w). Is f less than y?
False
Suppose 3*t = n - 2 - 5, -2*n + t = -4. Let j be (1 + -1)/(0 - n). Let h be 0 - (1 - j)/(-1). Is h greater than or equal to 1/4?
True
Let j = 0.45 + -0.42. Which is smaller: 2 or j?
j
Let r = -11899/113058 - 12/571. Let n = r + -7/22. Is 0 greater than n?
True
Suppose 4*t - 3*s + 36 = 13, 0 = t - 5*s + 27. Suppose -4*d = -3*n + 32, 5*n + 35 = -5*d - 5. Let v(i) = -i**3 - 9*i**2 - 8*i - 2. Let l be v(d). Is l <= t?
True
Let j(v) = v**3 - 7*v**2 - 8*v - 1. Let s be j(8). Let d = -0.2 + -0.8. Let p = 1 + d. Which is bigger: p or s?
p
Let r = -4784 + 1459118/305. Which is smaller: r or -1?
-1
Suppose 2*t = 2*r - 32, 3*r + 2*t = -2*t + 27. Let x = r - 14. Which is greater: x or -3?
x
Let j(f) = -f - 4. Let m be j(-9). Let r = m - 4. Which is smaller: 3 or r?
r
Let x(s) = s**2 + 13*s - 68. Let k be x(-17). Is -3 <= k?
True
Let p = -3/7 - -8/35. Suppose 2 + 4 = 4*z + 3*t, 8 = 3*z + 4*t. Which is greater: z or p?
z
Let f = 1025 + -111726/109. Which is greater: f or 1?
1
Suppose 2*n + 4 + 4 = 0. Let k(m) = -m + 2. Let q be k(n). Suppose 4*o - 2*p = q, 11 = -3*p + 2. Which is greater: -2/11 or o?
o
Let f = -41/28 + -1/28. Let g(x) = -4*x. Let i be g(1). Let t = i - -3. Which is smaller: t or f?
f
Let j be 6/(-33) - 72/(-33). Suppose 3*z = -1 - j. Let q = z - -3. Which is smaller: 3/4 or q?
3/4
Let i = 2/7284471 - -90095146711/9712628. Let j = i - 9267. Let a = -28/3 + j. Which is greater: -1/2 or a?
a
Let i = 20 - 18. Is 8/3 less than i?
False
Let i(l) = l**3 + 3*l**2. Let z be i(-3). Suppose 3*j + 3 + z = 0. Is j at least as big as 2/35?
False
Suppose 3*j - 2*z = 15 + 5, z = 5*j - 24. Suppose -v = -j*v. Let q be 14/44 + 2/(-4). Which is greater: q or v?
v
Let q(p) = 33*p + p**3 - 33*p - 2*p**2. Let n be q(2). Are 1/12 and n nonequal?
True
Let g = 7.6 + -7. Let x = g - 2.6. Which is bigger: -1 or x?
-1
Let a(q) = q**3 - 18*q**2 - 17*q - 8. Let h be a(19). Do h and 29 have the same value?
False
Let u = -8351/8 - -4075/4. Let v = 25 + u. Do v and 1 have the same value?
False
Let f = -10 + 13. Suppose -4*b = 2*l - 0 - 2, f*b + 2*l = 2. Is b at least as 