igger: m or q?
m
Let z be (126 + -1)*10/(-25). Let t be z/8 + -2*(-2)/16. Are t and -31/6 nonequal?
True
Suppose 0 = 5*z - 0*z + 50. Let f = z + 19. Is 8 at least f?
False
Let q be -2 - 2*9/(-6). Let u(i) = 4*i - 1. Let v be u(q). Suppose 2*w + v*y + 0*y - 5 = 0, w + 5*y = 6. Which is greater: -1/8 or w?
w
Let b = 57.9 - 58. Let t = -11.1 - b. Is t less than or equal to 0?
True
Let v = -8.21 - -8. Let s = -10 - -10.16. Let h = v + s. Is h > 0.1?
False
Let q(c) = -c**3 - 4*c**2 - 2*c + 4. Let f be q(-3). Let j = -33251 - -232364/7. Let n = j - -56. Is f not equal to n?
True
Let b be (-2 + 10/4)*0. Suppose 0 = -3*t + 3*u - 15, 0 = 2*t - b*t - u + 9. Let r be ((-2)/4)/((-1)/(-8)). Are r and t unequal?
False
Let w(m) = -m**3 - 10*m**2 + 13*m + 23. Let p be w(-11). Which is smaller: p or 170?
p
Let i be 6/8 - (-10446)/(-13992). Is i < -1?
False
Suppose -6*k - 4 = -4*k. Let i be (1 - -1)*5/k. Which is smaller: -2 or i?
i
Let q be (-2)/9 - 1148/(-63). Let h be 2/6*q/(-6). Let x be -2 + 0 - (-2 + h). Which is smaller: 0 or x?
0
Suppose 4*n = 3*m - 15, -3*m + 24 = 9. Suppose 0 = 8*d - 3*d + g + 5, 4*d - 2*g - 10 = n. Is 2/17 less than d?
False
Suppose 142 = 11*c - 738. Which is bigger: 77 or c?
c
Let w(k) = -1 + k**2 - 2*k - 3*k + 3. Let y be w(5). Suppose f - 18 = -y*f. Is f >= 5?
True
Let d(j) = -25*j**3 + 3*j**2. Let m be d(2). Which is smaller: -187 or m?
m
Suppose 5*n + 40 = -4*j, 2*j - 2*n = -7*n - 30. Let g(o) = o**2 + 6*o. Let b be g(j). Let y(z) = -z**2 - 5*z. Let d be y(b). Which is smaller: 3/11 or d?
d
Let k = 135.1 - 138.1. Which is greater: -118 or k?
k
Let x be 7/(-4) - 3/12. Suppose 2*m = -3*t - 14, -2*m - 4*t + 51 = 67. Is x less than or equal to m?
False
Let k = -0.06 - 4.44. Let p = 4.3 + k. Is p <= -9?
False
Let z = 9.1 - 85.1. Let d = z - -76.45. Is d bigger than 0.1?
True
Let p = -1 - -9. Let t be 27/(-6)*16/(-24). Suppose -p - 7 = -t*k. Which is smaller: 6 or k?
k
Let d = -1.09 - -8.09. Which is bigger: d or 1/3?
d
Let p be (-2 - -454)*(-13)/(-26). Is 225 < p?
True
Suppose 6*f + 24 = 8*f. Let t = 13 - f. Let r be (-232)/216 - t*-1. Which is smaller: r or -1?
-1
Suppose -11 - 2 = -3*j + 2*h, 5*j + 5*h = 5. Suppose j*w - 5 - 1 = 0. Let q(a) = -a**2 + 2*a + 1. Let o be q(w). Is 1/2 at least as big as o?
False
Suppose 15*z + 5*v + 1 = 16*z, 4*z - 4 = -2*v. Is z at most as big as 7?
True
Let r be ((-3)/1)/(18/12). Let t be 2*(-4)/52*r/(-2). Is -3 >= t?
False
Let l = 5.9 - -7.1. Is -0.15 at most l?
True
Let a(m) = 2*m**3 + 8*m**2 + 12*m + 8. Let z be a(-4). Is z at most -438/11?
True
Let d be (-1 - 30/(-27))/(12/108). Is -5/17 at least d?
False
Let n be (-6)/15 - (-1)/40. Let k = 2 - 14. Let v be (-4)/k - (-8)/12. Which is smaller: n or v?
n
Let v = 3.23 + -3.3. Let l = 0.04 + 1.96. Which is smaller: v or l?
v
Let n(v) be the first derivative of -v**2/2 - 3*v + 5. Let i be n(-3). Suppose 4*b = 5*y - 1, -b + 2*b + 5*y - 6 = i. Which is bigger: b or -3/16?
b
Suppose i + 42 = 3*i. Let o = i + -22. Let m be (-57)/(-132) - (-2)/(-8). Which is bigger: o or m?
m
Let k(b) be the first derivative of b**3/3 - 5*b**2 + 24*b + 18. Let u be k(6). Which is smaller: -1/80 or u?
-1/80
Let h = 219.18 + -219. Which is smaller: -2.7 or h?
-2.7
Suppose 3*s = d - 3 + 2, -3*s = -2*d - 4. Let f be 0 - (s + -4)/3. Suppose -3*q = -f*q - 3. Are 2 and q nonequal?
True
Let f = 625 + -684. Which is bigger: -1 or f?
-1
Suppose g = 6*g + a - 14, -5*g + 26 = 4*a. Let c be g/(-1) - (-14)/10. Let i be 2*2/(-18) - 215/774. Is i != c?
True
Suppose 0 = -5*c - 1374 + 429. Is c less than -190?
False
Let x = 0.11 + -0.01. Is x > 11?
False
Let g = -69 + 72. Let d be (-21 + 1)/(g - 5). Which is bigger: 12 or d?
12
Let s = 38.6 - 45. Let y = s - -8. Let b = -1.49 + y. Is b != -0.1?
True
Suppose 6 + 4 = -5*g. Let s = -121.1 + 127. Let p = -0.1 - s. Is g less than p?
False
Let s(n) = 4*n. Let g be s(6). Let k = -14 + g. Let w = 29 + -18. Which is greater: w or k?
w
Let i(n) = -n + 41. Let j be i(38). Which is greater: j or 40/11?
40/11
Let t(d) = 27*d**2 + d - 1. Let k be 10/(-5) + 0 - -1. Let x be t(k). Which is smaller: 24 or x?
24
Let j(b) = -20*b**3 + b**2 - 2*b + 1. Let d(q) = -q**2 - 10*q - 20. Let l be d(-7). Let m be j(l). Is m less than -21?
False
Let i be (-4)/(-38) + (-22 - -22). Let t = -69 - -68.8. Which is smaller: t or i?
t
Let x be (-2)/(-11) - 10353/374. Which is smaller: x or -0.1?
x
Let r be (3 + -1)/(17/(-5) - -3). Let f be (r/((-45)/(-6)))/((-2)/153). Is 52 <= f?
False
Let a(l) = l**2 + 25*l - 97. Let v be a(-27). Is -43 at least as big as v?
True
Let u = -607 + 428. Which is smaller: -180 or u?
-180
Suppose -25*j - 13 = -188. Is -9.7 equal to j?
False
Let f = 41 + -28. Suppose 3*s - 4*o = -f, 0*o = -2*s + 4*o - 10. Is -18/7 equal to s?
False
Let u = -24 + 40. Suppose 0 = 20*d + 31 + 89. Let x be (-87)/(-9) - -3 - 8/d. Is x < u?
True
Let g be (-4)/(1 + (-27)/(-6)). Let q = -40 + 40. Is q < g?
False
Let g = 16 + 2. Let b = -17.9 + g. Which is smaller: -2 or b?
-2
Let w = 56 - 36. Let k be 1/(3 - w/8). Which is smaller: 6 or k?
k
Let q = -93 - -96. Which is smaller: -6/13 or q?
-6/13
Let t be (-6)/(96/(-4)) - 1. Which is smaller: t or 0.2?
t
Let a = -7227.9 - -7228. Let j = 0.064 + 27.936. Which is smaller: j or a?
a
Let x be (-56)/6*(-456)/133. Which is greater: x or 27?
x
Let y = -24 - -27. Suppose 4*v = -y*v + 245. Let m be (-10)/25 - 172/(-5). Is m at least as big as v?
False
Suppose -3 + 15 = 3*b. Let i be 45/(-10) + (-2)/b. Which is smaller: i or -26/5?
-26/5
Let a(w) = w - 9. Let c be a(12). Suppose -7*x - 15 = 13. Let d be x/(-18) - 41/63. Do d and c have the same value?
False
Let p = 0.0427 + 247.9573. Which is smaller: p or -0.1?
-0.1
Let c = -0.0625 + -0.2375. Suppose 4*x + 2 = 5*x. Which is greater: c or x?
x
Suppose 5*a + 15 = -0*t + 2*t, 0 = 4*a + 2*t - 6. Let i be 76/(-280) + (2 - 27/15). Is i at least as big as a?
True
Let v(k) = k**2 + 21*k + 47. Let y be v(-18). Suppose -2*t + 11 = -1. Let h = t - 14. Which is smaller: y or h?
h
Suppose 1609*m = 1600*m. Is m equal to 0.52?
False
Suppose -3*c + 0*u - 3 = 4*u, 0 = 2*c - 3*u + 2. Let o be 2/2 + 58/(-2). Let p be (50/o - -2)*2. Are p and c nonequal?
True
Let d(z) = z - 9. Let i be d(11). Let a(b) = -b**3 + 2*b**2 + b. Let h be a(i). Let y = h - -2. Is 4 < y?
False
Suppose 6*a + 7*a = -1079. Is -82 equal to a?
False
Let w = 2/407 + -5295/814. Let s(k) = -k**2 + k + 1. Let j(b) = -4*b**2 - 6*b - 4. Let n(t) = -j(t) + 3*s(t). Let h be n(-7). Which is greater: h or w?
w
Let h be (-2)/(-4)*(-166)/(-5). Is 18 less than h?
False
Let f = -73 + 58. Let g be 12/f - 27/(-15). Let m be 1/4 - (-110)/(-408). Is m not equal to g?
True
Suppose -3*d - 9 = 5*i, -4*d + i - 7 = 5. Let w be (56/(-12) + 3)*d. Suppose -11 = -l + 5*y, 0 = l - y + 2 - w. Is l < 3?
True
Suppose 2*x + 3*u = -176 + 182, 0 = -5*x - u - 11. Is -49/13 > x?
False
Let l = 15 + -123. Let p be (3/12)/((-3)/l). Is 10 at least p?
True
Let d = -34 - -65. Let h = 29 - d. Which is smaller: h or -20/9?
-20/9
Let o be (-90)/8 - (-15)/(-20). Let v be 2 - (3 - 3) - (-30)/o. Is v <= -3.9?
False
Let i = -142 + 142. Which is greater: i or -2/77?
i
Suppose 2 = -3*t + 5. Let i = 162528/47 + -3458. Which is smaller: t or i?
i
Let u = -62.6 - -63. Let k = -1 - -0.4. Let v = u - k. Is v < 0.4?
False
Suppose 3*m + 65 = 4*s, 7*s = 2*s - m + 67. Is s bigger than 3/10?
True
Let n(v) = 6*v**2 - 2*v - 3. Let f be n(-2). Suppose -2*s - 1 + f = 0. Suppose s = 3*l, -5*k + l - 2*l = 36. Is k smaller than -9?
False
Let h = -390 - -389. Which is smaller: 273 or h?
h
Let h = -784 + 789. Which is smaller: -104 or h?
-104
Let b be (-858)/(-78) - 83/7. Which is smaller: 28 or b?
b
Let b(w) = 2*w - 10. Let x be b(7). Let f be (-6)/(-4 + 0 + 2). Suppose -3*k = l + f, 0*k = -l + x*k + 11. Is l < 4?
True
Let t be 1/141*(-13)/((-182)/(-6)). Which is greater: t or 1?
1
Let b = -3.6 - -0.6. Let z = -17 + 30. Suppose -z = -4*n - 5*k, 11*n + 2*k = 16*n - 8. Which is smaller: n or b?
b
Suppose -12 = -4*p - 16. Let g be -2*(-1)/(-2 - -109). Is g at most as big as p?
False
Let m = 14552632659/139 - 104696171. Let h = -972 - m. Is h != 1?
True
Let g = -0.11 + -5.89. Let n = 0.68 - 29.68. Let r = n + 28. Which is greater: r or g?
r
Let p = -604/3 + 202. Which is smaller: -112 or p?
-112
Le