g or q?
q
Let b = 0.93 - -0.27. Let q = -4 + 2. Is b at least q?
True
Let h(x) = -3*x**2 - 15*x - 12. Let u(p) = 10*p**2 + 45*p + 35. Let z(i) = -7*h(i) - 2*u(i). Let n be z(-14). Are n and 16 equal?
False
Let r = -0.49 + -41.61. Let c = 42 + r. Is -1/2 greater than c?
False
Suppose 4*t + 151 = 43. Let x = -23 - t. Which is smaller: x or 0.05?
0.05
Suppose 5*d + 213 = 783. Let c = 171 - d. Is 57 < c?
False
Let a = -1/4161 + 4624/1926543. Is a bigger than 1?
False
Let j = -1577 + 1545. Let r(i) = 2 - i - 6*i**2 + 0 - 3*i**2. Let g be r(-2). Is j bigger than g?
False
Let s = 150538917 - 1367646058621/9085. Let n = s - -2/395. Which is greater: n or 1?
1
Let b(n) = 10*n - 345. Let t be b(34). Is -64/15 bigger than t?
True
Let s(d) = -d**3 - 11*d**2 - 15*d + 26. Let j be (1 + 12/(-18))*(-27)/1. Let r be s(j). Let z(w) = -4*w - 3. Let y be z(-2). Which is greater: y or r?
y
Let b = -22.23 - -79.23. Which is greater: 1 or b?
b
Let y = -77.88 - -78. Are -1 and y non-equal?
True
Suppose -2*b + 18 = 4*r, -3*b + 5*r - 4*r + 20 = 0. Let f = 11 - b. Let g be (6/f)/((-24)/(-112)). Does -2 = g?
False
Suppose 0 = -4*b - 4*y + 12, -5*b + 5*y + 65 = -0*y. Let s = -42 + 51. Are b and s non-equal?
True
Let j = 127862/1035 - 1112/9. Let v be (1*-1)/3*-3. Which is smaller: j or v?
j
Let x be (1 - 5)*(-7)/(-231). Let m = 1 + -1. Which is bigger: m or x?
m
Suppose 2*u + 3*u = -35. Let n(l) = -l**2 - 9*l - 7. Let k be n(u). Let p(y) = -y + 5. Let g be p(k). Which is greater: g or 2/13?
2/13
Let r = -165.19 - -165. Let g = 0.0184 + 6.1716. Let n = g + r. Which is smaller: 2/5 or n?
2/5
Let o = 0.07 - -0.09. Let y = 0.2 - 0.16. Let i = o + y. Which is bigger: i or 1/6?
i
Let l = -7.3 - -11.3. Let i be 25/(-15) + 2 + -1. Which is greater: i or l?
l
Let j = -93 + 57. Let s = 367 - 405. Which is smaller: s or j?
s
Let g = 3 + -6. Let s be g - (3 + 13/3). Let d = 425/42 + s. Which is bigger: 1 or d?
1
Let g(u) = u + 10. Let h be g(-3). Let k be -3 - -5 - 16/h. Is k less than -3.3?
False
Suppose -43 = -2*v - 23. Let c(p) = 2*p - 19. Let n be c(v). Is n greater than 34?
False
Let d = 13/88 - 5/88. Which is greater: d or -18?
d
Suppose 14*h - 4 = -18. Which is smaller: -8/141 or h?
h
Let z be 4/6 + (1244/(-120) - -10). Let c = 3 - 6. Is c greater than or equal to z?
False
Let v = 273.1 - 273.04. Suppose 3 = 2*z - z. Suppose 0 = z*q - 4*q - 2. Are q and v equal?
False
Let s be 8/((-168)/9) - (-8)/(-14). Which is greater: 28/5 or s?
28/5
Let l = 22 + -30. Suppose 10 + 20 = -5*d. Let j be l/66*d + -1. Which is greater: j or -1?
j
Suppose 4*s = -2*i, 0 = -i + s + 4*s + 28. Suppose -4*v - 4*w = i, 3*v + 4*w = -w - 10. Is -2/7 smaller than v?
True
Let v = 9/157 + -19966/471. Let h = 42 + v. Is h equal to -1?
False
Let h = -6334 + 3173332/501. Which is smaller: h or 0?
h
Let g be (-2)/8*(10 - 10)/(-6). Which is smaller: g or -8/281?
-8/281
Let c = -6 + 9. Suppose 3*b = c*b - 2*b. Which is greater: -4 or b?
b
Let c be (8 + 92)*(-11)/2. Are -551 and c unequal?
True
Let p = 320.6 + -120.6. Are 5 and p unequal?
True
Let b(s) = s**3 - 5*s**2 - 15*s + 7. Let v be b(7). Let j = 246 - 4183/17. Which is bigger: j or v?
v
Suppose 2 = 10*t - 8. Which is smaller: -21 or t?
-21
Let u = 22 - 20. Suppose u*s = -4 + 12. Let w be (8/10)/(s/(-110)). Which is greater: -23 or w?
w
Let z = -12 + 14. Suppose z + 0 = -x. Let r be (-1)/x - (-11)/(-14). Does r = 1?
False
Let u = 0.103 + 0.057. Which is smaller: -1/17 or u?
-1/17
Suppose 253 = -8*r - 51. Let b = r + 42. Which is greater: b or -2/5?
b
Suppose 4*s = -4*o, 58*s - 60*s - 6 = 5*o. Is o greater than or equal to 0.21?
False
Suppose -86*g = g + 157557. Which is smaller: -1812 or g?
-1812
Let b(g) = -g + 10. Let z be b(6). Let y(l) = -l**2 + 7*l - 5. Let m be y(6). Suppose -20 = -4*i, 2*c + 4 = 3*i + m. Which is greater: z or c?
c
Suppose -5*t + 6*t + 5*r + 46 = 0, -3*t - 162 = 3*r. Let s = 54 + t. Is -13/9 equal to s?
False
Suppose 4*h + 8 = -4*x, 0*x = 4*x - 20. Let g be (h/(-3) - 2)*9. Suppose 34*w = 32*w. Which is smaller: g or w?
w
Let y(a) = -a**2 - 11*a + 102. Let m be y(8). Is m less than or equal to -34?
True
Suppose -4*k = -2*j - 0*j + 6, 0 = -k + j - 4. Is 11/46 >= k?
False
Suppose 0 = 3*d - 72 + 12. Suppose s - 34 + 13 = 2*j, 4*s - 5*j = 81. Which is smaller: s or d?
s
Let j = -34333/3 - -11728. Let l = 280 - j. Suppose 2*d + 4*k + 18 = 0, 4*d - 4 = -2*k - 28. Which is smaller: d or l?
d
Let v = 3 + -3. Suppose i + 4*y - 2 = -i, v = -5*y. Let w = 111 + -110. Is i less than or equal to w?
True
Let l(b) = 10*b + 775. Let s be l(-74). Is 40 >= s?
True
Suppose 4*a + 3*y - 20 = 0, 4*y - 9 = -3*a - 1. Suppose a*o - 4*o + 5*b - 16 = 0, 0 = -2*o - 4*b + 8. Which is smaller: 23/5 or o?
o
Let m(h) = 10*h**2 + h - 18*h**2 + 7 - h**3 - 3*h + 3*h. Let r be m(-8). Is 1/9 <= r?
False
Let h be 44/77 - (-10)/7. Suppose -3*i = -h - 1. Is -10 at least i?
False
Let t be (0 - -1)*(35 - 4). Suppose -3*q = -2*u + t, q + 0*q = u - 14. Is 9 > u?
False
Let v = -4.956 - -4.9. Let a = v - -0.056. Let y = 23/7 + -108/35. Is a not equal to y?
True
Suppose 30*s = 26*s - 5*l + 24, l - 8 = -4*s. Are 20/21 and s unequal?
True
Let s be (1 + 4)*4/10. Suppose 4*o - 5*o + 5 = 3*b, s*o - 10 = 2*b. Suppose b = 3*z + 6 - 9. Do -0.4 and z have the same value?
False
Let c = -349 + 252. Which is greater: c or -4/7?
-4/7
Let r be ((-54)/(-11) - 4)*2/5. Let u = r + -30/143. Which is smaller: u or 0.1?
0.1
Suppose 0 = 4*d - a - 2*a - 11, 4*d = -4*a - 24. Let r = -135 - -74. Let f = r - -243/4. Which is bigger: d or f?
f
Let t = -437 - 154. Which is smaller: -592 or t?
-592
Let c = -90/97 + 9381/9797. Is c bigger than 0?
True
Let v be (-6402)/84 - (-2)/(-7). Let k = v + 75. Which is greater: -2 or k?
k
Let i(a) = 16*a - 23. Let f be i(-3). Which is greater: -352/5 or f?
-352/5
Suppose n - p + 63 = 0, -164 = 3*n + 2*p - 0*p. Which is smaller: -55 or n?
n
Let a = -281 + 281. Is a < 3.7?
True
Let c(y) = -10 + 15*y**2 + 2*y + y**3 + 23 - 4*y**2. Let p be c(-11). Is -11 greater than or equal to p?
False
Suppose -2*b = -2 + 10. Let z be ((-10)/(-4))/(b/56). Is z greater than -34?
False
Suppose -3*r = -u - 251, -5*u + 88 = r - u. Let d be r/29*-1 - -3. Which is smaller: d or 1?
d
Let s = -13.5 - 1.5. Let o = 934 + -932. Which is greater: o or s?
o
Let j = -0.031 - -0.221. Let d = j + -50.19. Is d at most -0.1?
True
Let f = -23 - -28. Suppose -f*c - 3 = -2*c. Let h = -77/230 + 4/115. Are h and c equal?
False
Let i(z) be the second derivative of -2*z**3/3 + z**2 + 18*z. Let p be i(-1). Let g be 8/3 + (0 - 2). Which is smaller: g or p?
g
Let t = 0.06 - -0.1. Let m = -216 - -1510/7. Which is greater: m or t?
t
Let w be (-19551)/(-118062) - (-3 + (-38)/(-12)). Which is greater: 1 or w?
1
Let w = -2/155 + -29/155. Let p(q) = -q**2 + 2*q - 1. Let t be p(2). Is w equal to t?
False
Suppose 3*t = -2*f + 10, -5*f + 3*f + 6 = 2*t. Let u be (-1)/(3/(-3)*f). Which is greater: u or -1/15?
-1/15
Let g = 1/26 + -75/3302. Suppose -2*s - 5 = 11*f - 6*f, -3*f - 3 = 4*s. Which is greater: g or f?
g
Let j = -355 + 156. Let x = j - -222.2. Let a = x + -23. Is a greater than 5/6?
False
Suppose 0 = 83*o + 95*o + 534. Suppose -23 = 3*d - 3*w + 1, 3*d + 3*w + 12 = 0. Let m(u) = -u - 8. Let p be m(d). Which is bigger: p or o?
p
Let h = 105.819 - 0.919. Let k = h - 105. Which is bigger: k or 57?
57
Let c(r) = r**3 + 5*r**2 - 7*r - 7. Let s be c(-6). Let t = -62003/17304 + -1/5768. Let a = t - -9/4. Which is smaller: a or s?
a
Suppose 1134*h - 1098*h - 14904 = 0. Is 416 less than h?
False
Let u(i) = i + 23. Let k be u(-7). Suppose 0 = -11*t + 7*t - k. Is t >= -18/7?
False
Let t(k) = -2*k - 30. Let w be t(-12). Let a be (-6)/21 + (-4)/84*w. Is 5/8 <= a?
False
Let p = 1375 + -1206. Is p at most 167?
False
Suppose 0 = 5*m + 2*i + 2*i + 636, 0 = -4*m + 2*i - 514. Suppose 2*x + 99 = -155. Is m less than x?
True
Suppose p = -4*p + 5. Let w be p + 0/4 - 3. Which is smaller: -26/9 or w?
-26/9
Suppose 5*j + 20 = 3*i, 3*j - 2*j + i - 4 = 0. Let d be (-3)/(-1) + (-2 - j). Let q be 2/3 - (-6)/36. Which is greater: d or q?
d
Let w be 97/(-5) + (-118)/(-295). Which is smaller: -13 or w?
w
Let y = -18.11 - -0.11. Let t = y + 17.9. Is -0.08 greater than or equal to t?
True
Suppose 3*j - 248 = -j. Suppose j = -8*s + 6. Which is small