Let s = 40.968 - o. Which is bigger: -1/4 or s?
s
Suppose -4*h - 3*h = 0. Suppose -2*f + 10 = h, 7*f = -4*a + 2*f + 33. Suppose 3*o + 4*u + 76 = 0, -118 = o + 4*o - a*u. Which is smaller: 1 or o?
o
Suppose 4*a - 16 = -t, a = -t - a + 14. Suppose 0 = 2*d - 4*u - t, d + 0*u = -3*u - 4. Suppose d*z = 7*z - 35. Is 6 greater than z?
False
Let p = -7 + 10. Suppose p*c - 21 = 2*a, 22 = -5*a + 2*c - 3. Let n = 4 - 6. Which is smaller: n or a?
a
Let i = 28 + -26. Suppose 0*l - l = i*l. Is l equal to 0?
True
Let c(g) = g - 2. Let u be c(2). Let r = -8 - u. Let d be 6/56 - (-2)/r. Which is smaller: -1 or d?
-1
Suppose 16*l - 1 = 17*l. Let k be (14 + 2/l)/((-9)/(-2)). Is k greater than or equal to 4?
False
Suppose 15 = 2*j + 4*p - 3, 5*p = -5*j + 20. Let r be 1 + j + -2 + (31 - -2). Which is smaller: r or 34?
r
Suppose -5*u - 73 = 352. Let t = u + 36. Let a be ((-6)/8)/(t/(-28)). Which is greater: 1 or a?
1
Let c = -0.56 - -0.64. Suppose 0 = 4*p - 4*w + 4 + 16, 1 = 4*p + 3*w. Which is bigger: c or p?
c
Suppose -5*h - 8 - 17 = 0. Let q(a) = -a**2 - 3*a + 12. Let u be q(h). Which is bigger: u or 6/5?
u
Suppose 25 = 3*d - 5*r, 3*r - 6*r - 16 = -2*d. Suppose -2*q - 6*k = -4*k - 18, -4*k + 43 = d*q. Let l be q/1 + (-3 - -3). Which is smaller: 9 or l?
l
Suppose -2*k = k + 12. Let z(i) be the second derivative of i**3/6 - 6*i**2 + i. Let r be z(9). Does r = k?
False
Let n = 32 + -30. Suppose s = 3*s - n. Let u be (3/(-28))/(3/(-12)). Which is bigger: s or u?
s
Let j = 414 - 410. Which is smaller: j or -2/9?
-2/9
Let x(s) = -5*s + 15. Let b be x(-8). Let f = -56 + b. Is 1/9 not equal to f?
True
Let n = 10 - 10. Suppose 3*b - 224 = 4*u, 6*b - b = 0. Let o be (-26)/u + 3/(-4). Is n bigger than o?
True
Let i = 7 - -1. Let t be (-16)/44*(-9)/i. Let v = 37/198 - t. Which is smaller: v or -2/5?
-2/5
Let k be (30/(-8))/((-1)/4). Let n(w) = w**3 - 15*w**2 - 2*w + 12. Let x be n(k). Let t be ((-17)/(-85))/(x/(-20)). Does 0 = t?
False
Suppose 0*o - 4*o = 3*n + 256, -5*n - o - 404 = 0. Is n less than -79?
True
Let m(h) = -17*h - 91. Let p(d) = -4*d - 23. Let j(l) = -2*m(l) + 9*p(l). Let g be j(-11). Which is bigger: g or -1/7?
-1/7
Let k = -0.3 - -1.6. Let f be (-20)/(-4) + 3327/(-27). Let z = 118 + f. Which is bigger: k or z?
k
Let d be 470/158 + (12/4 - 6). Suppose 2*q = 2*c - 2*q - 6, 5*c + q - 4 = 0. Which is smaller: d or c?
d
Let g = -2/9 + 0. Let n be 5/9 + 2/(-6). Which is smaller: g or n?
g
Let d = -2.8 - -0.8. Let r = -46.2 + 57. Let s = r - 11. Are d and s nonequal?
True
Suppose -r - 5*g = -25, -r - 5*g = 2*r - 35. Let x(w) = -w**3 + 6*w**2 - 4*w + 7. Let q be x(r). Suppose q*v = 3*v. Which is smaller: v or 8/9?
v
Let c(a) = a**3 - a**2 + a - 2. Let v be c(2). Suppose -25 = v*j - 9. Let w(k) = k**2 - 8*k + 9. Let p be w(6). Do p and j have different values?
True
Suppose 0 = 2*h - 2*l - 4, -4*h = -l - 0 - 11. Suppose -h*p - 121 = 8*p. Do -10 and p have different values?
True
Let p(y) = 3*y + 3. Let w be p(4). Suppose 3*a = 7 + 5. Suppose 9*j = 4*j - 3*i + w, a*j + i - 5 = 0. Is -1 at least as big as j?
False
Let t = 1.6 + 0.4. Let l = t - 1. Let q = -11 - l. Which is smaller: q or -1/2?
q
Let s(v) = 2*v + 13. Let g be -1 + 1 - (0 + -24). Suppose 5*a = a - g. Let y be s(a). Which is smaller: 0 or y?
0
Suppose 5*k - 2*n - 66 = 0, -n - 9 = -k + 3. Is 12 < k?
True
Let y be -1*2 + (-3912)/(-1959). Let d = 3792802259784/24161 - 156980351. Let q = d - y. Which is smaller: 0 or q?
q
Let k(c) = c**3 + 5*c**2 - c + 14. Let g be k(6). Let t be g/20 - (-3)/(-15). Let j = -14 + t. Which is greater: j or 2?
j
Let w = 1.93 - 2. Let k = -74 - -74.202. Let u = k - 0.102. Is u at most w?
False
Let b = -7 - -6.97. Let g = 63.27 + -64. Let u = g - b. Is 1/6 not equal to u?
True
Suppose 6*q = 3*q + 39. Let s = q + -7. Let f = s + -8. Is -5/4 bigger than f?
True
Let j be (36/(-35))/(2/(-55)). Let b = j - 29. Let l(c) = c**2 - 13*c + 12. Let m be l(12). Is m greater than or equal to b?
True
Let r = -7 - -18. Let x be -75 + 82 + (-30)/(-9). Is r less than or equal to x?
False
Let u = -37 - -42. Suppose -63 = u*c + 42. Which is greater: -20 or c?
-20
Let u = -302 - -270. Which is smaller: u or 0.2?
u
Let v = -715 - -715.1. Is v <= 0?
False
Suppose 95 = -h + 96. Let n be 0*((-5)/(-10))/(-1). Do n and h have the same value?
False
Let d = 158032/117413025 - -2/80475. Is d equal to 0?
False
Suppose s + 4*s - 24 = 4*n, -4*n = s. Which is smaller: n or 2/75?
n
Let v = 6.23 - 6.33. Which is smaller: v or -7/83?
v
Let q(w) = -w**2 - 5*w + 1. Let i be q(-5). Let o = 73 - 68. Suppose -4 = 5*n + 2*z, 4*n - 10 = 5*n + o*z. Is i at most n?
False
Let x be ((-6)/18)/((-13)/(-26))*1. Which is smaller: 342/11 or x?
x
Let v be 0 - 1674/840 - (-9)/(-12). Are v and -4 non-equal?
True
Let a = -10/13 - -4/39. Are 0.3 and a non-equal?
True
Let y(j) = -2*j + 4. Let s be y(5). Let h be 2183/16 + (-3)/s. Let b = h - 137. Which is bigger: b or 1?
1
Let w = -43 - -36. Let v = 15 + -22. Let s = w - v. Which is smaller: s or 3/2?
s
Let r = 3/178 - 299/28302. Is r less than 0?
False
Let g be 678/141 - (-30)/(-6). Which is smaller: 1 or g?
g
Let h = -14 - -17. Let s = h + 0. Let n = -5 + s. Are -6 and n nonequal?
True
Let t be ((-6)/3 - -6) + -3. Let w = 1 + 0. Suppose w = h - 1. Which is smaller: h or t?
t
Suppose -12 = 4*j, -q + j - 4*j = -24. Suppose 1254*a = 1245*a + 297. Is q > a?
False
Let v = -32645/39 - -837. Let q = v + 137/390. Is 1 less than q?
False
Let g be (-99)/(-15) + 36/(-60) - 8. Is g at least -9/16?
False
Let q be 3 - (-6)/12*-6. Is q >= 3/535?
False
Let y(u) = -u**2 + 2*u + 16. Let q be y(5). Let g = 194 - 967/5. Is q less than g?
False
Suppose 352 = -9*h - 206. Does 8 = h?
False
Let s = 1 - -2.2. Let z = -24.8 - -41. Let u = z - s. Is 1 at least u?
False
Let z be 1 - 1/((-196)/(-180)). Let v = -67/1421 + z. Which is greater: v or 0?
v
Let c = 23 - 21. Let t(q) = -2*q**2 + q - 1. Let o be t(c). Let i = -1 - 1. Which is greater: i or o?
i
Let x(k) = k**2 + 6*k + 1. Let v be x(-3). Let s be (-6)/v + (-296)/(-288). Is s at least as big as 2?
False
Let n = -0.9 - -0.8. Let y = n - -0.1. Let m = 67 - 68. Is m bigger than y?
False
Suppose 29*j = 33*j - 32. Suppose 3*t = -22 - j. Is -29/3 at most t?
False
Suppose 4*r = 4*o - 48, -4*o - 5*r + 26 = -13. Let u be 2/8 + o/(-12). Let i = 813 + -797. Which is bigger: u or i?
i
Let x be (1 + 3)*(-596)/(-8). Is 300 <= x?
False
Let m(l) = -2*l + 25. Let k be m(17). Let x be ((-6)/(-351))/((-3)/k). Let w = 35/78 + x. Which is greater: w or -3/4?
w
Let f be 6*(-64)/(-18) - (-6)/(-18). Let s be (-1)/(-3) + 4/(-12). Is s bigger than f?
False
Let c be 825/(-7) + (-5)/35. Which is smaller: c or -117?
c
Let m be 3*14/63*69. Suppose 0*b = -4*b + 184. Is m at least as big as b?
True
Suppose -2*p = -0*p + b - 54, -108 = -4*p + b. Let g be (-6)/27 - (-6)/p. Which is smaller: g or -0.03?
-0.03
Let b(k) be the third derivative of k**5/60 + 19*k**4/24 + 13*k**3/2 + k**2 - 33*k. Let c be b(-19). Which is smaller: c or 40?
c
Let f = -0.007 + -7.793. Let y = f + 8. Let m = 0 - 0. Which is greater: m or y?
y
Suppose 181 = -2*c + 3*l - 0*l, 269 = -3*c + 5*l. Let x be (-4)/c*(-15)/10. Is x smaller than 0?
True
Let n = -11578369/78 + 148447. Let w = n + 6/13. Is 6 >= w?
False
Let v(h) = -4*h - 23. Let b be v(-8). Let m be (-1 - b/6)*-4. Let u be (-30)/m - 6/1. Which is smaller: u or -10?
-10
Let p = 172442069741/2415 - 71404585. Let h = p - -46/35. Is h less than -1?
False
Let k be ((-8)/12)/((-8)/(-684)*3). Are k and -5 unequal?
True
Let m = -6.02 - -6. Let s = m + -0.08. Let q = 181 - 187. Is q < s?
True
Let o be 48/13*1887/153. Is o > 45?
True
Let l(a) = 29*a + 610. Let v be l(-21). Is v >= 4/915?
True
Let m = 32344/7 + -4814. Suppose -366 = 2*p + n + 3*n, -3*n - 757 = 4*p. Let a = m - p. Which is smaller: 0 or a?
a
Let f = 9.95 - -0.05. Let g = 9.94 - f. Let o = 0.36 + g. Which is smaller: o or -2?
-2
Let k(p) = -p**2 - p - 8. Suppose 25 = h + 5*t, 5*h + 10 = 5*t - 3*t. Let u be k(h). Let l be 1/2*16/u. Is -1 <= l?
True
Suppose -23*k - 108 = -27*k. Let x(g) = -g + 25. Let d be x(k). Which is greater: -4/3 or d?
-4/3
Let i be 4/26 - (8 - 4768/611). Which is smaller: i or -1?
-1
Suppose 3*k = 49 + 8. Let n = 97/5 - k. Suppose 2*v = i - 19, v + 2*i = -13 - 9. Do v and n have the s