than y?
True
Let h = 64 - -170. Suppose -g - 63 + h = 0. Let c = g + -1195/7. Which is smaller: c or -1/6?
-1/6
Let o be 16/((-5440)/12)*(-15)/6. Let b be (0 - 1) + (1 - 1). Is b greater than o?
False
Let v be ((-1023)/(-5))/((-150)/(-500)). Which is smaller: 683 or v?
v
Let h(z) = 2 + 0*z + 0 + 6*z. Let q be h(-2). Let g = 1 + q. Which is bigger: g or -8?
-8
Suppose 0 = -12*i + 210 + 258. Suppose -6 = 45*s - i*s. Which is smaller: -1/4 or s?
s
Suppose 0 = 63*p + 19 - 82. Which is smaller: 752 or p?
p
Let x = 3.4 + 1.5. Let q = x + -4. Let j = -1.9 + 2. Is q < j?
False
Let r = -298 + 236. Which is greater: 2/3 or r?
2/3
Let t(u) = -u**3 - 3*u**2 - 4*u - 1. Suppose 0*h = 3*h + 3. Let n be t(h). Is 6/5 smaller than n?
False
Suppose -3*b + 3 = -5*q, 0 = -4*b - 0*q - q + 27. Which is greater: -12 or b?
b
Let r(u) = -u + 11. Let w be r(-5). Let h = 26 + -43. Let a = w + h. Do a and -2/9 have the same value?
False
Let s = 25 - 22. Suppose 2 + 17 = -3*z - 2*w, -s*w - 18 = z. Which is smaller: z or -8/3?
z
Let f = -1092 + 57878/53. Which is bigger: 1 or f?
1
Let b(u) be the first derivative of -u**4/4 + 2*u**3 - 3*u**2/2 - 9*u + 1. Let t be b(4). Let k = 0.07 + 0.03. Is t bigger than k?
True
Suppose 0 = -5*i - 5*f - 15, 4*i + 0 = 5*f - 3. Let v(j) = -j**3 - 8*j**2 + 10*j + 18. Let c be v(-9). Which is smaller: c or i?
i
Let c be 1 + 182866/220 + 11/(-55). Let b = 832 - c. Is 0 != b?
True
Let j be -4*4/(-16)*(3 + -3). Suppose j*h + 2*h + 8 = 0, -a = h - 3. Is a greater than 12?
False
Let y(d) = -d. Let f(x) = -x**2 + 23*x - 42. Let w(s) = f(s) + 6*y(s). Let g be w(14). Is 4 > g?
True
Let f = -42424/23 - -1844. Suppose -o - 4 = k, 63*o = 62*o - 2*k - 7. Is o greater than f?
False
Suppose -6*h = -17 + 5. Suppose 34 = 5*m - d, -20 = 3*d + h*d. Suppose 4*f = 3*f. Which is bigger: m or f?
m
Let m be ((-4)/(-10))/(4/(-740)). Is m smaller than 2/3?
True
Let b = -2256 + 2255.98. Which is smaller: b or 43?
b
Let a = -465 - -491.1. Let f = 25 - a. Let c = f + 5.1. Is 0.3 greater than c?
False
Suppose 3 = -q + 6. Suppose 7*k + 15 = -5*p + 2*k, -17 = q*p + 5*k. Let g be (-6)/(-30) - p/5. Is g at least 2/15?
False
Suppose 15*l - 11*l + s - 3223 = 0, 3 = -3*s. Is l <= 806?
True
Suppose -387 = 4*k - 355. Which is bigger: k or -1?
-1
Suppose 4*z - 179 = -3*u, 3 = -4*z + 11. Is u greater than or equal to -1?
True
Suppose -121 = -5*a - 26. Suppose 0 = q - 3*q + 40. Do a and q have the same value?
False
Let g be -6*((-6)/8 - (-156)/144). Is -9/11 equal to g?
False
Let k(y) = -4*y + 2. Let t be k(2). Let j = 15 + -9. Let n be (-9)/7 + j/21. Is t greater than n?
False
Let j be (-35)/(-11) - (-26)/(-143). Let b(l) = 5*l - 5 - j*l + 4 + 0 + l**2. Let c be b(-4). Is 8 >= c?
True
Let j be -2 - (-14)/6 - (-67)/(-219). Let w = j + -160/511. Let q = -340 + 10538/31. Is q greater than w?
True
Let b(i) = -7*i - 15. Let s(z) = 20*z + 45. Let d(r) = 17*b(r) + 6*s(r). Let x be d(-15). Let p be (-7)/(-2) + -3 + -1. Is x at least p?
True
Let o = -65.5 + 68.21. Which is smaller: o or -2/3?
-2/3
Let g(c) = c**3 - 7*c**2 + 3. Let i be g(7). Let t = -1 + i. Suppose -t*j = -1 + 5. Is -2 at least j?
True
Let j = -2.08 - 0.32. Let n = 0.4 + j. Let d = 3 - 2.9. Is d less than n?
False
Let l = -2 + -21. Let i = l + 25. Which is smaller: 5 or i?
i
Let q = -0.035 - -0.235. Suppose 0 = 5*a - 121 + 11. Let l = a + -108/5. Is l greater than or equal to q?
True
Let t = -11601/8 - -1456. Which is smaller: 5 or t?
5
Let i = 2542 + -2541.46. Which is smaller: i or -0.16?
-0.16
Let c = -584 + 2922/5. Is c <= 22?
True
Suppose -27*c = 45*c - 37296. Is c at most as big as -1?
False
Let k = -161 - -139. Which is bigger: k or 1/4?
1/4
Let j be (1*2)/((-24)/180). Let y = j + 24. Let t be 7 - (-4)/8*2. Is y at least t?
True
Let b = -0.087 - 0.923. Let r = -1 - b. Is 1 greater than r?
True
Let x(i) = -8*i + 4. Suppose -7*a + 59 = -46. Let v be x(a). Let o = v - -353/3. Which is greater: 2 or o?
2
Let h = -90.9 - -87. Is h at least as big as 13?
False
Let u = 2159/13 + -166. Let i(w) = -w**2 + 7*w - 8. Let z be i(4). Suppose 5*k - 30 = -b - 4, -z*b = k - 9. Do b and u have the same value?
False
Let f = -33 - -2. Which is greater: -28 or f?
-28
Let j(d) = 3*d**2 + 6*d + 6. Let y be j(-2). Suppose -76 = -2*z + y*z. Is -19 not equal to z?
False
Let f = -3538/13 - -272. Let g be (-1 - 6/(-8))*4. Which is greater: f or g?
f
Let d = 11 - -4. Let m be d/45*(1 - 1). Let p = -756/299 - -34/13. Which is bigger: p or m?
p
Let y = -14 + 14. Suppose -5*l - 6 + 21 = y. Is 7/3 less than l?
True
Let o be (-6)/(-12) + 3*2/(-4). Which is smaller: 3/98 or o?
o
Let i = -1522/803 - 74/73. Are i and -3 non-equal?
True
Let n = 384 + -382.13. Let h = n + -1.6. Let l = -0.47 + h. Does l = -2/11?
False
Let s be 45 - 0/(-4) - 1. Let v = 41 - s. Which is bigger: v or -13/6?
-13/6
Let d be 4 + ((-264)/51 - -1). Let x be (-3 + 3)*4/8. Is d <= x?
True
Let r be -7 - (-12)/10*5. Which is greater: 22 or r?
22
Let z = 123117 - 986145/8. Is -151 not equal to z?
True
Let c be ((-20)/3)/(2/(-21)). Let q = -491/7 + c. Suppose -9 = -5*r + r + j, r - 11 = 2*j. Which is smaller: q or r?
q
Let z = 10/69 - 464/345. Let q(k) = -k. Let r be q(-4). Suppose -2*l - r*d + 16 = l, -5*d + 20 = l. Which is greater: z or l?
l
Let y(i) = i**3 - 29*i**2 - 59*i - 67. Let f be y(31). Suppose 3*l - 87 = 4*o, 6*o = o - 15. Are l and f unequal?
True
Let i = 43 + -82. Let f = -59 - i. Is -22 > f?
False
Let a(s) = s**2 + 97*s + 7 - 2*s**2 - 96*s. Let i be a(3). Is i less than or equal to 4/11?
False
Let k(z) = 2*z**3 + z**2 - 4*z - 3. Let f = -6 + 8. Suppose -f = -0*x + x. Let d be k(x). Is -8 >= d?
False
Let y be (265/(-465))/((-22)/132). Which is greater: y or 4?
4
Let q(m) = -m**3 - 9*m**2 - 16*m - 65. Let d be q(-8). Which is smaller: d or -1/1922?
d
Suppose -z + 3 = -0*z, -2*v - 2*z + 10 = 0. Suppose v*o = 6*o - 20. Suppose 2*p = o*h + 55, -2*h - 61 = 2*h - 5*p. Is h smaller than -6?
True
Let w(h) = -h**2 - 3*h + 2. Let y be w(-3). Suppose -y*o - 12 = -4. Let x(m) = m - 22. Let i be x(16). Is o smaller than i?
False
Suppose 3*n - 2*t + 2 = -2, 3*t = 6. Which is smaller: n or -8/73?
-8/73
Let b be ((-285)/(-20))/(-3) + 5. Is 3.25 at most b?
False
Suppose 27 = 3*c + 3*y, 0 = -0*c - 4*c + y + 46. Let o = c + -8. Let h be (3 - (5 - 0))/(16/(-32)). Which is bigger: o or h?
h
Let u be (44 + -3)/(8/((-32)/10)). Are u and -15 nonequal?
True
Let i(f) = 2*f**3 + f**2 + 21*f + 3. Let z be i(6). Is z bigger than 597?
False
Suppose 0 = 12*s + 8*s - 7*s. Which is smaller: s or -8/97?
-8/97
Suppose -14*y - 816 = -20*y. Do 135 and y have the same value?
False
Let o = 0.39 + -0.66. Let y = o + -0.08. Do -0.1 and y have the same value?
False
Let j = -12863744/483 - -26633. Which is greater: 1 or j?
1
Let v(k) = 25*k + 36. Let z be v(-2). Let b = -13 - -25. Let w = z + b. Which is greater: -3 or w?
w
Let z(w) = -w**3 - 3*w**2 + w + 7. Let x be z(-3). Suppose 3*r + 8 = -x*k, 3*r - 2*k = 2*r + 4. Let c = -0.06 - -0.06. Is r > c?
False
Suppose -4*w + 22 = 5*b, -4*b + 5*w + 40 = b. Let y = -1619 + 1627. Which is smaller: b or y?
b
Suppose 3*q - 59 = -c - 63, 2*c + 8 = 5*q. Which is smaller: 19/29 or q?
q
Let c = -0.188 + 7.188. Let h = -3 + 4. Is h greater than or equal to c?
False
Let v = -33 + 36. Suppose -3*j = -v*i - 9, 7*j - 5*i = 4*j + 19. Does j = -2?
True
Suppose 0 = 3*q + 15, -5*x + 39*q - 43*q = 0. Is 67 smaller than x?
False
Suppose 20*p = 17*p + 105. Let z be (20/p)/((-8)/(-28)). Let v be 0/(-1*(1 + 1)). Which is smaller: v or z?
v
Let f = -1463 + 16063/11. Let l = f - -263/44. Are 2 and l non-equal?
True
Let w be (-3)/(19/(-4) + 4) - 1. Is -1/5 != w?
True
Let f be 6/(-1)*8/(-24). Suppose f*q = -3*r - 2*q + 11, 3 = -3*q. Suppose -2*b + r + 1 = 0. Which is smaller: 4 or b?
b
Let b = -3 - -1. Let w be (56/80)/((-30)/74). Let p = w - -3/50. Which is bigger: p or b?
p
Let w(r) = 2*r**3 + 2*r**2 + 2*r + 1. Let a = -15 + 12. Let l be (0 - a)/(-3) - 0. Let g be w(l). Is g > -1/2?
False
Suppose y + 5776 = 5*y. Let t = 67864/47 - y. Let p = t + 334/611. Do 0 and p have the same value?
False
Suppose 21*k - 116 + 137 = 0. Does 18/47 = k?
False
Let j be 2/8 + 30/(-56). Suppose 0 = 4*v + 128 + 132. Let g be -6*5*39/v. Do j and g have different values?
True
Let c be 1 + (-1 - 15 - (-2)/1). 