t least as big as 1666?
True
Let m = 126 + 43. Let w be (-2)/13 + 533/m. Which is smaller: 30/7 or w?
w
Let n be (4/6)/(2/3). Let m(h) = -h**3 - 12*h**2 - 21*h - 12. Let p be m(-10). Let x be ((-2)/(-8))/(5/p). Is x bigger than n?
False
Let o = 0.6 + 25.4. Is 2/13 less than or equal to o?
True
Let j = 2/261 + 508/1827. Let a = -4.4 + 9. Let v = a - 5. Which is smaller: j or v?
v
Let b = -43182/605 + 357/5. Let w = 871/968 - b. Do 0 and w have different values?
True
Suppose 265*c - 260*c = 0. Is c < 6/59?
True
Let y be 0 + 1 + (-6)/8. Let x be (32/(-48))/(2542/31). Which is bigger: x or y?
y
Let g(z) = -z**2 - 68*z - 970. Let m be g(-58). Is -390 less than m?
False
Let k(y) = y - 1. Let b(z) = -z**3 + 15*z**2 + 12*z + 13. Let p(s) = b(s) + 3*k(s). Let w be p(16). Which is smaller: w or -5?
w
Let h = 4.49 - 4.7. Let m = 36.31 - 36. Let n = m + h. Is 5 less than n?
False
Let y = 405/344 - 94311/64328. Let a = -8/17 - y. Which is smaller: 2/11 or a?
a
Suppose 3 - 13 = 5*t. Let u be (-1)/(-3)*(-105)/40. Which is smaller: u or t?
t
Let o = -3.2 - -3. Let a be -3 + (-7)/(-44)*-31 - -3. Let f = a + 19/4. Does o = f?
False
Let q = -31 - -27. Let b be ((q - -7) + -9)*-1. Which is smaller: b or 2/7?
2/7
Let a = -0.1 + -0.7. Let r = -10180.01 + 10180. Is a greater than or equal to r?
False
Let p be 28084/1122*(-72)/14. Which is smaller: -130 or p?
-130
Let q be ((-32)/10)/((-2)/10). Let a be (-1)/(2 - 30/q). Which is smaller: -9 or a?
-9
Let a = 1289.64 - 1312. Let f = 22 + a. Let z = f + 0.16. Is z greater than -2?
True
Let y = -491 - -494. Which is bigger: 0.009 or y?
y
Let s(h) = -2*h**2 + 3*h. Let q be s(2). Suppose 4*u + 3*i - 95 = 0, -3*u + 80 = 2*u - 4*i. Let r = -21 + u. Which is bigger: q or r?
r
Suppose 0 = -3*r - 4*b + 258, -14*r + 2*b + 276 = -11*r. Are 88 and r nonequal?
True
Let y be (426/(-2)*1)/(21/14). Are -142 and y nonequal?
False
Let l(b) = b**2 + 14*b - 15. Let q(h) = -h + 1. Let c(f) = -l(f) + 5*q(f). Let o be c(-20). Is -8/15 >= o?
False
Let o = 93/1496 - -82461/261800. Let y = o + 12/25. Is 0 at least as big as y?
False
Suppose -n = n - 12. Let f = n + 0. Let q(t) = t**3 - 7*t**2 + 5*t + 7. Let g be q(f). Which is bigger: g or 12/7?
12/7
Let d = -2 + -31. Let i = 19 + d. Let o = -14.2 - i. Is o greater than 4?
False
Let i = -6 + 4. Let m = -466 + 465. Which is smaller: i or m?
i
Suppose 0*s - 12 = 4*s + 2*n, n - 1 = 5*s. Let t(d) = d - 3. Let l be t(10). Let x(y) = -y**3 + 7*y**2 + y - 8. Let f be x(l). Are s and f nonequal?
False
Let n be ((-8)/(-50))/((-11)/(110/4)). Let l be (-8)/10 - (2 + -2). Let a = l - n. Do a and 0.08 have the same value?
False
Let m = 258 - 256. Is 19/25 at most m?
True
Let k(o) = -14*o - 39. Let i be k(-7). Let m = -78 + i. Is m < -17?
True
Let d be (13 + -10)/(2/14). Which is smaller: d or 28?
d
Suppose 5*v = 1712 - 17. Let n be v*12/(-30)*5/6. Are -113 and n equal?
True
Let o = 16 + -41. Let l = o + 15. Let p = l - -9. Is 0.15 greater than p?
True
Let n(l) = -l**2 + 7*l + 4. Suppose -5*c = 3*s - 28, 3*s + 3 = -9. Let p be n(c). Let d be (-3)/9*p/10. Is d not equal to -1/3?
True
Let j = -2665/7 - -383. Let x = -1 + 1. Is x at least as big as j?
False
Let t be -12*(-9)/((-1458)/(-4)). Let u = t - -1/27. Which is greater: u or 0?
u
Suppose 2*i - 2*h = 6, 0 = i - 11*h + 6*h - 11. Is -1.18 less than i?
True
Let f(z) = z**3 + 4*z**2 - 4*z + 6. Let v(i) = -2*i - 17. Let u be v(-6). Let t be f(u). Let a be (-1)/(-26*(-2)/24). Which is smaller: t or a?
a
Let q = -1132/13 - -1084/13. Which is smaller: q or -3?
q
Let w be 4 + 0 - (130/15 - 5). Is w equal to -55?
False
Let t(z) = z**2 + 35*z + 229. Let q be t(-17). Which is bigger: q or -0.1?
-0.1
Let p = 2545.83 - -0.17. Let c = -2556.71 + p. Let m = 0.29 - c. Is -1/3 <= m?
True
Let w = 0 - -1. Let k = -1 + w. Let y be (-27)/(-76) + ((-23)/4)/23. Is k < y?
True
Let v = -121 - -119. Is v >= 0.04?
False
Let p(b) = -b - 2. Let j be p(-3). Let l be 3 - (-3 + (j - -4)). Let g be (6/3)/(-20)*l. Which is greater: g or -1?
g
Let w(p) = p**3 + 5*p**2 - 13*p - 32. Let s be w(-6). Is s less than 15?
True
Suppose -h + 5*x + 11 = 0, 0*h = -3*h + 3*x + 69. Suppose 94 = 4*c - h. Are c and 30 unequal?
False
Let u be (-832)/(-15) + -9 + 598/65. Is 0.2 != u?
True
Let c be 2/7 - (-24)/14. Let x be (4/(-2*c))/(-1). Let q = -59 - -237/4. Is x at least as big as q?
True
Suppose -11*m = -18*m - 42. Are -16 and m equal?
False
Let k be 7*2 + 8/2 + -8. Let z be 1/7*(-3)/k*-8. Is 0 smaller than z?
True
Suppose -2*f - 5*i + 60 = 3*f, 5*i + 20 = 0. Suppose 0 = x + x - f. Let b be -6 + -1 + 702/108. Is x at least b?
True
Suppose 25*d + 6 = 26*d. Let n = d + 17. Is 23 greater than n?
False
Suppose -6*r = -5*r - 1. Let g be 7/(-3 + 14/4). Let p = g - 13. Is p at most as big as r?
True
Let k = -24/185 + 5403/37370. Which is smaller: k or -1?
-1
Let o be 9*(5/3)/(-5). Let m = 1 + o. Which is greater: -1/2 or m?
-1/2
Let b = -7.7 - -7.79. Which is smaller: 1 or b?
b
Suppose 0*g - 1 = g. Let p be 2/(-27)*231/14. Which is bigger: g or p?
g
Let b be -4*25/20 - 2/16. Which is bigger: b or -6?
b
Suppose 10*t - 18 = -8*t. Are t and 2/387 nonequal?
True
Suppose -f + 3*a = -12 + 1, -3*f + 5*a = -29. Let r be 68/f + -8 + 6/(-8). Which is smaller: r or -2?
-2
Suppose 3*n = 3*s - 429, 2*s + 3*n - 544 = -2*s. Do 140 and s have the same value?
False
Let x = -161 + 158. Which is smaller: x or -44?
-44
Let c = -0.405 + 0.255. Are -0.01 and c non-equal?
True
Suppose -3*q - q = 80. Let c = q - -18. Let p be (14/4)/(1/c). Which is bigger: -6 or p?
-6
Let q = 231 - 230. Which is greater: q or -47?
q
Let n be 4/(-8) + (-159)/(-2). Suppose 0 = -4*k + n - 219. Let x be 4*-1 + (-170)/k. Is x != 1?
True
Let i be ((-18)/(-15))/(6/(-40)). Let u(t) = t**3 - 6*t**2 + t - 8. Let m be u(6). Let y be 1*m/i*-4. Which is smaller: y or 0.2?
y
Let v = -3 + 5. Suppose -5*d = -0*d + 960. Let b be -2*4*(-4)/d. Is v >= b?
True
Let t = -0.0338 - -0.1338. Which is greater: t or -78?
t
Suppose -z = -9*z + 168. Which is greater: 27 or z?
27
Let c be (27/(-6) - -4)/((-767)/(-104)). Is c bigger than -1?
True
Let g(s) = -12*s**2 + s + 1. Let b = 43 + -44. Let x be g(b). Are x and -13 non-equal?
True
Let p = -9.4 + 15. Let w = p + -5.58. Let y = 53/3 - 18. Do w and y have the same value?
False
Let i(r) = r + 3. Let x be i(-1). Let q be 1 + (-94)/28 + 1/x. Which is smaller: q or -2?
-2
Let c(p) = 28*p**3 + p**2 + p + 1. Let u be c(-1). Let k(t) = 5*t**3 + 2*t**2 - 1. Let m be k(1). Let x be (-2)/9 - m/u. Is -2/7 > x?
False
Let y = 56 + -258/5. Is 3 not equal to y?
True
Let h(j) = j**3 - 13*j**2 - 13*j - 10. Let s be h(14). Suppose 91 = -s*b + 87. Let o be (-6)/(-4)*(-4)/15. Which is smaller: b or o?
b
Let t be 6/2 + (-1343)/459. Suppose -2*q - 6 + 4 = 0. Do q and t have different values?
True
Let q = -26 + 51. Let y = q + -56. Let a = y - -47. Which is bigger: a or 17?
17
Suppose -3*w - 11 + 14 = 0. Suppose 0 = 160*h - 155*h - 5. Is h greater than w?
False
Let z(y) = 6*y + 24. Let l be z(-4). Is l less than 10/141?
True
Suppose 73 = -5*j - 82. Let v = j - -61/2. Let s be (-14 - (3 - 9)) + 224/36. Which is smaller: v or s?
s
Let u = -1 - -3. Let g = -0.26 - -0.23. Let y = g - -6.03. Is u at most as big as y?
True
Suppose 2*l + 3 + 47 = 4*r, -4*r + 47 = -5*l. Let w(p) = -p + 5. Let m be w(r). Which is greater: -9 or m?
m
Let w be ((-24)/(-16))/((-2)/(-36)). Do w and 136/5 have the same value?
False
Let r be 12*(4/(-3) - -2). Suppose -4*p - 4*o + 13 = 1, -8 = 2*p - 5*o. Is r >= p?
True
Let u = -633 - -636. Which is bigger: u or -0.12?
u
Suppose -l - 748 = -3*y, l = -3*y + 246 + 506. Let a be 6/4 + (-785)/y. Let g = a + 96/25. Is g at most 3?
True
Let q = 348 - 270. Which is bigger: -2 or q?
q
Let q = -10 + 10. Suppose -k - 60 = -4*y, 4*k - 26 = -3*y - q. Which is greater: y or 13?
y
Let m be ((-6)/(-63))/(1/3). Suppose 4*q = 5*d + 2, -q = -d - 0 - 1. Suppose 16 = -d*f - 4*h, -h + 5*h + 16 = 3*f. Is f less than or equal to m?
True
Let p = 0.55 - 0.75. Is -47/4 at least p?
False
Suppose -2*a + 356 = 5*b + 2*a, -184 = -3*b + 5*a. Suppose -2*r = 62 + b. Are -65 and r nonequal?
False
Suppose 6*b - 7*b = -9. Let n be (-6 + 4 - 2)/((-2)/b). Are n and 18 equal?
True
Suppose 20 = 8*b - 3*b. Suppose 0 = -b*q + 6*q - 4. Is q bigger than 3?
False
Suppose 