uppose -3*c + 4 = -2*t, 3*c - 2 = t - k*c. Is t equal to -2?
True
Let q be 2/4 + 1 + -2. Let p = 10 - 5. Suppose -p = 2*b - 1. Is b at least q?
False
Suppose 3*k = -k + 60. Let i be 65/k + -1*1. Let q be 1 + 3 + 2 + -4. Which is smaller: i or q?
q
Let s = 118 + -118.3. Which is greater: -0.12 or s?
-0.12
Suppose 3*w = 4*i - 11, -4*i - 5*w = -0*w - 3. Let o be (i - 4)*-1 + -1. Is 0 greater than o?
False
Let y = -11.8 + 13. Let a = y + -1. Which is smaller: a or 1/4?
a
Suppose 5*h - 10 = 0, 4*c - h = 2*h - 26. Which is smaller: -4 or c?
c
Let b be 84/8*(-20)/(-6). Suppose -2*a - 3*d = -b, 8 = d + 3. Let k be (-2)/a*(-5)/(-6). Is k > -1?
True
Let f(l) = l**3 - 4*l**2 + 4*l - 2. Let g be f(2). Does g = -2?
True
Let z be 3/(-9) - 4*1/(-3). Which is smaller: 1/28 or z?
1/28
Let j(q) = 6*q**3 + 2*q**2 + 7*q - 7. Let z(h) = 13*h**3 + 5*h**2 + 15*h - 15. Let m(y) = -9*j(y) + 4*z(y). Let k be m(2). Is k < -11?
False
Let h = -7.3 + 1.3. Let m = h - -4. Let p = 0.06 + -0.16. Is p greater than m?
True
Let b be 2/8*2 + 2. Let v = -5 - -9. Is v equal to b?
False
Let q be (-5)/(-15)*107*3. Let z = -1817/17 + q. Is 0 bigger than z?
False
Suppose -31*l = -26*l + 15. Let w be (1/(-2))/((-1)/(-2)). Which is greater: w or l?
w
Let d(z) = -z**2 - 6*z - 1. Let j be d(-5). Suppose 2*p + 2*a = 0, 4*p = -a + 6 + 9. Which is bigger: j or p?
p
Suppose -10 = 5*d - 5. Let f be 20/6 + (-6)/(-9). Suppose -p + 3 = -5*u - 2, -p = -4*u - f. Is d bigger than p?
False
Suppose -w = -3*z + 5, 3*w = 2*z + 3*z - 3. Let b = 0.18 - 0.08. Let q = 0.1 - b. Is z bigger than q?
True
Suppose -2*q = 6 - 0. Which is greater: q or -9/5?
-9/5
Suppose -z - 4 = 4. Let j be ((-6)/z)/(54/48). Is j > -1/2?
True
Suppose -4*w - 24 = -8*w. Is 1 less than or equal to w?
True
Suppose 5*f + 0*g - 3*g = -19, -4*f - 4*g = -4. Let v = 3 + f. Is v < 2/7?
False
Let c be (10/8)/((-1)/(-4)). Suppose -w - 3 = -9. Is w <= c?
False
Let w = 92/21 + -3446/777. Are w and 0.2 unequal?
True
Let b = -6 + 6. Suppose b*j + 4*j - 8 = 0. Which is smaller: 3/2 or j?
3/2
Suppose -4*v = 4*j - 44, -j - 10 = -v - 3*j. Which is bigger: v or 14?
14
Let o = -0.9 - 0.1. Let f = -0.21 - -0.01. Which is bigger: o or f?
f
Let n be (-2)/(-3) + (-98)/21. Let b = -10 + 14. Let k be (-1 - -2) + n/b. Which is smaller: k or 2/15?
k
Let d be (1/2)/(1/(-2)). Let j be 2/(-12) + (-268)/(-24). Let r = 8 - j. Which is greater: d or r?
d
Let p be (-2)/(-4)*(-16)/(-28). Let j = -0.01 + 0.41. Which is smaller: j or p?
p
Suppose -3*j = -35 - 1. Let z be 1/(-3) - (-3)/j. Which is bigger: z or 0?
0
Let h = 27 - 26. Which is bigger: -0.7 or h?
h
Suppose -y + 5 = 4. Is y bigger than -2?
True
Suppose -1 + 3 = -2*f. Which is greater: f or 1/14?
1/14
Let b = 69 + -67.95. Which is greater: 0 or b?
b
Suppose 5*y = 4*l - 9*l + 5, -15 = 3*y. Suppose u - 3*u - l = 0. Which is smaller: -4 or u?
-4
Let q be 3/(18/(-8)) + 0. Let v = -2 + 0. Which is smaller: v or q?
v
Let v be 232/(-6)*6/(-4). Let s = v - 231/4. Which is greater: -1 or s?
s
Suppose -25 = g + 10. Is g at most -1?
True
Let u = 2 - 2. Suppose 0 = r - u*r - 8. Suppose 0*z = -2*z + r. Which is smaller: 3 or z?
3
Let u = 14 + -9. Let q = 5 - u. Is q >= 0.11?
False
Let j(w) = -w**2 + 6*w + 5. Let y be j(6). Let u = -8 + y. Let a be (2/u)/(16/(-6)). Are a and 0 equal?
False
Let j = -1.12 - -1.72. Which is greater: j or 0.3?
j
Let f = 5.6 - 6. Let m be (-6)/9 - 4/(-6). Suppose 0*l - l + 1 = m. Do l and f have the same value?
False
Let v be 45/20*4 + 2. Which is greater: v or -0.01?
v
Let b(i) = 0*i - 3*i - i**2 - i**2 + i**2. Let u be 0 + 0 + -2 + -1. Let d be b(u). Is d at least -0.04?
True
Suppose 3 + 3 = y. Let g be ((-10)/15)/((-8)/y). Which is bigger: 0 or g?
g
Let f = -9 + 12. Suppose -f = 5*v + 12. Which is smaller: 1 or v?
v
Let i = 0 + 0.2. Let c = -179 + 180. Is c less than i?
False
Suppose 0 = 4*s + 13 - 5. Let y be (s/6)/((-36)/(-48)). Is 0 less than y?
False
Let f(r) = r**3 - 5*r**2 - 6*r - 5. Let b be f(6). Let s = -0.7 - -0.5. Is b less than or equal to s?
True
Let r(v) = -v**3 - 4*v**2 + 4*v - 8. Let h be r(-5). Which is bigger: -5 or h?
h
Suppose 3*g = 3*f + 21, 5*f = -3*g - 13 - 6. Suppose 0 = -h + g*h + 3. Let c be 2/(-12)*(-2)/h. Is c less than -1?
False
Let m = 111 + -112. Is 1 less than m?
False
Suppose -5*z + 15 = -2*z. Let v = 5 - z. Does v = 2/13?
False
Let i be ((-3)/(-9))/(2/(-122)). Let b = -20 - i. Which is greater: -1 or b?
b
Let m(o) = 3*o - 33. Let u be m(19). Which is bigger: 22 or u?
u
Let a = -4 - -13. Let r be (-60)/26 - 8/28. Let l = r - -30/13. Is a smaller than l?
False
Suppose z + z = 0. Let l(b) = b**3 - b**2 + 4. Let p be l(z). Suppose p*n - 3*g = 16, 2*g + 13 = 4*n + n. Are 1 and n non-equal?
False
Suppose 5*y - 10 = 3*t, -4*t + 4*y - 2 = 6. Let c be ((-12)/10)/(24/60). Which is smaller: c or t?
c
Let p = -8773/870 - 12/145. Let t = 28/3 + p. Are t and -2 non-equal?
True
Let l = 0.04 + 0. Let a = -1.96 - l. Let u = 3 + -1. Is a not equal to u?
True
Let n be (-16)/(-210)*40/6. Let u be 0 + 1 - (-22)/(-18). Let t = n + u. Is 0 <= t?
True
Let q = -23 + 24. Is q less than or equal to -13?
False
Let x = 665/4 - 167. Which is smaller: x or 1?
x
Let l be 2 + 1/1*0. Suppose -3*u - 2 = 5*h, 0 = -l*h - 4*u + 1 + 1. Let z(v) = 3*v + 28. Let q be z(-9). Which is smaller: q or h?
h
Let a = 5.6 - 8.7. Let y = -3 - a. Which is greater: y or -3?
y
Suppose 0 = l + l - 2*f - 16, 30 = 5*l + 5*f. Is l smaller than 9?
True
Suppose 3*c + c - i = 13, -i - 1 = 0. Let o be 50/8 + c/(-12). Suppose 0 = 2*u + 3*f + 6, -8 = 5*u - 2*f + o*f. Which is greater: u or 4?
4
Suppose 0*d - 3*w = 2*d - 7, 2*d + 5 = w. Which is smaller: -5/23 or d?
d
Let o(a) = -a + 1. Let f(g) = g**3 - 7*g**2 + 8*g - 2. Let y be f(6). Suppose -s + y*l - 5*l = 3, -4*l + 8 = 2*s. Let i be o(s). Are i and -2 non-equal?
True
Let q = -4.5 + 4.4. Is 1/5 >= q?
True
Let l be ((-2 - -2) + 1)*2. Let y be 6*(-2)/(3 + -7). Suppose i + 2 = y*i. Are l and i equal?
False
Let d = -202 + 168. Is -0.1 != d?
True
Let o be 3/5*(-1)/(-3). Let t = -0.7 - 0.3. Which is bigger: t or o?
o
Suppose -4*d + 2*k + 13 = -31, -3*d = -4*k - 43. Suppose 3*v - d + 3 = 0. Is v at most as big as 3?
True
Let o = 0.2 + 4.6. Let x = 0.8 - o. Which is bigger: 1 or x?
1
Let b(l) = -l**2 + 7*l - 5. Let v be b(6). Which is smaller: v or -2/393?
-2/393
Let h = 1 - 4. Which is greater: 2/3 or h?
2/3
Let g = -6 + 7. Let a(q) = q**2 - 6*q + 5. Let i be a(5). Which is smaller: i or g?
i
Let i be (0/(-1))/(0 - -1). Suppose -4*p - j = -13, i*j + j = 5. Suppose -2*u - 3*u + 10 = 0. Is u less than or equal to p?
True
Suppose 5*i = 0, 4*i - 4 = 2*y + 2*i. Let q be 4/y + (-15)/(-6). Which is greater: q or 2?
2
Let x be 66/280 + (-10)/35. Is 0 > x?
True
Let v = 15 - 17. Let h be (10 + (1 - 0))*1. Suppose 5*u - 2 = 18, w = -3*u + h. Is w less than v?
False
Suppose 5 = -2*m - 5. Let h be ((-10)/(-8))/((-1)/4). Is m != h?
False
Suppose 2*y - 2*q + 6 = 0, 5*q - 33 = -4*y - 0*q. Let s = 8 + -5. Is s greater than or equal to y?
True
Let j = -1 - -3. Let n = 7 - 6. Let p be (n/(-2) - 1)/(-6). Which is smaller: j or p?
p
Let m(f) = -f**2 + 4*f - 3. Let d be m(2). Let c be (-4)/(-6)*((-88)/80 - -2). Are d and c nonequal?
True
Let q = -19 + 22. Which is smaller: q or 2?
2
Let q(u) = -u**3 + 4*u**2 - u + 4. Suppose 4*s = -i + 3*s + 6, -4*s = -8. Let h be q(i). Suppose h = 3*f - 0*f - 15. Is f greater than or equal to 5?
True
Suppose 4*q - 9*q = -140. Are 28 and q nonequal?
False
Suppose 4*m + 4 = 3*m + 5*i, -4*m - i = -5. Are m and -1 equal?
False
Let t = -1.989 + -0.011. Let w = 1.5 + -0.8. Are t and w nonequal?
True
Suppose 3 = -2*o + 5, 2 = q + 5*o. Let b be 116/36 + (-2)/9. Suppose 2*j - 4 = -3*a, 5*j - 14 - b = -4*a. Is a at most q?
False
Let z = 27 + -29. Are z and -2 equal?
True
Suppose 150 - 15 = -5*l. Let t be (l/7)/3 - -1. Is -1 at least as big as t?
False
Suppose 2*m - 6*m = -36. Let l(t) = t**2 - 10*t + 5. Let h be l(m). Is h >= -4?
True
Let q(r) = 3*r - 4. Let o be q(-6). Let f = o - -12. Let b(a) = -a**3 - 9*a**2 + 10*a - 2. Let c be b(f). Is 2 != c?
True
Let b = 3 + -3. Let a = -2 - -3. Let q = b - a. Which is smaller: q or -2/9?
q
Let u = 5 + -4.94. Let o = u + 0.14. Is 1 less than o?
False
Let g = 1/328 - 995/3608. Which is greater: -2/7 or g?
g
Let b be (1/3)/((-1