170*u = 22. Is u bigger than 64/57?
True
Suppose 5*i - 6*x = -8*x + 38, 5*i = -4*x + 36. Suppose -l + 4 = -3*u, 2*u - l = -3*u - i. Let o = -29 + 30.3. Which is greater: o or u?
o
Let a = -14 + 10. Let u be 240/(-28) - a/7. Suppose 0 = 4*z - 3*t + 47 - 2, 3*z + 12 = -5*t. Which is bigger: z or u?
u
Let y = -1360 + 2357. Is 2/5 smaller than y?
True
Let y = -0.06 - -22.06. Let h = y + -21.9. Which is bigger: 0.03 or h?
h
Let n = -267 - -270. Is n != 6?
True
Let j be (-17)/(40/16*8/20). Is j bigger than -89/5?
True
Let u be (32/(-2))/(27 - 25). Suppose -5*x - 17 = 18. Which is smaller: x or u?
u
Let j be 2*(-108)/74 - (-39)/13. Which is smaller: j or -1?
-1
Let p be (1*-27)/3 + 3. Let w be (-3)/(-2) + p/4. Suppose -4*j = 3*n - 17, -3*j + 16 = -n - w*n. Is n at most 3/10?
True
Let z(g) = -10*g - 1. Let f be z(-1). Suppose -3*m = d - 0*d + 8, 5*d = -m + 30. Which is smaller: d or f?
d
Suppose -3*g - 9*g = 12. Which is greater: 227 or g?
227
Let i(v) = 3*v**2 + 9*v + 5. Let o(d) = 5*d**2 + 17*d + 9. Let l(z) = -7*i(z) + 4*o(z). Let m be l(6). Let c = m + 5. Is 1 equal to c?
False
Let b = -23 + 12. Let k = b + 4. Let l = k + 4. Is l bigger than -0.1?
False
Let x be ((-7)/14)/(1/(-2)). Let t be 48/54*x/(-12). Which is smaller: t or 1?
t
Suppose 308 - 3436 = -46*j. Is 269/4 < j?
True
Let q be (-5 + 1)*234/(-312). Is 24 != q?
True
Suppose 3*u = t - 3 - 9, -4*u + 4 = 0. Let k = 23 - t. Suppose -f + k = -5. Is f greater than 11?
True
Suppose 0*n - 40 = -2*w + 2*n, 0 = 2*w - 4*n - 32. Let g = w + -22. Suppose -2*i + 52 = g*f, 0 = i - 0*f + 3*f - 24. Do i and 27 have the same value?
True
Let w = -1255 - -1212. Which is bigger: w or -42?
-42
Let q = -4376/1246133 - 2/2657. Is 0.1 less than q?
False
Let l be (1/(-3))/(12/(-108)). Suppose -5*r + 35 = 8*g - 3*g, l*r - 27 = -4*g. Let m be (-19)/(-4) + (-1)/(-4). Which is smaller: g or m?
m
Let u be (2 + 0 + -2)/(-1). Let g = -19.7 + 37.7. Is u bigger than g?
False
Let r be -11 + -10 + (-5 - -1). Let c = r - -24. Which is greater: c or 2/37?
2/37
Let j = -30 - -29. Let b be -13 + (-1)/(-1)*1. Let m be (8/b)/(2/3). Is m at least j?
True
Let f = 0.049 - -0.331. Let a = f + -8.38. Which is bigger: a or 1?
1
Suppose 4*r = 5*q + 79, -6*q + 3*q = -5*r + 50. Let j(h) = -2*h - 3. Let g be j(-4). Let t be (2/6)/(g/q). Are t and -1/2 equal?
False
Let s = 13 + 6. Let w = s - 20. Is w <= 2/57?
True
Suppose 2*n = 2*x - 36, 6*n = 2*n - 5*x - 117. Which is greater: n or 0.1?
0.1
Let y(r) = r**3 + 6*r**2 - 12*r - 20. Suppose -4*u - 49 + 21 = 0. Let g be y(u). Is g at most 15?
True
Let c be 1344/(-175) - 0 - (-7 - -1). Do c and -2 have the same value?
False
Let z = 0.53 - 2.63. Let g = 0.1 + z. Let l(c) = 11*c**2 + 43*c + 35. Let r be l(-2). Is g at most r?
False
Let u = 6278 - 6296. Let m be (1 + 0/1)/1. Do m and u have the same value?
False
Let m = -5.91 + 6. Let y = -0.01 + m. Let w = y + -0.68. Which is smaller: w or -1?
-1
Let w = -213 + 197.22. Let j = 0.26 + -0.48. Let f = j + w. Which is greater: -2/3 or f?
-2/3
Let k be -1 - 2 - (1 - -1). Let b = 15224/3 + -5080. Which is smaller: k or b?
b
Let y(h) = -33*h - 792. Let i be y(-24). Do i and -1578 have different values?
True
Let q(z) = z**2 + 7*z - 5. Let c be q(-8). Let r = 92 - 87. Let i = r - c. Is 5/4 at most i?
True
Let o(d) = 2*d**3 - d**2 + 5*d - 1. Let h be o(0). Which is greater: -7 or h?
h
Let d(j) = j + 21. Let r be d(-12). Suppose -10*p + r = -9*p. Suppose -4*a = -a - p. Which is bigger: a or 0?
a
Let g = 59 - 23. Suppose 6*v = 8*v - g. Let a be ((-583)/v)/11 - -3. Are 1 and a nonequal?
True
Suppose 10*z + 7 + 3 = 0. Is z smaller than -6?
False
Let s = 884/15 + -59. Let g = 181 - 180. Is g equal to s?
False
Suppose -4*r = -y - 1 - 36, 2*r = -4*y - 184. Let g be (51/y)/1 + 1. Let i = 5 + -4. Is g greater than i?
False
Let v be (0 + (7 - -1))/(34/136). Let g be ((-10)/v)/(4/(-608)*2). Is g < 23?
False
Let z = 37 - 112/3. Let q = z + 11/15. Is 19 not equal to q?
True
Let o = 6 + -124/21. Let n(j) = 15*j + 300. Let u be n(-20). Is o <= u?
False
Let w = -44 + 28. Let f(o) = o**3 + 17*o**2 + 13*o - 23. Let z be f(w). Are z and -1 equal?
False
Let p = 520/47 + -51580/4747. Is p greater than 1?
False
Let m = -0.0154 + -1.9746. Which is greater: 0 or m?
0
Let k(b) = b**2 + 8*b - 7. Let m = -79 + 115. Suppose 6*c - 2*c = -m. Let a be k(c). Is 2 equal to a?
True
Suppose -65 = 19*b - 24*b. Which is smaller: b or 12?
12
Let v = 2825 - 14324/5. Which is smaller: -40 or v?
-40
Suppose 474 = 4*l - 3*u, -l + 2*u = -u - 123. Which is smaller: l or 353/3?
l
Let a(f) = -f**3 - 12*f**2 - 25*f - 153. Let y be a(-11). Which is bigger: y or -4/141?
y
Let k = -199 - -204. Which is bigger: 23/5 or k?
k
Let l(j) = 7*j**2 - 1. Let m be l(1). Suppose -5*k = q - 15, 2*k = m*k + 5*q - 33. Suppose 3*f + 4*g - 1 = k*f, 0 = 4*f - 2*g - 40. Are 9 and f non-equal?
False
Suppose -9187 = 18*k + 6581. Is k less than -877?
False
Let g = -4 + 6. Suppose q = g*q. Let n = -89/286 - -1/26. Is q greater than n?
True
Let s(b) = 2*b**2 + 30*b + 88. Let u be s(-11). Which is smaller: 42 or u?
u
Let j be (-4)/10 - 16/10. Let y(n) = -n**3 - 6*n**2 - 8*n - 5. Let r(c) = -c**3 - 4*c**2 + 5*c - 4. Let h be r(-5). Let s be y(h). Which is smaller: j or s?
s
Let p(a) = -2*a**2 + 4*a - 3. Let q be p(3). Let k = 2 - q. Let l be 1/(((-4)/k)/4). Is -11 greater than l?
False
Let x = 205/147084 - 1/1442. Let k = -27947/1428 - x. Let p = 20 + k. Do p and 1 have the same value?
False
Let w = -871/10340 + 9/188. Suppose -2*n + 24 = -6*c + 4*c, 4*n - 5*c = 51. Suppose -2*l + 11*l = -n. Which is bigger: l or w?
w
Let x = 19 + -18. Which is smaller: -0.462 or x?
-0.462
Let i(k) = k**3 + 4*k**2 - 6*k - 14. Let n be i(-6). Let s = -68 - n. Which is bigger: s or 0.1?
0.1
Let l = 376 - 373. Let d be (21/(-56))/((-3)/26). Which is smaller: d or l?
l
Suppose -2*p + 13 = 93. Let a be (-3*p/225)/((-4)/18). Is a at most as big as -3?
False
Let u(j) = j**3 + 15*j**2 + 2*j + 31. Let i be u(-15). Let x be 12/((-3)/i) + -5. Suppose 0 = 2*p - 10, 5*s - 5*p + 61 = s. Is x > s?
False
Suppose 677 = 2*p - 783. Is 730 < p?
False
Let a = -509 + 542. Which is bigger: -8 or a?
a
Let s = -247709 + 10899783/44. Let b = -53/4 + s. Let x = 1 - 0. Which is greater: x or b?
x
Let b = -10.286 - 0.114. Let z = b - -10.2. Is z <= 1/10?
True
Let f = 2.48 - 14.48. Is f at least 13?
False
Let d be 2/(-1) - (-87)/54. Let x = 8/9 + d. Let i be (-4)/(-6) + 5/(-15). Which is bigger: i or x?
x
Let f(n) = n**3 - 11*n**2 + 5*n - 5. Let a be f(12). Suppose a = 9*b - 152. Does 39 = b?
True
Suppose 29 = 21*i - 19*i - 31*i. Let j = 80 - 398/5. Which is smaller: i or j?
i
Let o be (1/56*-4)/(5/(-20)). Is 3/8 bigger than o?
True
Let i(s) be the first derivative of -1/4*s**4 - 2*s + 4 + 3/2*s**2 - 2/3*s**3. Let n be i(-3). Is n bigger than -3?
True
Let v = 17 - -11. Let p = 28 - v. Which is smaller: 0.4 or p?
p
Suppose -2*d + 1309 = 3*f - d, -d = f - 433. Let i be (-6)/45 - f/90. Which is smaller: -19/3 or i?
-19/3
Let i(m) = m**2 - 24*m - 45. Let u be i(14). Which is smaller: u or -184?
u
Suppose 7*q - 3*q = -5*v + 26, -2*q = -3*v + 20. Let z(d) = v*d - 5*d + 1 - 1. Let k be z(6). Is k >= 6?
True
Let i be (-2)/(-16) - 732/(-32). Is i smaller than 1?
False
Let m be (-6)/45 + (-5176)/(-120). Which is smaller: 45 or m?
m
Suppose 3*p + 2*x = 10, 2*p + 3*x + 8 = 23. Let t be (1*(3 + -4))/(-1). Let v be 29/(-31) + t + 0. Which is bigger: v or p?
v
Let w = 96 - 75. Let h(i) = -12*i - 3. Let l be h(-2). Is l >= w?
True
Suppose -379 = -0*i + 2*i + 5*k, -5*i + k - 934 = 0. Let y = -2430/13 - i. Is y equal to 1?
False
Let z = -496 + 316. Let d = z - 27. Let c = d + 2683/13. Are -2 and c non-equal?
True
Let w be 5/((16/(-72))/(4/(-30))). Which is greater: w or 34/15?
w
Let p be -2 - (-8 + 3) - 2. Let n = -3522/7 - -506. Let h = n + -107/35. Which is greater: h or p?
p
Suppose -22 = 264*x - 268*x - 5*f, -25 = -5*x - 5*f. Do 1.77 and x have the same value?
False
Let n be 1 - (0 - 2) - 1. Let x be (-15 - -7)*n/4. Let g = -6 - -4. Is g smaller than x?
False
Let j = 61 + -481. Is j less than or equal to -422?
False
Suppose 5*x = a + 53, -x = -6*a + a - 25. Let t be 24/x - -1 - 30/75. Which is smaller: 20/11 or t?
20/11
Suppose 5*i = 2*i + 3. Let z be 0 + (-6)/2 - i. Let g(x) = x**2 + 3