2 + 42. Are m and -2/65 equal?
False
Let s(k) = k**2 - 6*k. Let l be s(0). Is 12/31 at most l?
False
Let h = 731.1 - 731. Which is bigger: -99 or h?
h
Suppose 0*p - 4*p + 5*c + 259 = 0, -5*c = -5*p + 325. Is 458/7 at least as big as p?
False
Let h = 127 + -127.5. Is h less than 25?
True
Suppose 0 = -2*t - 3*b + 8 + 10, 0 = 4*t + 3*b - 48. Let p = -15 + t. Let q = -12998/41 - -317. Is p bigger than q?
True
Let g(s) = s**3 + 1. Let v be g(-1). Suppose 4*f + v*f = n + 6, 14 = 2*n + 5*f. Suppose -t + 5 = 4*t - 3*m, 2*t - 2 = -n*m. Is 1 smaller than t?
False
Let i = 550 + -4397/8. Which is greater: i or -0.06?
i
Let j(s) = -s**2 + 6*s + 7. Let i = -21 - -20. Let b be j(i). Which is greater: b or -1?
b
Let s be 8/(-36)*3 + 0. Which is bigger: 0.09 or s?
0.09
Let z(d) = 51*d + 381. Let f be z(-13). Which is greater: -287 or f?
f
Suppose u + 8 = 3*o - 0*o, u - 1 = 0. Suppose -b - o*l = -14, 17 = -5*b + 3*l - 3. Is 3/34 < b?
False
Let r be 7/(-49) + (-29)/(-7). Suppose -6 = -4*t - 2*m, -t + 12 = -4*t + r*m. Suppose -z - l - 1 = 0, t = -z - 4*z + 4*l + 40. Which is bigger: z or 3?
z
Let a(v) = -7*v**3 - 12*v**2 - 3*v + 11. Let f(n) = 4*n**3 + 6*n**2 + n - 6. Let s(r) = -3*a(r) - 5*f(r). Let q be s(-5). Is q at most 2?
True
Let l(v) = -v**3 - 14*v**2 - v - 17. Let a be l(-14). Let z(u) = u - 9. Let w be z(a). Let h = 11 + w. Are h and -6 unequal?
True
Let w be 12*16/12*1. Let i be ((-30)/3 - -6)/((-1)/w). Is 64 > i?
False
Let w = 137 - -137. Which is greater: w or -2?
w
Let l = -72 + 52. Let v be 12/136*(-2 + l/(-6)). Which is greater: -3 or v?
v
Let y(j) = 3*j**3 + 10 - 11 - j**2 - 4*j**3. Let d be y(0). Which is smaller: -2/11 or d?
d
Let d be (-4)/(-14) + 104/28 + 1. Suppose 0 = -i - 3*i + d*v + 10, -2*v - 4 = 2*i. Which is smaller: i or -7/5?
-7/5
Let f(j) = j + 14. Let z be f(-10). Let b(l) = -l**3 - 3*l**2 - l + 3. Let x(y) = 1. Let s(d) = z*x(d) - b(d). Let g be s(-3). Which is bigger: -12/7 or g?
-12/7
Let o = 2 + -1.9. Let y = -53.1 + 9.1. Let z = y - -44.07. Is o bigger than z?
True
Let u be (-9262)/(-110) + (-2)/10. Is 83 at least u?
False
Suppose 7*n = 5*k + 3*n + 72, 4*k + 62 = n. Let u(t) = t**3 - 5*t**2 - 4*t + 3. Let h be u(5). Which is greater: h or k?
k
Let k(w) = -w**3 + 6*w**2 - 5*w - 1. Suppose 4*n = 3*n + 5. Let m be k(n). Is 1 equal to m?
False
Let y = 168 + -161. Is -0.9 greater than or equal to y?
False
Suppose 0 = 4*q - 72 - 48. Let x = 21 - 5. Suppose -5*i = -c - 8 - x, q = 5*c + 5*i. Is c at least 2/21?
True
Let m be (1 + -2 - -1)/2. Let f(p) = -15*p**2 + 10*p - 6. Let j be f(4). Let c be 6/2 + j*6/420. Are m and c equal?
False
Let m be (1/16)/(20/(-120)). Let f(u) = u**3 - 8*u**2 + 3*u - 9. Let s be f(8). Suppose 3*o = 7*o + p - 1, 5*p = -s. Are m and o equal?
False
Let y = 0.12 + -0.24. Let z = 104/3 - 35. Which is smaller: z or y?
z
Let c = -48 - -53. Let b(v) = v**2 + 3*v + 11. Let q be b(c). Is q less than 51?
False
Suppose 4*k - 3*o - 26 + 6 = 0, 3*k - 22 = 4*o. Which is smaller: k or -22?
-22
Let c = -6 - -9. Let n = 96 - 100. Which is greater: n or c?
c
Let f(i) = i**2 + 17*i + 20. Let o(a) = -a**2 - 17*a - 19. Let q(w) = -6*f(w) - 7*o(w). Let y be q(-16). Which is smaller: y or 0?
y
Let t be (-8)/(-2) + (-2)/4*0. Let c be t/10 + 72/(-280). Which is greater: 2/5 or c?
2/5
Let a be (-4 + 4)/(-8) + -7*1. Which is bigger: a or -9?
a
Let f = -16.37 - -16.3. Let u = 16 - 16. Which is bigger: f or u?
u
Let y(q) = -49*q + 438. Let d be y(9). Is d equal to -162/41?
False
Suppose 4*d + 82 = -2*w, 2*d = 2*w + 4*d + 80. Is w not equal to -39?
False
Suppose 0 = -3*z + 313 - 34. Let i = 45 - z. Let h be (-5)/2*i/(-40). Which is smaller: h or -2?
h
Let o = -6605751/409 - -16151. Which is smaller: 1 or o?
o
Let o = -0.2 + -1.8. Let r = -0.078 + 8.378. Let v = -8 + r. Is o < v?
True
Let o = -221 + 221. Is o greater than 2/201?
False
Let g = 216 - 379. Is -165 >= g?
False
Let r = -7 - -22. Suppose 0 = -5*j - r, -w = -0*j + 2*j + 6. Is w greater than or equal to -1/19?
True
Let a = 2296.068 + -2290. Let t = -0.068 + a. Which is greater: -4 or t?
t
Suppose 0*r + 3*r - 4*k = 7, 5*r - 2*k - 7 = 0. Let q be 186 - 4/2 - 1. Let z be r - (-3 - q/(-45)). Which is smaller: -1 or z?
-1
Let p = 5.1 + -5.78. Let m = 0.78 + p. Is -99 > m?
False
Let i = -1.097 - -1.897. Do i and 113 have the same value?
False
Let o = 368063/5 - 722389/10. Let z = o - 100973/90. Let u = z + -252. Which is greater: 1 or u?
1
Let k = 56 + -55.82. Let n = k + -0.28. Let q = -17 - -9. Is q > n?
False
Let l = 1116 - 1115. Which is greater: -2/1105 or l?
l
Suppose -b + 23 - 20 = 0. Suppose -3*s = -4*s + 2, b*u + 15 = -3*s. Is -2 >= u?
True
Suppose 0*j = 4*j. Let r be -1 + 0 + 15*4. Let p = -173/3 + r. Which is smaller: p or j?
j
Let d(m) = 2*m**3 + 5*m**2 - 3*m - 6. Let t be d(-4). Let b be 14/(-49) - (-2)/t. Let g be 3/(3 - (-4 + 4)). Do b and g have different values?
True
Let b = -43 + 58. Let o = -26 + 41. Is o greater than or equal to b?
True
Let b = -0.82 + -3.48. Let v = -0.3 - b. Is v <= 2/11?
False
Let k(h) = 4*h - 5. Let w be k(-5). Let b = 6701/7 - 957. Which is smaller: b or w?
w
Let z(o) = o**2 - 10*o + 4. Let n be z(4). Let i = n - -1. Which is greater: i or 1/4?
1/4
Let p be 4 - (-4077)/(-42) - (-3)/(-7). Let y = -92 - p. Which is greater: y or 3?
3
Let u be (-6 - -937)/(-7) + -7. Which is bigger: -138 or u?
-138
Let j be (-1 - 0)/1 + -1839. Let o be j/(-24)*(-4 - -1). Let y be (4/5)/(o/(-25)). Is y < -1?
False
Let d = 1228 + -846. Let s be (-4 - d/5) + -2. Let b = 82 + s. Is -1.1 equal to b?
False
Suppose -3*l + 3*s = -0*l - 3, -s - 3 = -2*l. Suppose -3*z + 112 = 3*j - 5, -l*z + 3*j + 73 = 0. Is z < 39?
True
Let i(f) = f**2 - 2*f. Let u be i(3). Let x(n) = n**3 + 5*n**2 - 17*n - 16. Let m be x(-7). Suppose -2*y = t - 5, y - m*t = -3*y + 3. Is y at most as big as u?
True
Let w(o) = -o**2 + 9*o - 9. Let m be w(8). Let j be 9/(-51) - 0/m. Is -1 less than or equal to j?
True
Let p(s) = -4*s + 141. Let f be p(35). Is f smaller than -11/82?
False
Let t = 303 - 613/2. Which is smaller: -2/3 or t?
t
Let b be 666/189 + 7/(28/(-16)). Let w = -61 - -307/5. Is b not equal to w?
True
Suppose -2*g + g = 0. Suppose 0 = -11*a + 14*a - 2*r - 30, 10 = a + 2*r. Which is smaller: g or a?
g
Let n(u) = -8*u**2 - 4*u - 5. Let h be n(-4). Let z = h - -73. Let m be z/10*15/(-18). Are 5 and m nonequal?
True
Suppose -j = 2*j + o + 14, -o = 2*j + 8. Which is smaller: -8 or j?
-8
Let l = 64.3 + 9.7. Which is smaller: 0 or l?
0
Let l(j) = j**2 - 7*j + 13. Let r be l(4). Which is bigger: -1/533 or r?
r
Suppose -b = 5*i + 28, -2*b - 40 = 3*b + 5*i. Which is smaller: -13/3 or b?
-13/3
Let i = 599.9 + -598. Suppose -5*c + 7*w + 15 = 2*w, -2*c = -w - 1. Is i at most c?
False
Let f = -2 + 3. Let r = -140331 - -1546829/11. Let j = 290 - r. Is f < j?
False
Suppose -5*r + 2*w = -167, -59 - 31 = -2*r - 5*w. Suppose 1 = -4*n - v - 2, -r = 5*n - 5*v. Let d = -29/54 - -1/27. Is n smaller than d?
True
Let s be -2 - -2 - (-5)/(-25). Let u = 4.78 - 4.6. Let b = 4.18 - u. Which is greater: s or b?
b
Let o(f) = 2*f**2 - 20*f - 19. Let w be o(11). Are 5 and w equal?
False
Let p be (-59)/(6/27 - (-20)/180). Which is smaller: -175 or p?
p
Let h be (-1)/7*(-1976)/(-16). Let g = -71/4 - h. Is g smaller than 1?
True
Let s = 42.04 - -0.96. Let k = s + -38. Is k greater than or equal to 3/2?
True
Let t = 0.2765 - -0.9235. Is -0.099 smaller than t?
True
Let p be (4/(-5))/2*2310/(-84). Is 11 greater than or equal to p?
True
Let f = 76 - 75. Which is smaller: f or -5/23?
-5/23
Let q(i) = 2*i + i - i**2 + 5*i - 14. Let b(z) = 2*z**2 - 17*z + 28. Let u(k) = -4*b(k) - 7*q(k). Let y be u(11). Which is greater: -2 or y?
-2
Let k be (-20 + 21)*(-4)/(-50). Suppose -v + 2*h = -0 - 9, v + h = -3. Suppose -2*m - v = -m. Which is greater: k or m?
k
Let d be 2/16*2 - 43/(-4). Suppose -o + 44 = -5*x, -3*o = 3*x + d + 1. Does x = -8?
True
Let m = -59 + 42. Let a = 2 + m. Let s = 19 + a. Which is greater: 2 or s?
s
Suppose 70 + 2330 = -24*j. Which is bigger: j or -892/9?
-892/9
Let n(w) = -2*w - 40. Let q be n(-15). Let r be 3*(-1 + q/(-8))*-24. Is -0.3 smaller than r?
False
Let k be -1 + 39/12 + -2. Let v = 5 + 10. Let m = 15 - v. Which is smaller: k or m?
m
Suppose -4 = 4*j + 24. Let u = -3 - j. Suppose -5*m + 0*m = -p - 11,