-60)/(-96). Which is bigger: u or 1?
u
Let t = 58.7 - 61.7. Is 0.1 not equal to t?
True
Let f(g) = -g - 11. Let x be 11*1/3*3. Let l = x - 18. Let a be f(l). Is a >= -3?
False
Let i = 0.3703 - -0.0297. Are i and 2.74 equal?
False
Suppose m = 3*p + 15, 0*p + 3*m = -2*p - 10. Let l(g) = g**3 + 4*g**2 - 6*g - 4. Let i be l(p). Let z = -879/2 - -441. Which is greater: i or z?
z
Let f be 4/(-7) + (-1001)/(-1911). Is -1 equal to f?
False
Let y(v) = 6*v. Let d(s) = 2*s. Let f(q) = 14*d(q) - 4*y(q). Let j be f(1). Is j smaller than 4?
False
Let i = -112/177 + -2/59. Let k = 5066 + -5034. Which is greater: k or i?
k
Let r = -0.49 - -42.49. Let u = r - 42.1. Which is smaller: u or 17?
u
Let t = 13 - 8. Let w be (-2)/t - (-2126)/3660. Let y = w - 9/61. Is 0 smaller than y?
True
Let r = -13 + 9. Let l be (-3 + (-35)/(-10))/2. Is r at least as big as l?
False
Suppose 4*t - 5*m = 5*t + 21, 2*m + 26 = 4*t. Let j be (t/6 + -1)*-3. Let n = 28469/2 - 14234. Is j greater than n?
True
Let y = -2913 - -2913. Let z be 1/(-1 + 106/(-6)). Which is smaller: y or z?
z
Let q = 2 - 2. Let r be (-1)/(-2)*-2 - q. Let f = -16861/33 + 511. Which is smaller: r or f?
r
Let u(r) = 2*r**2 + 3*r - 2. Suppose -4*l - 3*m - 9 = 2, -2*l = -m + 3. Let b be u(l). Which is smaller: -13 or b?
-13
Let y(a) = -a**3 - 8*a**2 - 5*a + 12. Let q = 13 - 20. Let x be y(q). Is 0 < x?
False
Suppose -17 = -5*i - 92. Let s(a) = a**2 + 14*a - 6. Let q be s(i). Let v = 16 - q. Is v smaller than 7?
False
Let x = 69.23 + -2.23. Let s = 64 - x. Let d be 1/((-2)/(12/(-2))). Which is smaller: d or s?
s
Suppose -6*p + 50 = -p. Suppose 7*a + 13 = 8*a - 5*n, 0 = 2*a - n - 17. Is p bigger than a?
True
Let y(b) = -5*b**2 + 2*b + 6. Let m(i) = 6*i**2 - 3*i - 7. Let q(l) = 4*m(l) + 5*y(l). Let j be q(1). Which is greater: -2/3 or j?
-2/3
Let u = -0.026 - 46.974. Let q = u + 47. Is 2 > q?
True
Suppose 15*n + 16 = 1. Is n at least as big as 2/469?
False
Let s be (-780)/(-10)*(5/10 - (-57)/(-126)). Let c(o) = 4*o + 1. Let v be c(1). Is s less than v?
True
Let n = -77 - -54. Are -24 and n equal?
False
Let r be 2 + -1 + (-85)/9. Which is greater: -9 or r?
r
Let d = 2427/7 + -347. Is d less than 71?
True
Let d = 2036/5 + -406. Is 1/4 less than d?
True
Let d(g) = g**3 + g**2 - g - 1. Let i(b) = 2*b**2 + 6 - 1 + b - 5*b**3 - b**2. Let p(s) = 4*d(s) + i(s). Let z be p(4). Is 5 > z?
False
Suppose 26*b - 6139 + 1979 = 0. Is 160 < b?
False
Suppose -15 = 3*z - 3*l, 11*l - 12*l = 8*z + 4. Let f = 274/13 + -22. Which is greater: z or f?
f
Suppose -2*w - 8 = -4. Let l(p) = p**3 + 3*p**2 + p. Let y be l(w). Suppose y*o = o - 2*r + 1, 4 = 2*o + 3*r. Is o smaller than 2/7?
False
Let v = 3.5 - 0.3. Let u = v - 1.2. Is 2 <= u?
True
Suppose 2*z + 22 = 3*n, 4*n + 1 + 23 = -4*z. Which is smaller: -51 or z?
-51
Let f = -1223 - -1221. Is 0.106 less than f?
False
Suppose 3*t - 5 - 4 = 0. Let m(g) = -2*g**2 + t*g**2 + g - g - 3*g - 11. Let a be m(5). Is 1/15 at most a?
False
Let h(r) = 1 + 62*r - 1 - 63*r. Let n(p) = -3*p + 13. Let b(j) = 4*h(j) - n(j). Let l be b(-7). Which is smaller: l or -5?
l
Let a be 71/2*(4 + -8). Let x = a - -708/5. Is x at most 5/8?
True
Suppose 1 = 3*v - 2*s - 1, 0 = 2*v - 3*s + 2. Let x(q) = q**3 - q**2 + q - 4. Let o be x(v). Suppose -o*w + 11 = 17. Is 0.1 less than or equal to w?
False
Let u(t) = -t**2 - 2. Let m be u(2). Let z be (-18)/m + 0 + 2. Let q be (5/(-6))/z*-2. Which is greater: 1 or q?
1
Let f = 0.4 + -0.3. Let w = -0.0041 - -8.0041. Is f less than or equal to w?
True
Let y be (12/(-1760))/(36*6/(-45)). Is y smaller than 0?
False
Let v(a) = -a**3 + 7*a**2 - 5*a - 4. Let p be v(6). Let d(t) = 9*t - 2*t - p*t. Let c be d(2). Is 10 at least as big as c?
True
Suppose 3 + 7 = 10*r. Which is bigger: r or -9/205?
r
Let o(z) = -z**3 - 16*z**2 - 2*z - 13. Let i be o(-16). Let h = 20 - i. Let a be (-1 - -2)*(h + -1). Is a bigger than 0?
False
Let s be 26/7 + (-22)/(-77). Let l be 252/144 - s/2. Is 0 > l?
True
Let c = 2239 - 11142/5. Is 11 <= c?
False
Let l = 1 - -9. Let y = l - 10. Which is greater: y or -3/22?
y
Suppose 0 = 5*v - 25, -n + 6*n - 3*v - 55 = 0. Which is smaller: n or 18?
n
Let u = -14 - -20. Suppose -4*o = -u + 2. Let s(i) = -i**2 - i + 1. Let n be s(o). Is n != -1?
False
Let o(n) = n**2 - 9*n + 12. Let s be o(9). Let t be (s/(-8))/((-1)/(-2)). Let z be ((-2)/15)/((-2)/t). Which is smaller: 0 or z?
z
Let w = 5.8 - -17.6. Let r = w - 22. Which is smaller: r or -1?
-1
Let g = 412.9 - 444. Is -5 at least as big as g?
True
Let a(i) = -2*i**3 + 104*i**2 + 2*i - 64. Let o be a(52). Suppose -4*x + 119 = 3*y, 2*y - 5*x = 5*y - 118. Which is greater: o or y?
y
Let r be (4/8 - 2)*(-20)/(-21). Which is smaller: r or 4?
r
Let h = -1510 - -1294. Is -217 at most h?
True
Let z = 27 - 31. Let q be 4/10 - (-3)/(-15)*27. Which is bigger: z or q?
z
Let p = 4.3 - 8. Let g = 20.7 + p. Let b = 17.25 - g. Which is bigger: b or 0.1?
b
Let b = 258 - 258. Is 5/36 <= b?
False
Suppose 38*y + 17 = 55. Are y and -10/297 non-equal?
True
Let i be 10/(-3)*(-4)/40*6. Let t(p) = -5*p + 6. Let j be t(i). Which is smaller: -12 or j?
-12
Let f = 29 - 0. Suppose 5*h - 29 = 18*j - 19*j, 0 = 5*h - 3*j - 33. Suppose -f = -3*y + 5*m, 2*y + 2*m - h = y. Which is smaller: 1 or y?
1
Let x be (-1)/((-3)/(-42))*8. Let r = x + 102. Which is bigger: r or 2/3?
2/3
Let o be 1 + 1 + 0 + -1. Let u be ((-7)/2)/(o/(-2)). Let h = -924 - -932. Which is smaller: h or u?
u
Suppose 7*g - 3*g = 0. Let f be 0/(-3 - -2 - g). Suppose f = -5*y - 2 - 18. Which is smaller: -3 or y?
y
Suppose -15*h - 27 = 3. Let r be (-590)/300 - 2/10. Is r < h?
True
Let q(t) = -6*t**2 - 86*t - 88. Let b be q(-1). Let d be (-1)/1 + 6/2. Suppose s + 5*v - 4*v + 4 = 0, d*v + 26 = -5*s. Is s >= b?
True
Let d = 56692/19 + -911693/285. Let s = -215 - d. Is s bigger than -1?
True
Let h be 2/(-2)*3 + (-22)/(-6). Suppose -2*p - 2*p = 4. Let r be (p + -2)*5/(-60). Is h at most r?
False
Let q = 80.835 + 0.165. Let b = 78 - q. Which is greater: b or 0.16?
0.16
Let o be -2 + -3 + 1 + -172 + 4. Which is greater: -170 or o?
-170
Let h = 139.02 - 139. Is h at least as big as -1/4?
True
Let y = -286.1 + 286. Do y and -0.037 have different values?
True
Let l = -115 - -165. Suppose 4*v - 9*v + l = 0. Is v greater than or equal to 9?
True
Let n = 4/29 - 70/87. Let a = 75.1 + -86.1. Which is smaller: a or n?
a
Suppose 3*r = -40 + 28. Are r and -22 equal?
False
Let k = 274 + -274. Are k and 7/31 non-equal?
True
Suppose 0 = -3*x - 3*w + 18, -15 = -4*x - 2*w + 1. Let o be (-1*x - -2)/(7/7). Let v = 15/7 - 179/77. Is o equal to v?
False
Suppose -2 = -129*c + 128*c. Let o(u) = -u**3 + 6*u**2 - 5*u. Let t be o(5). Suppose b = -t*b - c. Is -3/4 >= b?
True
Let v be 2*(-99)/(1 + 2). Let n = 45 + v. Let l be 2*((-24)/n - 1). Which is bigger: 1 or l?
1
Suppose -2*s - 2*s + 8 = 0. Let f be (0 - s/2)/(-1). Let a = -2 - -11/5. Is a greater than f?
False
Suppose -8*n = -4*n. Suppose n = -3*j - j. Let o = 158/5 + -3624/115. Which is smaller: o or j?
j
Let k be (-354)/(-4)*(-1)/(-12). Let i = k - 223/40. Is 3 bigger than i?
True
Let a = 4586434/18675 + -76/2075. Let w(r) = r**3 - 17*r**2 - 28*r + 54. Let n be w(19). Let p = n - a. Do -1 and p have different values?
True
Let i be 68/102 - (-15)/(-9). Which is greater: i or 25/78?
25/78
Suppose g + 5*p = -136, 3*g + p - 6*p + 508 = 0. Let o = -96 - g. Let s = o + -324/5. Is s equal to 2?
False
Let t = -49 + 9. Let g = t + 40.1. Which is bigger: g or -3?
g
Let t(r) = -2*r - 1. Let j(a) = a + 6. Let f(u) = u - 1. Let d(m) = -3*f(m) - j(m). Let v(k) = 3*d(k) - 5*t(k). Let c be v(2). Are -9 and c unequal?
True
Let q be 1/(-43)*2/6*1. Is q <= 0?
True
Let g = 11.8 + -12. Let z = 2 + -2.01. Is g greater than z?
False
Let m(f) = 24 + 4*f - 28 - 23. Let b be m(8). Do b and 39/8 have the same value?
False
Suppose -14 = -v - 10. Suppose k = -2*k + 2*z - 7, -k + v*z - 9 = 0. Let t be (-1)/1 - (-1)/(-1). Which is greater: t or k?
k
Let g be (-1824)/2660*15/1. Which is bigger: g or -0.1?
-0.1
Let j be (-24)/(-36) - (-214)/(-6). Let t = j + 43. Let n = 16 - 9. Which is greater: n or t?
t
Let t be 1048/(-7410) + 62/465. Which is smaller: t or 1?
t
Suppose -5*u = -10, -5*z + 3*u = 268 + 418. Let k be (-2)/5 + z/360. Let y = -5/63 + k. Which is smaller: 0 or y?
y
Let v = -39 - -42