, 0 = -4*i - 4*t + 4. Let y be -1 + (-2)/(-2) + 2. Suppose i*x - 4*z = y, 0 = -3*x + 3*z - 1 + 4. Is x > -4?
True
Suppose 0 = 2*l + 2*l + 48. Let m be 9/l - (-45)/12. Suppose 3*s - 2 - 5 = 5*z, 3*z + s - 7 = 0. Is z <= m?
True
Suppose 3*v = 3*o + 3, -o = 4*o - 25. Let i be 10 + (-3)/v*2. Is 9 equal to i?
True
Let q(m) = m + 4 + 0*m + m. Let n be q(-5). Let i be (3 + -1)/(8/n). Is i smaller than -1?
True
Suppose 4*l = -2*m + 20, 0 = l + 3*l + 4*m - 28. Are l and 3 non-equal?
False
Let y be 3/(-12) - (-25)/20. Which is smaller: y or 3/2?
y
Let y be (16/(-6))/(2/(-9)). Suppose -3*k = -n + y, -1 - 19 = 5*n + 5*k. Let i be (0 + (-4)/2)/(-5). Which is smaller: i or n?
n
Let w = 2.4 + -0.4. Is w > 0.1?
True
Let f = -22 - -13. Let p = 0 - f. Let w be -2 + (1 - (-6)/p). Which is bigger: w or -1?
w
Let y be 18/(-27)*(-3)/2. Suppose -3*z = -9, 0 = 5*f - 4*z + y + 26. Let b be (f/6)/(2/4). Is -2 > b?
False
Let c(s) = 7*s - 8. Let y be c(3). Which is greater: 12 or y?
y
Let z = -85 + 64. Is -43/2 at least z?
False
Let n = 218/5 - 44. Are n and 1 unequal?
True
Let t = -68 + 27. Which is smaller: t or -39?
t
Let g = -58/105 - -4/15. Which is smaller: g or -2?
-2
Suppose -b = 3*x - 13, 2*b + 4 = 5*x + 8. Is b at most 3?
False
Let i be ((-1)/(-2))/((-3)/(-18)). Is i smaller than 4?
True
Suppose 28 - 8 = -5*y. Let i be y/(-2) + 9/3. Suppose -i*q - 10 = -5*g, g = -2*q - 2*g + 1. Are q and 2/11 non-equal?
True
Let v = -40 - -39. Which is greater: -3/7 or v?
-3/7
Let d = 3/19 - -13/38. Is 1 <= d?
False
Let k = 29 - -7. Let n be 12/(-8)*8/k. Which is smaller: n or 0?
n
Suppose -5*k + k = -b + 18, b + 4*k = -22. Let a be (b + 1)/1 + 0. Which is smaller: a or -2/11?
a
Suppose 0 = -4*j + 3*j - 1. Do 7 and j have different values?
True
Suppose 0 = -16*j + 17*j + 320. Let m be j/(-50) - 2/5. Which is greater: m or 4?
m
Let i be 7/2*2*1. Suppose -3*k = -0*q + q + i, -4*q = -3*k - 2. Is k smaller than -1?
True
Let r = 83 - 82. Let t = -3 + 2.9. Are t and r equal?
False
Let q(b) = -b + 11 + 4*b + b - 5*b. Let w be q(13). Which is smaller: w or -1?
w
Suppose -5*b - 2*t = -4, -4*b - 2*t + 4 = -b. Which is bigger: -3 or b?
b
Suppose 10*d = 7*d - 9. Let f be ((-1)/(-2))/(4 + d). Is f less than 0.5?
False
Let f be 2/(9*(-2)/2). Let t(r) = -5*r - 15. Let j be t(-3). Is f not equal to j?
True
Suppose 3*x - 21 = 3*h - 7*h, -h - 6 = -3*x. Suppose x*k + 28 = -4*c + 2*k, c + 7 = -k. Let r = -3 - c. Which is greater: r or 3?
r
Let x be 2/(-1) - (4 + -13). Let y = 11 - x. Suppose 5 = -y*k + 17. Which is smaller: 2 or k?
2
Let d = -698/5 - -140. Let f = -548/5 + 110. Is f < d?
False
Let f = 12/17 + -33/119. Which is bigger: f or 0?
f
Let t be (-5)/(125/10) - (-177)/480. Is 1 at most as big as t?
False
Suppose a + 3*q - 2 = -a, 2*q = -5*a + 5. Let f be (a/(-13))/(2/(-4)). Let d = 0 - -1. Which is smaller: d or f?
f
Let t be -3 - ((-56)/12 - (-2 + 0)). Let c = 3 - 2. Is c greater than or equal to t?
True
Let k = -18 - -39. Suppose o = -4*c + k, -2*o - 4*c + 31 = 9. Do o and 4/5 have the same value?
False
Let h = 1 + 2. Suppose 4 = -l + h. Let r = l + 0. Which is smaller: r or 1?
r
Let p = -89 + 1154/13. Let i = 7/26 - p. Is i > 1?
False
Let q be 16/(-24) + 28/(-3). Let l be ((-1)/(-10))/(8/q). Is 1 at least as big as l?
True
Let r be ((-1)/2)/(2/60). Suppose 0*b + 6 = b. Let y be (-4)/(-15) - b/r. Is -0.1 at least as big as y?
False
Let c = 0.4 + -0.2. Let z = -255/4 + 64. Which is smaller: c or z?
c
Let t(s) = -s**2 + 3*s + 8. Suppose -5*q = -7*q + 10. Let p be t(q). Is -1 < p?
False
Let x = -21 + 20. Which is smaller: -2/43 or x?
x
Let r = -116/85 + 30/17. Let a be 3/(-6)*3*-2. Suppose 0 = -0*b + a*b. Which is smaller: r or b?
b
Suppose 2*i - 5*p - 17 = 1, -3*i - 2*p - 11 = 0. Is -1 at least i?
True
Suppose -3*d - x - x = 142, -d - 47 = x. Let v = d - -335/7. Let f be (-2)/(2 - 1) + 2. Is f > v?
True
Let x = 0.92 - 0.72. Which is greater: x or 0.26?
0.26
Let x = -565 - -1681/3. Which is smaller: x or -0.1?
x
Suppose -y - 65 = -2*y. Suppose -n + y = -6*n. Is n not equal to -13?
False
Let q(v) = -v - 3. Let w be q(-7). Suppose -3*l - l = -w. Suppose -5*o + 3*o + 4*z + 18 = 0, 0 = 5*o - 3*z - 17. Is l at least o?
True
Let n = 0 - -3. Suppose -3*b - n = -4*b. Suppose 0 = -5*l + 3*s + 1, 0 = -0*l - l - s - b. Is l > -1?
False
Suppose -c = -k + 3, 10 = 103*c - 107*c + 3*k. Let s = 26/29 + -656/667. Which is bigger: s or c?
s
Suppose -39*h + 15 = -40*h. Is -14 at most h?
False
Let l be 2/(-2) - (-22)/10. Let t = -42 - -42. Which is bigger: t or l?
l
Let t = 4 + -3. Let b = 60/133 + 5/19. Is t greater than or equal to b?
True
Let y = 0.1 + -1.1. Let c be 4/56*-4*-1. Which is smaller: c or y?
y
Suppose 0 = 2*w + w - 84. Are 31 and w nonequal?
True
Let k = -807/5 - -162. Is k equal to 1?
False
Let t be 1/((-21)/(-9) - 2). Suppose 5*w - 2*w - t = 0. Is 1 != w?
False
Let b be (-1)/(-3) + 36/(-27). Which is smaller: b or -0.3?
b
Let u = -7 + 1. Are u and -27/5 unequal?
True
Let i(k) = k - 28. Let v be i(27). Which is greater: v or 4?
4
Let s = -1290 + 5195/4. Is s smaller than 8?
False
Let f = 167/209 + -14/11. Are -1 and f nonequal?
True
Let b = 8 - 54/7. Is b > 32?
False
Suppose 3*i + 11 = -4. Which is smaller: i or -21/5?
i
Let m = -1/1237 + 2515/50717. Which is smaller: 0 or m?
0
Let t be (-80)/(-36) - (-2)/(-9). Suppose 4*a = 3*a - t. Which is greater: -4/3 or a?
-4/3
Let x = 1359150 - 1087318961/800. Let q = x + -39/32. Is -1/2 less than q?
True
Let t be 0 - 16/(-6) - 3. Are -4.2 and t non-equal?
True
Let c = 0 + -1. Let i = -1 - -1/2. Is c at most as big as i?
True
Suppose v + 0*v + 10 = 0. Let m = -53 - -44. Are v and m non-equal?
True
Let i be (2/3)/((-190)/30). Let k(o) = o**2 + 4*o. Let d be k(-6). Suppose 4*g = -5*v + 3, g - d = 5*v - 5. Are v and i non-equal?
True
Let a = -1 + 6. Suppose 4*c + 120 = a*i, i + c = -0*c + 15. Suppose -i = 5*w - 5*m, 4*m - 17 = w - 1. Which is smaller: w or -2?
-2
Suppose 5 = 5*f - 5. Suppose -4*s + r + r = 0, -f*r = -2*s + 2. Let z = 27 + -82/3. Is z bigger than s?
True
Let o = -19 + 19. Is -1/40 equal to o?
False
Suppose -69 = 2*x + p, -3*x = -4*p + 103 - 5. Let h be x/(-8) + (-3)/12. Suppose 0 = -0*z - 4*z - h. Which is greater: -2/7 or z?
-2/7
Let s = -4 + 3. Let a be -4*(s + 105/102). Is -1 at most a?
True
Let t be (0/2)/((-12)/(-4)). Suppose 10*x + 5 = 5*x. Let v = t - x. Do 4/3 and v have the same value?
False
Suppose 9*w = 4*w. Which is smaller: w or -1/5?
-1/5
Let w be (2 + -1)*2/(-28). Let n = -39/154 - w. Is -1 >= n?
False
Let b(w) = w**3 + 5*w**2 + w + 4. Let h be b(-5). Let g be 175/100 + -1*3. Which is greater: h or g?
h
Let s(k) = -k**3 - 10*k**2 - 8*k + 8. Let u be s(-9). Do 5/21 and u have the same value?
False
Let d = 138/11 + -12. Suppose 0*h + q + 1 = -h, 4*h + q = -1. Which is greater: h or d?
d
Suppose 3*m + 15 = -3*d, 4*m - 4 = -0*m. Let o(b) = -b**3 - 6*b**2 + b + 7. Let l be o(d). Do l and -0.03 have the same value?
False
Let y(t) = -t - 6. Let u be y(13). Do u and -18 have different values?
True
Let t be (-15360)/(-70) + 0 + 1. Let x = 221 - t. Which is smaller: 0 or x?
0
Let z = 3938 + -240212/61. Are z and -1 equal?
False
Let t(g) = -g**3 - 10*g**2 - 9*g. Let c be t(-9). Let n(z) = z**3 - z**2 - 7. Let o be n(0). Let m be c - (o/9 - -1). Is m < -1?
False
Suppose 0 = 3*l + 5*y - 2 + 3, 57 = 4*l - 5*y. Which is smaller: -3 or l?
-3
Let o = -97 + 109. Is o at least 11?
True
Let t be 36/126 - (-2)/(56/314). Is t > 12?
False
Let i(d) = -3*d + 6. Let z(f) = -13*f + 24. Let j(o) = 9*i(o) - 2*z(o). Let w be j(4). Is 6 > w?
True
Let m be (-8)/(-36) + 14219/45. Let h = -314 + m. Is 2 greater than h?
False
Let v be (-1)/(-6)*9/4. Let t = -1 - -4. Let h = t + -2. Which is bigger: h or v?
h
Let x = 192 + -145. Which is greater: 49 or x?
49
Let p(f) = -f - 9. Let z be p(-8). Suppose -1 = 2*c - 5*t, -3 = -c - 5*t + 4. Let d be z*c/(-4)*2. Which is smaller: 0 or d?
0
Let j be 32/(-18) + 8/(-36). Let i = j + 3. Suppose 0 = -2*k + i + 3. Is k greater than 2?
False
Let y(t) = t - 16. Let g be y(12). Let j be (-14)/5*(-20)/g. Let z be 0 + 2 - (-29)/j. Which is smaller: 1 or z?
z
Let i = 12.5 - 17. Let x = 5 + i. Let m = 0.5 + x. Is 0 smaller than m?
True
Suppose -10 = -4*z + 3*n + 2, 4*z - 8 = 2*n. Which is greater: 1/20 or z?
1/20
Let l = 1875