g?
True
Let l = 27.8 + -28.4. Let f = 0.2 - -0.3. Let y = l + f. Is y at least as big as -1/4?
True
Let q be 4 - ((-64)/(-12))/(14/21). Let b = -8/83 - 881/332. Is q less than or equal to b?
True
Let d be (-2 - 4)/2 - (-198)/(-6). Which is smaller: -35 or d?
d
Suppose 3*u - 2*r - r + 18 = 0, -14 = -u - 3*r. Let b be -4 - (232/(-60) + 0). Let j = -1/15 + b. Is u smaller than j?
True
Let x = 0.06 - 235.06. Is x less than 1/3?
True
Let d be (4 - 1) + (-48 - -17). Which is smaller: d or -23?
d
Let j = -288 + 88. Is -203 < j?
True
Let h = 52 + -52. Let s = 4/11 + -67/33. Is s != h?
True
Let c = -58 + 62. Suppose 8*s + c = 10*s. Which is smaller: s or 0.1?
0.1
Let h be 214 + (-1 - (-11 + 2)). Is 223 at least as big as h?
True
Let f(z) be the third derivative of -z**5/20 + z**4/24 + 7*z**3/2 + 23*z**2. Let y be f(-4). Are -31 and y unequal?
False
Suppose 8*a - 59 = 101. Suppose 8*w + 44 = a. Which is bigger: w or 6?
6
Let a = 3.81 - 1.81. Does -17.5 = a?
False
Let a be 4/42 + 86/(-21) + 19. Suppose 0*g - g + 4*x + 3 = 0, -2*x + 3 = g. Let o = g - a. Is o smaller than -12?
False
Let z be (-26)/3 + (-3)/9. Let d = z - -15. Suppose -t = 3, -n + 5*t = -d*n - 10. Is -7 at least as big as n?
False
Suppose 27*k = 24*k + 36. Suppose -n + 2*n = 21. Let q be (6/n)/(15/21). Is q less than or equal to k?
True
Suppose i + 4557 = -0*i. Let q = i + 318981/70. Let m = -1/14 + q. Is -1 at least m?
False
Let v = -1442 - -200434/139. Do -1 and v have the same value?
False
Let u(j) = 4*j**3 + 51*j - 100. Let a be u(2). Which is greater: a or 40?
40
Let k be 3 - (-9)/3 - -4. Let u be ((-10)/25)/(12/k + -1). Is u greater than -3?
True
Let a = 127 - 127.2. Let l = -0.111 - -0.061. Is a not equal to l?
True
Let v be (((-176)/(-10))/(-11))/((-2)/20). Let t be (-482)/(-316) + 88/v + -7. Which is greater: t or -1?
t
Let l = 2742 - 8096/3. Which is smaller: 44 or l?
l
Let m = 37 - 68. Let i = -13 - m. Let k = i + -17. Which is bigger: -4 or k?
k
Suppose -389 = 5*t - 3*w - 0*w, -2*t = -5*w + 148. Let n = -79 - t. Is n < 3/11?
True
Let h(v) = -12*v - 299. Let r be h(-24). Is r at least as big as -7?
False
Suppose 4*j + 2451 = 12047. Is 2398 >= j?
False
Suppose -t = -5*t + 20. Suppose 2*g - 6*g = -3*p + 27, 5*p + t*g = 45. Is p > 10?
False
Let q = 208 + -206. Do 140 and q have different values?
True
Let w = 8 + -10. Let o be (w + 3)*(-34)/(-48). Let x = -1/3 + o. Which is bigger: x or 0?
x
Let s = -591 + 592. Which is smaller: s or -1/14?
-1/14
Let q = -3.7 + 4. Let k = 138 - 139.2. Let z = k - q. Is -0.1 less than or equal to z?
False
Suppose 0 = 3*c + 4 + 2. Let m(u) = u**3 + u**2 - 2. Let f be m(c). Let d be ((-6)/(-18))/((-1)/f). Which is smaller: d or 0?
0
Let s = -228 + 489. Let g be 1/2 + s/(-594). Which is bigger: 1 or g?
1
Let c = 3/41 + 49/451. Let t = -0.16 + 0.08. Let d = t - -0.08. Which is greater: c or d?
c
Let d be (-7)/(-3*2/(-6)). Let k = 869 + -873. Is k <= d?
False
Let t be 4/(-5*6/(-135)). Let r = t + -21. Let n be r + (-1)/(2/(-13)). Is 4 greater than or equal to n?
True
Let i(p) = 19*p**3 + 3*p**2 - 10. Let h be i(-3). Which is smaller: 1 or h?
h
Suppose -10*i + 10 = -60. Let d(b) = -2 - 5*b - 5*b + b**2 + 12. Let l be d(i). Which is smaller: l or -13?
-13
Let c = 1 + -6. Let i(k) = k**2 - 3. Let h be i(0). Let n(l) = -l**3 - 4*l**2 - l. Let u be n(h). Does u = c?
False
Let o(c) = c**3 - 3*c**2 - c + 3. Let p be o(3). Let z be (-2*(-4)/(-6))/(1/(-3)). Let t be 1/(-2)*z/(-56). Do p and t have the same value?
False
Let m = 77 + -76. Let l = 10/3 - 5/3. Which is greater: l or m?
l
Let p = 2386 + -3666. Is -1278 greater than or equal to p?
True
Let h be (-1)/(0 + 5 + -6)*-66. Is -69 > h?
False
Let b = -0.035 - -0.135. Let i = b + -0.12. Which is bigger: -1 or i?
i
Let m = -2012 + 2014.4. Let v = -0.2 + 2.2. Which is bigger: v or m?
m
Let d = -10055/21268 + -19/409. Which is smaller: -2 or d?
-2
Let h = -5438/17 - -322. Let x = h - 2. Suppose -2*v + 7 = -g, 3*v = -4*g + 2*g - 7. Is x >= v?
False
Let l(g) = -g**3 + 6*g**2 - 3*g + 9. Let u be l(6). Suppose -q + 5 = -7. Let t = q - 22. Is t < u?
True
Let a = 14467/72 + -1707/8. Which is smaller: a or -13?
-13
Suppose 0 = -21*o + 28*o + 105. Is -41/3 less than o?
False
Let c = 46 - 48. Which is smaller: 2/7 or c?
c
Let p = -30 - -42. Let f = p - 15. Suppose -16 = 3*x + x. Does f = x?
False
Let l be 3/(12/4) + 29. Let h be 3/(-1) + 1*(36 - 3). Are l and h equal?
True
Let b(i) = i**3 + 10*i**2 + 11*i + 10. Suppose 0 = 5*r + 64 - 19. Let w be b(r). Let d = w + 8. Which is smaller: d or -10?
-10
Let g = 14 - 8. Let a = 59 + -59. Suppose a*v + 3*v - g = 0. Which is bigger: 8/3 or v?
8/3
Let z = 0 - -0.02. Let x be (0 - 4) + 336/72. Which is greater: x or z?
x
Let v = -3/496 - 22771/7440. Is v smaller than -3?
True
Let f be (-3 + 3)/(40 + -39). Which is bigger: 2/2161 or f?
2/2161
Let l = -2.2 - -2. Let m = 0.152 - -169.148. Let g = -169 + m. Which is smaller: l or g?
l
Let t be 23/7 - 4/14. Suppose -y + t - 1 = 0. Suppose 60 = 5*a - 5*g, -y + 44 = 4*a - g. Are 10 and a non-equal?
False
Let y be (-414)/(-8) - (-3)/12. Which is smaller: 51 or y?
51
Let d = -4583/875 - 1/2625. Which is smaller: -5 or d?
d
Let q be ((-6)/7)/(472/(-4956)). Let j be 2 + (-3 - 1) + 10. Is q at least j?
True
Let b(h) = -h + 4. Let k be b(3). Let m = -29.2553 - 0.0447. Let s = m + 29. Which is bigger: s or k?
k
Let w = -599 - -599. Is w greater than 3/88?
False
Let y = -26 + 35. Let a = 192/5 - 39. Which is smaller: a or y?
a
Let g = -11 - 3. Let v(l) = -2*l + 4. Suppose -2*z + 7 = -11. Let w be v(z). Do g and w have the same value?
True
Let i(n) = -n + 1. Let m be i(-6). Let v = m + -7. Let o be (v - -1) + 5 + -5. Is o at least -1/14?
True
Let i(h) = h**2 + 21*h + 26. Let s be i(-20). Suppose s*z + 46 = 29*z. Is -6 at least z?
False
Let y be (-8)/(-21) - 22/(-77). Let c = -182 - -184. Is c at most y?
False
Let d = 2 + 7. Let p = -17 + d. Let n = -9 - p. Which is greater: n or -1/7?
-1/7
Suppose 44*k + 90 = -42. Is k less than -39/23?
True
Let g = -23.2 - -11.2. Which is smaller: 2/9 or g?
g
Suppose 5*k + 2*k - 70 = 0. Suppose 13*b = k*b + 3. Is 1 >= b?
True
Let t be 1/3 - 32/(-12). Suppose 4*w - 3 = 3*d, t*w = -2*w. Is d at most as big as 2/23?
True
Let z be (-9 - 5)/((-1 - -1) + 2). Suppose 0 + 2 = c. Let r = -3 - c. Which is smaller: z or r?
z
Let b(d) = 3*d**2 + 11 - 4*d - 4*d**2 - d**3 - 3*d**2 + 11*d. Let g be b(-5). Which is bigger: g or 13/6?
13/6
Let q = -95 - -92. Let v be (-4)/26 - q/((-234)/66). Are -5/12 and v non-equal?
True
Let w be (-13 - (11 - 22)) + -1 + -89. Is w bigger than -90?
False
Let l be ((-6)/4)/(7/(-14)). Let w(t) = t**2. Let b be w(l). Is b equal to 10?
False
Let h = 34509 + -14045156/407. Let u be (-204)/(-518) - 6/21. Let j = u - h. Is j < 1?
True
Let u = -0.068 + 61.068. Let x = 28 - u. Do x and 2 have the same value?
False
Let f be ((-28112)/280)/((-2)/5). Which is bigger: 253 or f?
253
Suppose 0 = -f + 3*f - 12. Let b be (5 - f) + 75/69. Is -1 != b?
True
Let y(t) be the third derivative of -t**5/6 + t**4/8 + 2*t**3/3 + 7*t**2. Let j be y(3). Let z be 78/77 - (-22)/j. Is 0 < z?
True
Let l(g) = -46*g**3 - 5*g**2 - 20*g - 5. Let q(w) = 15*w**3 + 2*w**2 + 7*w + 2. Let v(d) = 4*l(d) + 11*q(d). Let z be v(1). Are -15 and z nonequal?
True
Suppose 5*l - w + 66 = 0, l + 17 = w + 3*w. Let x = -13 - l. Let o = 1/97 - 223/2813. Which is greater: o or x?
x
Let k be -9*(364/(-63) - -6). Is -60/67 >= k?
True
Suppose v - 20 = -4*v. Suppose 5*p = -y + 34, -2*y - 3*y + 65 = v*p. Let l = 9 - y. Do l and -2/9 have the same value?
False
Suppose 48 = 4*c - c. Let o be 52*(0 + 4/c). Let a be (-1 + 1)/(o + -11). Is a greater than or equal to 1/18?
False
Let t = 1297 + -1197.84. Let o = 0.16 - t. Is o greater than -1/3?
False
Let i be ((-752940)/83)/(-6) + -1. Let k = -1511 + i. Is k less than or equal to -1?
False
Let h be 1/((-3)/(-48)) + -5. Suppose h*x - 7*x = -4. Which is bigger: 11 or x?
11
Let s be (-4)/6*3753/18. Let r = 123 + s. Which is smaller: r or -14?
r
Let u be 3169/42 + ((-268)/24 - -11). Is 76 at most as big as u?
False
Suppose -27*q + 1896 = -3*q. Which is smaller: 82 or q?
q
Let k be -3 - ((-2282)/(-245) + (0 - -3)). Let g = -124/7 - k. Which is smaller: g or -1?
g
Let w be (-8)/1660*20/(-68). Which is bigger: 1 or