-30) - 4) + 1722/15. Which is bigger: b or 117?
117
Let i be ((55/10)/(-11))/((-6)/68). Let h = 13 + -7. Are h and i non-equal?
True
Let o(z) = -5*z**3 - 2*z**2 - 4*z - 7. Let j be o(-4). Let w = j + -5043/17. Suppose 5 = 2*k - 7*k. Which is greater: k or w?
w
Let y = -861 - -95572/111. Do 0.1 and y have different values?
True
Let l be 1/(74/(-144)) + 2. Suppose -5*r + 13*r = -7*r. Let t be (0 + r)/(-2)*14/(-28). Is t >= l?
False
Let m = -2.6 - -2.26. Let t = m - -0.4. Let d be 7/(-4) + 8/4. Is t at least d?
False
Let v = -24 - -10. Let f = v - -19. Is f at least 4?
True
Suppose 5*f = 293 + 7477. Let n be 6/(-15) - f/55. Let q = n + 146/5. Is q smaller than 2?
True
Suppose -2*o + 4*o = 0. Let h be (-21)/(-20) + (-1 - o). Let q = -17.41 - -17.21. Which is smaller: h or q?
q
Let k be 3/((-258)/42 + 6). Is k greater than -11?
False
Let f = -15 + 24. Suppose -3*g = f + 9. Let o be (-2)/21 - (-2)/g. Which is greater: 0 or o?
0
Let o(v) = -v**3 + 2*v**2 + v + 3. Let a be o(0). Suppose 0 = -5*i + 3*l + 9, -4*l + 3*l = -5*i + a. Let m = 3 + 2. Which is bigger: i or m?
m
Suppose 0 = -73*b + 74*b - 25. Which is smaller: 26 or b?
b
Let r = -16 + -5. Let p be ((-18)/(-21))/((-20)/r). Which is smaller: p or 1?
p
Let h be (-40)/(-16)*4/10. Which is smaller: -6/119 or h?
-6/119
Let b be 550/(-750)*(-6)/20. Is b not equal to -1?
True
Suppose 3*p + 11*p - 390 = -12*p. Let z = 887/2 - 430. Is z greater than p?
False
Let p = -9029 - -9029. Let r be (-2)/(-3)*(-15)/33. Which is bigger: r or p?
p
Suppose -49 = 60*p - 59*p. Is p at least as big as -51?
True
Let c = 105 - 534. Which is bigger: c or -428?
-428
Let y = 7.8 + -7.72. Let p be 1 - -1*(2 - 5). Is p less than or equal to y?
True
Let l be 4*-1*1/(-2). Let n be ((-2)/8)/((-1)/l). Let r = 0.54 - 0.64. Which is smaller: r or n?
r
Let a = -12 - -21. Let j be (3 - a)/(-8 + 5). Suppose -3*z = -j*v + 14, -2*v = -0*v - 2*z - 10. Is v smaller than 0?
False
Let t = 711 - 767. Which is smaller: t or -494/9?
t
Let g be 78/(-8) - -5*6/(-24). Which is greater: g or -52?
g
Suppose -2*k + 210 = -7*k. Let h(y) = -43*y - 1375. Let a be h(-31). Is k less than or equal to a?
True
Let u(d) = d**2 + 7*d + 5. Let v be u(-7). Let w = v - 4. Let a = 1/34 + 15/68. Is a > w?
False
Let j be (-20)/(-6)*(-1)/(-5). Let o = -0.79 - -0.57. Which is bigger: o or j?
j
Suppose -2*k + 29 = -3*s, 0*k = -5*k + s + 92. Suppose 0 = 2*l - t + k, -12 = l - 5*t + 2. Are l and -7 equal?
False
Let c = 310 + -310.06. Is c > 13?
False
Let w = 401 - 399. Which is bigger: w or -7/32?
w
Let h(b) = b - 24. Let x be h(-3). Let z = x - -133/5. Which is smaller: z or 0?
z
Let a(w) = -w**2 + 3*w + 54. Let d be a(9). Is d less than -163?
False
Suppose n + 57 = 3*i, -3*i + 39 = 5*n - 36. Suppose i + 13 = -3*w. Does w = 2/3?
False
Let m be -3 - 12/((-840)/110). Let v(w) = -w**3 + 2*w**2 - 1. Let o be v(1). Which is greater: m or o?
o
Suppose -2*c = 3*w - 160 - 243, -5*w + 678 = -3*c. Let t be (-8)/36 + 3/w. Is t less than -1?
False
Let o = -109 + 126. Let m be 6/2 + (o - 18). Do 23 and m have the same value?
False
Let w be (6/40)/(8/(256/(-60))). Suppose -4*h - 7 = -f, 5*f - 7*h + 2*h + 10 = 0. Let k = -4 - f. Which is smaller: k or w?
w
Let c = 11 + 1. Suppose 10*z - 10 = c*z. Let o be z*((-30)/(-9) + -3). Is o <= 0?
True
Let x = -1825.4 - -1837. Is x at most 2/31?
False
Let o = -0.3 + 1.2. Let f = 0 - o. Is 0.2 != f?
True
Let w(t) = -t. Let v be w(1). Let o be (3/9)/(v/(-2)). Let c be 6/(-27) + (-19)/36. Which is smaller: c or o?
c
Let n = 21269/70 + -2655/14. Is 115 at least n?
True
Suppose 2*g = 3*t + 206, 7*g - 2*g + 3*t - 515 = 0. Which is bigger: 102 or g?
g
Suppose 5*b + 14 = 2*k, 3*b - k + 0 + 8 = 0. Are -76 and b nonequal?
True
Let q = 31 + -30. Suppose 3*o + y + 20 = -3*y, 4*y = 2*o. Let g be q/(-4) - 1/o. Which is smaller: -1/3 or g?
-1/3
Let g = -4.02 + 0.16. Let u = 0.39 + -0.53. Let f = g + u. Does f = 1?
False
Let i(u) = u - 100. Let g be i(-5). Are -106 and g equal?
False
Suppose 0 = -3*s + 12 - 3. Suppose 0 = -s*h - b - 2*b, -4*h = 5*b + 5. Let v be (1/h)/((-10)/30). Which is smaller: -2 or v?
-2
Let x = -69 + 52. Let z = x + 16. Is z at most -14?
False
Suppose -3*n + 4*t - 61 = 0, -6*n + 2*n + 4*t - 76 = 0. Let g = -15 - n. Suppose g = 5*m + y + 11, 0*y + 3*y = m + 15. Which is greater: 2 or m?
2
Let v = -105 + -281. Let l = v + 7336/19. Suppose 0*o = -5*o. Which is bigger: o or l?
l
Suppose 5*h - c - 4*c + 120 = 0, 5*h + 3*c = -136. Is h smaller than -25?
True
Let o = -11 - -11. Suppose r + 0 - 5 = n, n - 4*r + 20 = o. Suppose -3*l + 5*p = -16, 5*l = 4*l - 3*p - 18. Does l = n?
False
Suppose -2*f = -4*f + 4. Let q(r) = r**3 + 30*r**2 + 3. Let n be q(-30). Suppose f - n = b. Which is bigger: -1/2 or b?
-1/2
Let j = -2.038 - -0.038. Is 96 at most j?
False
Suppose 9*p = 4*p - 25, -6*d + 641 = -p. Which is smaller: d or 105?
105
Suppose -2*x + 2*a - 66 = 2*x, 54 = -3*x + 3*a. Which is greater: -110/7 or x?
x
Let o = -217313/35238 - -2/5873. Let k = 635/102 + o. Is -1 greater than k?
False
Let i be -5 - ((-46)/(-16) - 4/(-32)). Is i not equal to 0?
True
Let i be 2/2 + (-24)/64*3. Which is greater: 22/5 or i?
22/5
Suppose -10 = -8*z + 14. Which is smaller: z or 19/12?
19/12
Let g = 878542/403 - 2180. Is g greater than -2?
True
Let u = 0.316 - 0.066. Let x = u - 0.3. Which is smaller: -0.03 or x?
x
Suppose 4*o - 3*x + 2 = 0, 2*o + 4*x + 179 = 189. Let p = -121/375 - -1/375. Which is smaller: p or o?
p
Suppose 1 = -4*c + 9. Suppose q = -5*k + 28, 2*q + c*k = -3*k + 31. Suppose q - 1 = -2*n. Is 0 at least as big as n?
True
Let w be ((-2)/(-4))/(40/(-16)). Suppose 0*d + 6 = 2*d + 2*a, -d - 5*a = -3. Suppose -5*t = -2*h + 8 + d, 0 = h - 3. Which is smaller: w or t?
t
Let t = -97 + 195. Is 99 bigger than t?
True
Let b = -174 - -162. Let f be ((-12)/(-7))/(1/(-7)). Let k = b - f. Is 1/27 < k?
False
Let j(b) = -2*b**2 + 23*b - 61. Let a be j(8). Which is smaller: -3 or a?
a
Let h = -0.57 + -2.13. Is -18 smaller than h?
True
Suppose 402 = -4*w + 398. Let t = -41/270 - -1/54. Which is smaller: t or w?
w
Let v be 1*-1*(0 + 1). Which is smaller: v or 5?
v
Let c be (30/(-24))/(1/(-4)). Let b be 0*(c/(-2))/5. Suppose -2*s - 3*s + 55 = b. Is s bigger than 11?
False
Let o(a) = -4 + 20 + 6*a - 5*a. Let s be o(-11). Suppose 0*n + 5 = s*n. Does n = 0?
False
Let w = 3 - -2. Let v = 0.9431 - -0.0569. Is w != v?
True
Suppose -3*x = 5*y + 2*x - 35, -4*x = -16. Let j(c) = 9*c. Let g be j(y). Let d be g/(-4) + 2/(-8). Are -6 and d non-equal?
True
Let o = -4793 - -1428317/298. Let w = 3859/1490 + o. Which is greater: w or 3?
3
Let j be 2/8 - (-11)/4. Let t be 4/2 - (2 - j). Suppose -4*x + 3*v + 16 = 0, -23*v + 27*v = -4*x - 12. Is x < t?
True
Let o = 1043/17816 + -9/136. Are -1 and o nonequal?
True
Suppose 5*h + 499 = -4*k + 3014, 4*h - 3146 = -5*k. Let z be ((-4)/(-14))/2 + (-146)/k. Is -1 smaller than z?
True
Let s = -15 + -2. Let n = -13.2 - -0.2. Let l = s - n. Is -1/2 not equal to l?
True
Let b = -42 - -44. Suppose b*u + 23 = -5*c, -4*u - 2*c - 21 = 3*c. Which is smaller: u or 1/46?
1/46
Let f = -2335 + 637. Is f smaller than -1698?
False
Let l(s) = -s**2 + 16*s - 4. Let m be l(15). Which is smaller: 8 or m?
8
Let y be -1 + -2 + -1 + 17. Let v = 0.344 + -0.444. Which is smaller: v or y?
v
Let v(k) = -k + 4. Let u be v(2). Suppose -4*n - u = -3*n. Let z = -442/3 + 145. Which is smaller: n or z?
z
Suppose -2*r - 6 = 2*k, 5*r = -2*k + 1 - 16. Let v = 25 - 20. Let h = v + -8. Is h greater than r?
False
Suppose -269 = -6*j - 1031. Which is smaller: j or -126?
j
Let n = 17027/112 - 152. Which is greater: 0 or n?
n
Let t be 6/4*(2 - 0). Let n(l) = 2 + 5*l + l**t + 9*l**2 + 3*l + l. Let z be n(-8). Are z and 0 equal?
False
Let a = -3728 - -734414/197. Which is bigger: 0 or a?
0
Suppose 5*t - 42 = 8. Suppose -15*x + 30 = -t*x. Is x at least as big as -1/2?
True
Let l be -2 + 3 + 0 - (-326)/(-328). Is l < 2/5?
True
Let h be ((-64)/6 + -6)*(-3)/(-2). Which is smaller: h or -1?
h
Let i(j) = -j**3 - j**2 + 2*j - 4. Let g = -8 - -14. Suppose g*l = 3*l - 9. Let d be i(l). Is 7 bigger than d?
False
Let m = -5137 + 5199. Let y = -2 + 2. Which is bigger: m or y?
m
Let a = -557 + 555.999. Let u = 0.001 + a. Which is bigger: u or -29?
u
Suppose 0 = 2*x + 3*f + 5, -16 = -2*x + 2*f - 6. S