t - 2*v = -3*t. Let o = 92/15 - 35/6. Is o at least t?
False
Let t = 67742/5 - 13491. Let w = 57 - t. Let p = 99 + -98. Is w less than or equal to p?
True
Let l be -7*(-50)/(-5)*(-6)/(-15). Is l <= -26?
True
Let k be (-5)/(-3) + 4/(-6). Let c be ((-2)/(-5))/(17/(-5)). Is c != k?
True
Let f = 0 - -5. Let k = 13 + -9. Suppose f*v = v - k. Is v less than 1?
True
Suppose -6*u = -3*u - 30. Let s = u - 7. Is s less than or equal to 3?
True
Let b be (-3)/(-4 + 1)*-2. Which is smaller: b or -8?
-8
Suppose -5*n - 15 = 5*c, -n = 4*c - 0*n. Suppose 0 = -0*d + 4*d - 8. Is c equal to d?
False
Let x(o) be the second derivative of o**5/20 - 3*o**4/4 - o**3/6 + 11*o**2/2 - 5*o. Let h be x(9). Is 5/8 equal to h?
False
Let o be 2/10*(-20)/(-8). Suppose 0 = 7*b - 6*b - 2. Is b <= o?
False
Let d = 0 - 0. Suppose i - 2 = 0, 2 = -u - d*i + 2*i. Suppose 2*s - 2 = 3*r, s + 6 + u = -3*r. Is s equal to -2?
True
Let k be 11978/(-12621) - (-4)/6. Let t = -2/601 + k. Let l(c) = 2*c**2 - 1. Let x be l(1). Are x and t non-equal?
True
Let d(u) = -2*u + 2. Let t(c) = -3*c + 3. Let r(k) = 8*d(k) - 5*t(k). Let h be r(-4). Suppose 10*j - h = 5*j. Which is bigger: 1/4 or j?
j
Let t = -5 + 4. Let c be (-62)/((0 + t)*2). Let w be c/(-11) + 6/(-33). Does -5 = w?
False
Let v(c) = c**3 + 8*c**2 + 3. Let p be v(-8). Are p and 8/3 unequal?
True
Suppose -2*m - 1 = l, m = -0*l + 5*l + 16. Is -2/31 <= m?
True
Let l be (-86)/(-10) + (-2)/(-5). Let c = -29 - -37. Which is smaller: l or c?
c
Suppose 0 = -10*f + 13*f - 3. Let d = -4 + 15/4. Which is smaller: d or f?
d
Let a be 4/(-14) - (-8)/(-70). Suppose 0 = 6*s - 38 + 98. Is s greater than a?
False
Let w = -0.11 + 0.31. Is -1/20 <= w?
True
Let p(o) = -4*o - 20. Let l(i) = 9*i + 41. Let y(c) = 6*l(c) + 13*p(c). Let x be y(7). Which is smaller: x or -2/13?
-2/13
Let o be (2/3)/(28/(-42)). Is 1/8 <= o?
False
Let n = 85/2394 - 2/171. Suppose l = -3*i - 16, 5*i = 3*l + 6*i + 8. Which is smaller: n or l?
l
Let w(s) = s**3 + s**2 - 3*s - 2. Let d be w(-2). Suppose 0 = -3*g - 4*c - 5, 0 = 4*g - 3*c + 2*c - 25. Let m be g/(15/2) - 0. Is d <= m?
True
Suppose -11 = -2*b - 1. Suppose 10 = -b*z - 0*z. Are -6/5 and z nonequal?
True
Let h = -1.2 + 1.14. Is 3 at most as big as h?
False
Let z be ((-4)/(-6))/(2/3). Let n(f) = f**2 - 4*f - 8. Let w be n(6). Let t(y) = y**2 - 3*y - 1. Let b be t(w). Is z bigger than b?
False
Let d = -0.33 + 1.33. Are d and -1/4 non-equal?
True
Suppose 3*j + 33 = -0*u + 2*u, 0 = -5*u. Let v = -11 - j. Is 2/19 bigger than v?
True
Let f = -4 - -3. Let b be (1 - 3)*61/(-418). Let m = 9/19 - b. Which is bigger: f or m?
m
Suppose 2*b + 14 = -2*z, b + z = -4*z - 19. Is 3 less than b?
False
Let i(b) = 7*b + 1. Let x be i(-1). Let d be (15/x)/((-3)/60). Let m = d + -652/13. Which is bigger: m or 0.1?
0.1
Let z be (-4)/20 - 12/(-10). Let v = 7 - 4. Let r = -2 + v. Do z and r have the same value?
True
Let s = 0.6 + -3.6. Is -0.1 != s?
True
Let r = -8 + 10. Which is greater: 20 or r?
20
Let q = -2 - -4. Let a = -75 - -78. Is a at least q?
True
Suppose 3*o + o + 13 = -f, 5*f - 50 = 3*o. Let g be 19/7 - (-2)/f. Suppose 3*t - 11 = 2*b, 5*b - 2*b + 6 = t. Is t at least g?
True
Suppose -3*q = -q - 10. Let t = -13 + q. Which is smaller: t or -7?
t
Let h = 4 + -4. Which is bigger: -4/5 or h?
h
Let f be 6/(-4) - (-10)/(-4). Let u = f - -6. Let b be (-3 - (-4)/u)/(-1). Which is bigger: b or -1/7?
b
Let p = 0.06 - 0.06. Is -0.09 smaller than p?
True
Let p = 47 - 63. Is p != -17?
True
Let r = -3 + 4. Suppose 19*a - 24*a + 15 = 0. Which is greater: r or a?
a
Let n = -8 - -7. Which is smaller: 1/8 or n?
n
Let l be 2/3 + (-4)/6. Suppose 2*s = -3 - 7. Let y = s + 5. Is l >= y?
True
Suppose 0*i - 2*i = -4. Suppose -i*c - 6 = 4*n - 2*n, n = -2*c - 2. Let f = -5 - -5. Which is smaller: c or f?
f
Let c(s) = -25 - 2*s**2 + 16*s**2 - s**3 + 24 - 13*s. Let f be c(13). Is -2 bigger than f?
False
Let v = 1 + 2. Suppose 0 = -v*s + 2*s + 3. Suppose -1 = 4*l - 3*l - 4*u, -2*l + 3*u + s = 0. Is 4 bigger than l?
True
Let q = 0.96 - -0.04. Which is smaller: q or -9?
-9
Let k = -7057/1113 + -14/159. Let j = k + 211/35. Which is smaller: j or 0?
j
Suppose 0 = 5*y + 5*i, 0*y - 4*y + 4*i = -32. Suppose 3*m - 1 = 3*z + 8, 0 = -2*m + y. Let x be 2 + z + 30/(-42). Is 1 equal to x?
False
Let v = 115972/253 + -8222/23. Let z = v + -101. Which is bigger: -1 or z?
z
Let i = 16870/57 - 296. Which is greater: i or -1?
i
Let s = 6 - 5. Is 0 >= s?
False
Let p = -14 + 23. Let q be ((-25)/(-2))/5*4. Is q greater than p?
True
Suppose 7*c + c = 752. Is c > 94?
False
Let t = 0.07 + 0.03. Let a = 0 + t. Is a < 5?
True
Suppose 2*r + 2*y + 5 = -3*r, -2*r + 3*y = 2. Let f = 2365/14 - 169. Is r > f?
False
Let s(v) = v**3 - 7*v**2 - 12*v + 11. Let m be s(8). Let b = m + 20. Suppose -3*u = 10 - 4. Is b smaller than u?
False
Let u = 17 - 23. Which is smaller: u or -5?
u
Let f be (1*2)/((-3)/(-3)). Let a be (f/18)/((-5)/(-30)). Let v = 24 + -24. Is a not equal to v?
True
Let h be (-14)/12 + 2 + -1. Let i = -2.09 + 0.09. Which is greater: i or h?
h
Let v = 3.1 + -1.8. Which is smaller: v or 0.1?
0.1
Suppose l - 2 = -5. Let o = 0 - l. Let g = -4 - -8. Which is smaller: o or g?
o
Let t = 16 - 17. Which is smaller: 2 or t?
t
Let l = 12 + -5. Is 6 at least l?
False
Suppose 0 = 4*y - 3*c + 15, 2*c - 2 = y + 8. Is y less than or equal to 1/103?
True
Suppose -a - 2 = 2. Let i be (1*a)/(12/30). Which is smaller: i or -1/3?
i
Let p(k) = -3*k + 1. Let t be p(-1). Suppose 0*v = -3*v - 12. Let g be 1 - (-5 + v + 8). Is t at least as big as g?
True
Let z = 1 - -3. Let l = z + -2. Suppose -l*s + 6 = s. Which is bigger: 3 or s?
3
Let h be (-2)/(1 - 4/2). Let s(m) = 2*m**2 + 3*m - h*m - 2*m**2 - 3 + m**2. Let t be s(-3). Is t bigger than 3?
False
Let f = 59 - 59. Let b = -0.1 + 0.3. Let q = b + 0. Which is greater: f or q?
q
Let v(w) = 5*w + 1. Let x(t) = t + 1. Suppose i - 3 = -2*i. Let d(c) = i*v(c) - 2*x(c). Let g be d(2). Are 5 and g nonequal?
False
Suppose 8*n + 64 - 176 = 0. Is -1 bigger than n?
False
Let r(f) = 3*f**2 - 5*f + 4. Let y(t) = t - 3. Let w be y(5). Let u be r(w). Is u greater than or equal to 5?
True
Let p = 104 + -144. Are p and -39 equal?
False
Let y(h) = -h**3 - 8*h**2 - h + 7. Let t be y(-8). Let d = 14 - t. Let f = 0 - -0.1. Which is smaller: d or f?
d
Suppose 30 = -5*g + r - 4*r, -r = g + 6. Which is bigger: -9/2 or g?
-9/2
Let k = -15 + 15.46. Let u = -0.26 + k. Which is smaller: 4 or u?
u
Suppose 4*b - 25 = -1. Let d be (b/27)/(4/6). Let o = 32 + -33. Is d at most o?
False
Let p be 36/(-45)*-10*5/(-180). Let a(q) = -2*q**3 - 3*q**2 - 3*q - 3. Let k be a(-2). Suppose -20 = z + 4*b, 5*b + 18 = -5*z - k. Are z and p unequal?
True
Let b = -13.8 - -14. Let v = b + -0.2. Let r = -0.3 - -0.2. Which is smaller: v or r?
r
Let d = -18 - -20.1. Let z = 2 - d. Which is smaller: z or 0.1?
z
Let z = 8 - -22. Let r be 2/12*20/z. Suppose 2*x - 1 = x. Which is smaller: x or r?
r
Let a = -11.7 + 10.7. Which is greater: a or -10/9?
a
Let z = -10472/3 + 3561. Let n = z - 71. Which is greater: n or -4?
n
Let m be (1 + -4)*(-75)/(-135). Which is bigger: -3 or m?
m
Let b = -71 - -79. Is b != 10?
True
Suppose -3*z - 3*u = -u + 2, 5*z - u = 1. Suppose d - b = -16, -3 = -b + 2*b. Let t = -58/3 - d. Are z and t non-equal?
True
Let h = 0.06 - 0.16. Suppose 3*z - 2*w = 89, -90 = -2*z - z + 3*w. Let v = 59/2 - z. Is h at most v?
True
Let d(h) = 5*h. Let j be 0 + 2 - (1 + 0). Let k be d(j). Let n = k - 4. Does n = 0?
False
Let h be (-50)/(-18) - (-4)/18. Suppose -4 = -h*p - 31. Let s = 9 + p. Does s = -1?
False
Suppose 0*m - 3*m - 4*v = 16, 3*m - v + 41 = 0. Let s = m + 20. Suppose -5*d + 10 = 4*q, d - 2*q = -3*d + s. Is d at most as big as 2?
True
Let f = -0.1 + 0. Suppose 0 = -5*m - 2*m + 7. Is f less than or equal to m?
True
Let l = 20749/38 + -546. Is l at most as big as -1?
False
Suppose f - 5 = -3*w - 0*f, 0 = 2*w + 2*f - 2. Let z = 7 - 5. Is w greater than z?
False
Let b(d) = d**3 - 6*d**2 - d + 2. Let n be b(6). Let o be 1/(-1) - n - 7. Let z be -6 + o/(-2) + 1. Which is bigger: -4 or z?
z
Let v be (-15)/84 - (-4)/(-16). Let x be 1*((-4)/2 + 1). Let b(c) = c**2. Let u be b(x). Which is smaller: u or v?
v
Let h = -20 + 10. Let z = h + 7. Let v = z + 2.8. Do 0.2 and v have the same value?
False
Let p(g) =