 f?
False
Let d(p) = -9*p**2 + 254*p - 26. Let y be d(30). Does y = -508?
False
Let r(g) = 0*g**2 - g + 50 - 26 - g - 2*g**2. Let u be r(-4). Is u at most -2/79?
False
Let r = -51.5 - -34.8. Let g = 2190.6 - 2190.6. Which is smaller: g or r?
r
Let u be ((-551)/29 - -17)/(2 + (0 - 0)). Which is smaller: u or -3/7100?
u
Let i = -176.6 + 169.6. Which is greater: -4 or i?
-4
Suppose -u + 1 = -8. Let t(z) = 805*z + u + 7*z**2 - 807*z + z**2 + z**3. Let a be t(-7). Is a < 73?
True
Let w = 176.2 + 0.8. Does w = 4?
False
Let w = -513/487 + 1405151/2922. Is w greater than 480?
False
Let a be -9*7/(-567) + 19837/(-9). Let r = 68310/31 + a. Which is bigger: r or -1?
r
Let m = 12469.0715 - 12470. Is m bigger than -1?
True
Let o(h) = 16*h**2 - 29*h + 9. Suppose -2*c - 19*z + 20*z = -4, 3*c + 5*z = 32. Let d be o(c). Is d greater than 148?
True
Suppose 6*a = 5*a - 0*a. Let k be (22 + a)/(1 + -1 + -1). Let t be (-4)/k - 322/77. Is t >= -5?
True
Suppose 3*g + 0*g = 555. Suppose -2*k + 5*k + 2*y + g = 0, 4*k + 242 = 2*y. Suppose -5*c + 3*q = 310, -2*q = q. Is k smaller than c?
False
Let q = 9863 + -9417. Which is bigger: q or 451?
451
Let h(b) = -36*b + 1. Let y be h(1). Suppose -2*q + 18 = -3*q + 5*i, 5*q - 2*i = -44. Let w be (2 - (-35)/(-20)) + 274/q. Is w less than or equal to y?
False
Let i = 3/438498122776 - 160692885913794830469/255644405578408. Let m = -628579 - i. Let q = m - -1/53. Which is greater: q or 0?
q
Let m be 2/16 - (-18)/(-16)*1. Let a be (27/(-36))/(27/12). Is m != a?
True
Suppose 18*n + 1779 + 3 = -4*n. Which is bigger: n or -13/2?
-13/2
Let x = 1.7 + -1. Let i = -102 - -107.7. Let n = i - x. Are n and -1 non-equal?
True
Let x be (-11 + 0)*(-3)/(-12). Suppose a - 2*p - 12 = 0, 3*a + 4*p = 6*a - 46. Suppose a = -4*o + 2*h, 69*o - 72*o - 29 = -4*h. Which is bigger: o or x?
x
Suppose 2*p - p - 2*t = 0, 2*p - 3*t - 4 = 0. Let i(c) = -73 - 6*c - 3*c + 155. Let m be i(8). Is m not equal to p?
True
Let c = -26 - -49. Let n be 23/c - (3 - (-1 + 2)). Which is bigger: -13/12 or n?
n
Suppose -32 = 7*g - 116. Let i = -13 + 2. Let d be (-3)/5 - 9/(-15) - i. Which is greater: g or d?
g
Let i = 7.891 - 7.491. Which is smaller: -2.613 or i?
-2.613
Let f = 993 - 1058. Are f and 3 nonequal?
True
Let i be (-25)/30*6/15*-15. Suppose 2*k + 2 = -2*h, -k + 3*k = i*h + 33. Let b be k/(-6)*(-45)/(-30). Which is greater: b or 2/17?
2/17
Let l be 7*60/(-2)*(-36)/24. Let w be ((-2)/(-24))/(l/120). Which is bigger: 1 or w?
1
Suppose 5*q = -38*c + 33*c - 375, -5*c + 2*q - 326 = 0. Which is smaller: -71 or c?
-71
Let f(j) = -j**3 - 11*j**2 + 2*j + 7. Let s = 28 + -39. Let z be f(s). Let m be (12/z)/(44 + -6). Is -1 greater than or equal to m?
False
Let t be (6/2)/((-798)/4). Let w(q) = 2*q + 25. Let r be (3 + 1*-1)*(2 + -8). Let h be w(r). Are h and t non-equal?
True
Let l be (21 + 35661119/(-1698151))*-7. Is -1 bigger than l?
False
Suppose -151 = -f + 4*l + l, 3*l = -12. Suppose f + 639 = -7*n. Let p = n - -109. Is -1/11 at least as big as p?
True
Let o(q) = 37*q**2 - 2*q - 3. Let m be o(-1). Suppose -26*i = -20*i - m. Let l be 1/(1/7 - 0). Which is smaller: l or i?
i
Let z = 25.9 + -26.15. Which is bigger: z or -0.3?
z
Suppose g + 3*r = 7, -152*g + 3*r = -156*g + 10. Which is smaller: g or -1/1265?
-1/1265
Let b(k) = -2*k**3 - 3*k**2. Let w be b(-2). Let o be (4/(-10))/(w/(-260)). Let x = -23 + o. Which is smaller: 2 or x?
2
Let r = -2877 + 2877. Is -2/29221 equal to r?
False
Let m = 16 + -109. Let h be (-1)/(-5) + 29/(290/(-942)). Which is bigger: m or h?
m
Let n = -0.06199 + -307.83801. Let f = 308 + n. Which is smaller: f or -10/9?
-10/9
Let x be (-2)/(232980/(-23309)) - 1/10*2. Which is bigger: x or -1?
x
Suppose 35*m = -17*m + 113*m. Let t = -14/855 + 5711/400995. Is m >= t?
True
Let h(r) = r**3 - 8*r**2 + 6*r + 9. Let p be h(7). Suppose 5*y - u - 19 = 0, 0 = -p*y + y - 3*u + 7. Which is greater: y or 3?
y
Let r(c) = 2*c. Let d(n) = -51. Let x(h) = -d(h) + 2*r(h). Let o be x(-13). Which is bigger: o or -6/11?
-6/11
Let b(v) = -v**3 + 7*v**2 - 3*v - 3. Let l be b(5). Let d = l - 43. Let w be d/(-55) - (-27)/(-185). Are w and -1 equal?
False
Let b = 8.98081 + 0.01919. Which is smaller: b or 0?
0
Let f be (-1)/(-6) + 3235/3882. Let v be (1 - (-27)/(-2))*19. Let n = v - -75527/318. Is f bigger than n?
True
Suppose p + 2*p - 3 = -3*v, 3*v + 5 = -p. Suppose 2*i + 60 = -p*x, -13*i + 17*i = 3*x - 131. Which is bigger: -28 or i?
-28
Suppose 4*j = -12*j - 0*j - 48. Which is greater: j or -1233?
j
Let s = -14146 + 14144. Is s bigger than -126/137?
False
Let l = -11280 - -11280. Which is smaller: 7/109 or l?
l
Let j = -49.4 + 54. Let c = j + 6.4. Let n = c + 0. Is n > -1?
True
Let q be (0/(-1 + -7))/2. Is 1/7471 at least as big as q?
True
Let u = -7.1667 - 3.2833. Is -13 at most as big as u?
True
Let u = 7317 + -7338. Which is smaller: 0.137 or u?
u
Let y(i) = -49*i - 1127. Let c be y(-23). Is -4/3077 greater than c?
False
Let d be 1/(-11) + 7/77. Suppose -5*k - 6*b + 2*b - 4 = d, 3*k - 2*b = 2. Which is greater: k or 1/27?
1/27
Suppose 2*c - 45 = v, 4*v - 39*c + 37*c = -144. Is -45 >= v?
False
Suppose 15063 = t + 4*t - n, -18074 = -6*t + 2*n. Is 3012 >= t?
False
Let b = 11928 + -12004. Is b at most as big as -18?
True
Suppose -4*r - m + 96 = -2*m, 120 = 5*r + 3*m. Suppose s - 2*s - r = 0. Let c = 242 + -265. Which is smaller: s or c?
s
Let l = 153589969/93038735889 + -2/6142387. Let x = -2/187 - l. Let k = 171 + -170. Which is smaller: k or x?
x
Let f = 3039.9 - 3043. Which is greater: -8 or f?
f
Let s(h) = h**2 + 5*h + 7. Let n be s(-5). Suppose 5*t - n = -2*t. Let d be (t/(-5))/((-8)/(-10)). Does d = -2/35?
False
Let x = -315 + 319. Suppose 0 = -10*s + 4 - x. Is s greater than or equal to 7/20?
False
Suppose 4*x - 14 = -3*x. Suppose 0 = -x*j - d + 14, -j - 5*d + 9*d - 11 = 0. Let u be 4 - (-2)/(-18)*-22. Is j less than u?
True
Let h = -366 + 362. Let f be 495/550 - 2/h. Is 2 greater than or equal to f?
True
Let x = 21568 - 21568. Let t = 1 - 3. Let s be (t/32)/((-6)/(-4)). Which is smaller: s or x?
s
Let r = -71 + 46. Let v be (10 - 5)*(33/r)/(-1). Suppose -2*i - 3 = -17. Which is smaller: v or i?
v
Let x(j) = -7 - 4 - 1611*j + 1613*j. Let t be x(6). Which is greater: 12/89 or t?
t
Let s(w) = 9*w - 104. Let o be s(12). Suppose -u + 95 = -n, o*u = 10*n - 15*n + 389. Are u and 96 unequal?
False
Let j = -3/110011 - -41164119/110011. Let p = j + -375. Which is smaller: p or -2?
-2
Let f = -1617 + 32331/20. Suppose -144*b - 7*b - 151 = 0. Which is greater: f or b?
f
Suppose 290*k + 65888 + 548042 = 0. Is k at least -2116?
False
Let n(v) = 5*v**3 + v - 1. Let t be n(1). Suppose -1403 = -4*c - t*k, -6 = -2*k - 16. Is c > 357?
False
Let u(v) = -v**3 + 19*v**2 - 9*v - 424. Let h be u(17). Is h <= 78/317?
False
Let y(f) = -f**2 + 5*f + 2. Let z be y(5). Let m(c) = -c**3 + 11*c**2 + 19*c - 43. Let a be m(12). Suppose 4*d + 5*x + a = 0, -6 = z*d - 5*x + 7. Is d >= -8?
False
Let r be (-66)/8 + (-5)/(-4) + -1. Let z(q) = -q - 9. Let h be z(r). Let y = 0.7 + -0.4. Is h less than y?
True
Let q be 6/(-93) - (-2805)/6479. Let y = 1.28 + -1.28. Which is smaller: y or q?
y
Let w be (-2)/5*(-100)/(-80)*(0 - 0). Are -1/3454 and w unequal?
True
Let o be (1 + 2/(-3))*15. Let h be (1 + (-1)/10*-5)/((-27)/(-81)). Which is smaller: o or h?
h
Let f be 449758/16 - ((-621)/216)/23. Which is greater: f or 28111?
28111
Suppose 161 + 289 = 25*q. Is 13 at most as big as q?
True
Suppose -l - 82 = -4*i - 223, 2*i = -4*l + 600. Let a be 2/(-15) - (-4444)/30. Which is bigger: l or a?
l
Let p be 52863/(-2104) - (30/(-8))/(-3). Is p < -26?
True
Let q be (-167034)/208280 - 32/(-40). Is -1 > q?
False
Let d = -12.811 - 0.089. Let x = 3.9 + d. Let s = 9.1 + x. Which is greater: s or -12?
s
Let g(x) = -x**3 + 135*x**2 - 136*x - 26. Let q be g(134). Which is smaller: -306 or q?
-306
Let z be 10/(30/(-9)) - -3. Let d be z - 4/(-14) - 180/42. Let j be -1 - (0 + 0 + -2). Is j < d?
False
Let b = 6097 - 6098. Is -11518 equal to b?
False
Let z(y) = -y**3 + 17*y**2 + 15*y + 26. Let j be 52/3 + -5*4/(-30). Let k be z(j). Let h = -23 - k. Is 4 less than h?
True
Suppose 0 = -3*d + w + 25, 3*d + 5*w - 13 = 6. Let v = d - 6. Let g = -6/689 - -2774/2067. Is v equal to g?
False
Let x = -61.1 + 52.7. Is x smaller than -2/11?
