- 0.013. Let f = 33 + p. Is -2 smaller than f?
True
Let n = -27.4 + 0.4. Let g = 33 + -7. Let a = g + n. Which is smaller: 2/15 or a?
a
Let q be 2/(-7) - (-17)/(-14). Let v = -50455 + 50453. Which is bigger: q or v?
q
Let c = 2 + -3. Let s = 2 + c. Let k = -1596 - -1593. Which is greater: s or k?
s
Let d = -201081/220 - -914. Let r = -2417/660 + d. Which is greater: -0.05 or r?
-0.05
Let z = 12999.45 - 12999. Let d(c) = c**3 + 14*c**2 + 14*c + 9. Let q be d(-13). Is z not equal to q?
True
Suppose 0 = -3*y - 3*m + 1086, -2*y + 2*m - 3*m + 724 = 0. Suppose 6*r + y = 38. Let d be 1/((-3)/6) - r/24. Which is smaller: 0.06 or d?
0.06
Let s be (-9918)/49938 - 1/(-5). Is s at least as big as 12?
False
Suppose 53*s - 370 = -21*s. Let m(u) = u + 8. Let d be m(-6). Suppose -3*c + d*k = -1, -s*c - 3*k + 11 - 3 = 0. Is c smaller than -4/23?
False
Let v = -0.001 + 6.001. Let d = v + 16. Is d <= 2?
False
Suppose 3*v - 8*v + 7*b - 9*b + 35745 = 0, -2*b = 0. Which is smaller: v or 7150?
v
Suppose -2*v + 67 = -3*p, -129 = -7*v + 3*v + 5*p. Suppose -v*b = -20*b + 78. Is -13 at least as big as b?
True
Let r = 2.26 - -0.1. Let l = -0.36 + r. Let w(x) = -x**2 - 2*x + 7. Let m be w(-3). Which is smaller: l or m?
l
Let h be 3 + 0 - (11 - 9). Let v be (-120)/(-16)*h - 6/(-8). Which is greater: v or 1?
v
Let h = -1244 + 13669/11. Let f = 813 - 648. Suppose 30 = -180*l + f*l. Is l less than or equal to h?
True
Let w = 4.666 - 8.666. Which is smaller: -99 or w?
-99
Suppose 172*r - 18093 = 224*r - 91361. Are r and 1409 nonequal?
False
Let z be (-2)/(-1087)*(27432/(-448) - -2). Let o = -2/1087 - z. Let d = 0 + 0. Is o <= d?
False
Suppose -3*y + 5 + 1 = 3*l, 4*y - 8 = 4*l. Let o = 108 + -103. Suppose 5*u + 5 + 5 = -o*h, 4*h = 12. Which is smaller: y or u?
u
Let n be ((-28)/8)/(2/48). Let k = -48 - n. Suppose -2*g = -3*g - k. Does -37 = g?
False
Let o = -9 + 8. Let s = 0 - o. Let k be 195/(-138) + (-62)/713. Is k at least s?
False
Suppose 4*u - 3*h = -1 - 6, h = -5*u - 4. Let q be (-17)/4*u + (-14 - -10). Does -77 = q?
False
Let l = -5.9 - -2.9. Let y = -1241/9870 - 5/658. Which is greater: l or y?
y
Let j be 175/5 + (-3)/1. Suppose 3*g = -5*q + j, -5*g + q = -33 - 39. Are 13 and g equal?
False
Let d be 891/(-18270)*6 - (-20)/70. Is d smaller than 1?
True
Let a(r) = -2*r + 19. Let y(o) = 3*o - 28. Let t(g) = -8*a(g) - 5*y(g). Let h be t(12). Suppose -6*f + 0*f - 2*f = h. Which is smaller: f or -2/53?
-2/53
Suppose h + 1048 = -2*p, p + 524 = -233*h + 237*h. Is p equal to -2619/5?
False
Let n = 4031 - 4029. Let j be (-1 - -5)*(-1 + 2). Let p be (4 + (-34)/8)/(n/j). Is p equal to -11?
False
Let g = 2288 - 2287. Is 6/2819 at least g?
False
Let v = 34534.37 - 34535. Let f = -0.2 + 0.1. Let m = f + 0.1. Is m <= v?
False
Let x be 9*(2 - -1)/(-9). Let t be x/(-21) - (-25)/(-665). Let q = 1928 + -1928.2. Is q != t?
True
Let i = 18014/5 - 3600. Which is bigger: i or 4?
4
Let t = 24 + -5. Let o = -79218/5 + 15863. Which is smaller: o or t?
t
Suppose -g + 4567 = g + 4637. Which is bigger: g or -20?
-20
Let w = 11 - 12. Let g be (4 - 3) + w + 1. Let i(z) = -47*z**2 + z. Let v be i(g). Is 0.1 less than v?
False
Let d(k) = -101 - 2*k - 73 + 18 + 33. Let s be d(-37). Which is bigger: -44 or s?
-44
Suppose -9*c = -8*c + 2, 2*l + 2*c = -890. Let t = -437 - l. Are t and 14/3 non-equal?
True
Let a = 6.315 - -0.085. Let k = 6.5 - a. Let v = 11.12 - 0.12. Is v bigger than k?
True
Let t be 2/(-25)*-10 + 5832/135. Is t at least -4.9?
True
Let o(r) = -7*r - 8. Let a be (1 - (2 + 234))*(-6)/(-15). Let w = 89 + a. Let t be o(w). Is 26 >= t?
False
Let y(n) be the second derivative of 55*n**3/6 - 269*n**2/2 + 48*n - 2. Let k be y(5). Suppose 6*z - 2*z = -2*m + 2, -4*z + 7 = m. Is m > k?
False
Let s(u) = 3*u**3 - 40*u**2 - 90*u + 38. Let y(g) = -g**3 + 14*g**2 + 30*g - 13. Let z(l) = 3*s(l) + 8*y(l). Let c be z(-3). Which is greater: 3/137 or c?
c
Let h(x) = 12*x**2 + 68*x - 75. Let c be h(1). Which is greater: 908 or c?
908
Let n = 143 + -148. Let m be 39*n/90*(-3)/(-6). Is m less than or equal to 0?
True
Suppose 0 = -4*t - 2*j - 308, t - 76 = 2*t + j. Let g = t - -136. Suppose -11 = 3*s - 135 - 53. Is g >= s?
False
Let i(a) = -a - 16. Let z = 12 - 8. Let r be i(z). Let x = -23 - r. Is -3 less than x?
False
Let r = 27675 + -1577543/57. Let x = r - -124/19. Does x = 2?
False
Let a = -169 - -201. Let o(s) = 5*s**3 - 5*s**2 + 2*s - 1. Let p be o(3). Suppose 0 = 5*k - p - 60. Which is bigger: a or k?
a
Let h(t) = -2*t**3 - 8*t**2 + 48*t - 82. Let i be h(11). Which is bigger: -3183 or i?
-3183
Let q be (9/(-18))/((3 + 1)/(-8)). Let b(c) = 257*c**3 + 3*c**2 + 2*c - 2. Let m be b(q). Which is greater: m or 259?
m
Let s be 0 + 127 - 98/14. Suppose -129*w + s*w = 9. Is w equal to 2/323?
False
Let k = -2806131/5 + 559279. Which is bigger: k or -1948?
k
Suppose d - 5*t = -1 - 8, -4*t = -2*d - 30. Let s be (1/7 - -1)/(d + 21). Let l be 2/((2 + 0)/2). Is l >= s?
True
Let r = 146.9 + -146.68. Let g = -3 + -1. Let k be (-2)/g*(-16 - -12). Which is smaller: r or k?
k
Let t be -7 + 1 + 5 + 64703/60431. Is t less than 0?
False
Let n be (1*2)/(4/(-22)). Let q = -2737/6 + 5345/12. Which is greater: q or n?
q
Let p = -4077 + 4076.5. Is p less than or equal to -0.655?
False
Suppose -4*u - 13 - 19 = 0. Suppose 5*a = -4*d + 6 - 2, 1 = 5*a + d. Let p be 0/(8/4 + a). Which is smaller: p or u?
u
Let k(g) be the third derivative of -g**4/24 + 7*g**3/2 + 14*g**2. Let y be k(14). Let m be 9/12 - (-2)/(1 + y). Which is bigger: m or 0?
m
Let x = 0.032828 + -3.032828. Let m(v) = -v**3 + 5*v**2 + 5*v + 4. Let j be m(6). Is x != j?
True
Let r(w) = -3*w - 61. Let i(j) = -12*j - 304. Let l(x) = -3*i(x) + 16*r(x). Let b be l(-5). Let u = 0.04 + 3.96. Is u greater than or equal to b?
True
Let u = 264 - 306. Let j be (2/(-91))/((-18)/u). Suppose 3 = 5*v + 2*p, 3*v - 4*p = -v - 20. Which is smaller: j or v?
v
Suppose -5*a + 312 = 4*i, -48 = -2*a + 4*i + 60. Let j = a - 1988/33. Which is greater: j or 1?
1
Let j(m) = -m**3 + 4*m**2 - 3*m - 11. Let u be j(8). Let h = u + 295. Let b(t) = t**3 + 8*t**2 + 10. Let p be b(-8). Are p and h equal?
False
Let x = -105.22 - -105.22. Is -37.96 less than or equal to x?
True
Let r = 1347/10 + -211/2. Let u = -21 - -22. Is r not equal to u?
True
Let q(h) = -h**2 - 5*h + 39. Let f be q(4). Suppose 0 = u - 3*u + f*x + 20, -3*x = u - 10. Is u greater than or equal to 20?
False
Let t(s) = 23*s**2 - 115*s - 62. Let j be t(7). Which is greater: 227 or j?
j
Let a = 0.3 - 0. Let c be ((-159)/(-159))/(2/(-208)). Which is smaller: c or a?
c
Let o = -1463 - -1463. Let d = -3/22 + 7/11. Which is bigger: d or o?
d
Suppose -16*u + 39*u + 2666 = -20*u. Which is greater: -54 or u?
-54
Let j(d) = 97*d + 149. Let y be j(-6). Which is greater: -426 or y?
-426
Suppose a + 0*a + 25 = 2*l, 35 = 4*l + a. Let v be ((-240)/l)/8*(6 + 1). Is -190/9 at least as big as v?
False
Let g be 8/4 + (-2 - 0). Suppose -13*r + 915 = -8*r. Let x be r/(-2074)*8/(-2). Which is bigger: g or x?
x
Suppose 1 = -5*w + 11. Suppose 0 = -w*g - g. Let o = 275 - 3579/13. Is g at most o?
False
Let o = -2580 + 2578. Is o less than 430?
True
Let y(k) = -k**3 + 7*k**2 - 4*k + 4. Let h be y(6). Let m be (-40)/7*(-56)/h. Suppose 4*b = -4*r - m, 2*r - 4*r - 4*b = 8. Which is smaller: -3 or r?
r
Let s(g) = 6*g**2 - g. Let i be s(1). Suppose -85 = -i*l + 5*y, -2*y + 50 = 4*l - 0*l. Let v = l - -7. Is 22 > v?
True
Let z = 350934/7 - 50242. Let x = z + 88927/819. Let b = -121/468 + x. Which is smaller: -1/28 or b?
b
Suppose -32448 = -40*b + 19*b - 43*b. Is 15 <= b?
True
Let w = -76 - -135. Suppose w = -5*h - 11. Let v be (-1)/(-5)*(-9 + h). Which is greater: -5 or v?
v
Suppose 3*f + 16560 = 48*f. Suppose f*a + 204 = 356*a. Which is smaller: -13 or a?
a
Let o = -16291 - -21303. Is o > 5011?
True
Let n be 4/((4 + -3)*-6 + 7). Suppose u + o = -75, -7*u + n*o = -10*u - 222. Is u < -79?
False
Let n = -2/594697 - 81473205/84446974. Is -1 < n?
True
Let f be -257 - -255 - -6*117/6. Which is smaller: -17 or f?
-17
Let u(l) = 2*l**2 - 16*l - 17. Let r(p) = -p**2 - p - 4. Let q be r(-4). Let a be (q + -2)*2/(-4). Let v be u(a). Which is bigger: 2/163 or v?
v
Suppose -3*k = -0*k - 4*l + 88, -k = -l + 28. Suppose 3*q + 364 = 3*o + 7*q, 2*o = 5*q + 212. Let y = o + -139. Is y a