?
False
Let f be (-267)/1157 - (-2131)/(-5863) - (-12)/22. Which is smaller: 0.8 or f?
f
Let p = -0.37 - -0.47. Let m = 0.76 - 66.76. Let o = m - -39. Are p and o nonequal?
True
Let g be ((-3)/(-2))/((-6)/8). Suppose 48*l + 9 = -87. Let c be (30/(-18) - g) + l/(-3). Do 1/2 and c have the same value?
False
Suppose 4*b + 132 = -7*b. Suppose k + 4 = -2. Is k != b?
True
Let p = -20 + 24.7. Let c = -2 - p. Let u = c - -7.2. Which is smaller: u or 0.3?
0.3
Suppose 2*d - 3 = -d. Let n = -920304 - -8295811/9. Let z = 1455 - n. Is d greater than z?
False
Let s be (-3)/(-6) - (0 - 0). Suppose 3 = 6*w + 3*u, 61*w + u + 4 = 64*w. Which is smaller: w or s?
s
Let a = 255 + -6373/25. Let y = -13/475 + a. Suppose 3*l = 3*z, 0*z = 3*z + 3*l. Which is greater: z or y?
y
Suppose 0 = -300*l - 281*l. Which is smaller: 38/41 or l?
l
Let l = 6705 - 7811. Is l at most -5531/5?
False
Let l be (-19)/((-342)/(-1278)) + 1. Is l smaller than -126?
False
Let u be (0 + 2)*6/6. Suppose 3*h + u = p + 6, -h = p - 12. Let v(g) = g**2 - 9*g + 5. Let y be v(p). Do y and -0.3 have the same value?
False
Suppose -733 = -19*z - 752. Is 3/17006 at most z?
False
Let b = 1/11081 + -2781341/110810. Let o = -49/2 - b. Which is smaller: o or 2/21?
2/21
Let i be -8 - (-6 + 2)/(-1). Let z be (-8575)/150 - 2/i. Which is smaller: -56 or z?
z
Let y = 104 - 64. Suppose 10*d + y = 190. Which is greater: 22 or d?
22
Let z(g) = 88*g. Let i be z(0). Which is smaller: 58/51 or i?
i
Let o = 27829 + -31767. Is 0.1 smaller than o?
False
Let u = -3117 - -9190/3. Let v = u + 105/2. Do v and 0.1 have different values?
True
Let v = -4133 - -4310. Is -8 at least as big as v?
False
Let p be (-1467)/(-68 + 73 + (-7)/2). Is -972 <= p?
False
Let l = -28 - -43. Let g = -18 + l. Let n be (-1)/(-5) - g/(-510)*29. Is n less than -1?
False
Let i(l) = 242*l + 7184. Let z be i(-30). Which is bigger: -2664/35 or z?
z
Let c(x) = -4*x**2 + 51*x + 45. Let m be c(23). Is m smaller than -900?
False
Suppose 0 = 2*m + 4*h - 8, 4*m - h = 7*m - 2. Suppose 0 = -10*j + 15*j - 5. Let z be j/12 + (-1)/4. Which is bigger: m or z?
m
Suppose -5*i - 2*s = -30556, -3*i + 416*s - 421*s + 18326 = 0. Is 6111 at most i?
True
Let b = -236351/8 + 29543. Is -9/7 equal to b?
False
Suppose 2*o - 10 = z, -7*z - 15 = -12*z - 3*o. Which is smaller: z or 15/454?
z
Let k = 65 + -64. Let n be 4172/8 - (4/8 - k). Suppose -12*t + n = -606. Are 95 and t nonequal?
True
Let f be (-2 + 106 + 2)/2. Let r be 896/3808 - 931/(-17). Which is greater: r or f?
r
Suppose 0 = 5*r - 7 + 22, -2*g = -r - 11. Suppose g*f - 24 = -0. Suppose 0 = f*k - 7*k. Does -1/29 = k?
False
Suppose 0 = -76*p + 77*p - 2*f - 333, -5*p - 4*f = -1763. Which is bigger: 340 or p?
p
Suppose n + 4*x - 41 = 0, -4*x = 5*n - 185 - 84. Suppose 360 = -3*z - 3*r, -2*r + 560 = -5*z + 3*r. Let c be -1*z/(-8)*-4. Which is smaller: n or c?
n
Let g(n) = n**2 - 35*n - 18. Let i be g(26). Let r be (-6)/(-27) + (-376)/i + 1. Is r at most as big as 2?
False
Suppose 0 = -4*q + y + 2581, -q - 2290 = -4*y - 2939. Are 660 and q unequal?
True
Suppose -6*t + 2*b = -5*t - 20, -t + 17 = -b. Suppose -11*h = -13*h - t. Which is smaller: -45/7 or h?
h
Suppose 37*p - 17*p - 30*p = 0. Is p bigger than -228?
True
Let v = 291 - 597. Let p = v + 429. Let g be p/(-39) + 10/65. Is -7/4 greater than or equal to g?
True
Let d = 222 + -320. Let w = 100 + d. Which is greater: w or -2?
w
Let l(f) = -2*f**2 + 102*f + 45. Let v be l(0). Is v greater than 14?
True
Let x = -24.55 - -24.35. Is 1635/11 bigger than x?
True
Suppose 126 = 13*p - 20*p. Let r = -18 - p. Suppose -5*n + 4*k - 86 = r, -3*k + 20 = 2*k. Is n at most as big as -1?
True
Suppose 2*z + 300 = 17*z. Let x be (z/8)/((-7)/28). Is x <= -37/4?
True
Let h = -2554 + -1448. Is -4001 at least as big as h?
True
Let g be (-33)/(-550)*5*(-10)/6. Suppose -3*i - 1188 = 3*r, -3*r - i = -0*r + 1196. Which is smaller: r or g?
r
Let w = -9462.99 + 9463. Which is smaller: -1176 or w?
-1176
Let u = -4.654 + -6935.346. Is u at most -1/4?
True
Let c(g) = 62*g + 6581. Let x be c(-82). Which is bigger: 1498 or x?
1498
Let c = -10689.7 + 11193. Let l = 504 - c. Which is smaller: l or 1.3?
l
Let v = -4502.31 + 4503. Is 3 bigger than v?
True
Suppose -24026*y = -23992*y + 408. Let n(q) = 2*q**2 + q - 2. Let m be n(-2). Suppose -r - 18 + m = 0. Which is bigger: r or y?
y
Let m = -115 + 115.142. Let r = -65.358 - m. Let v = r + 62. Is v at least -1?
False
Let t = -238.2974 + 238.3. Does t = -5?
False
Let d = 14 - 205. Let t = -203 - d. Are t and -12 nonequal?
False
Let d = 129 + -212. Let y = d + 78. Let o = -108 - -106. Which is greater: y or o?
o
Suppose -22 = -16*c + 17*c. Let r = -22 - c. Suppose r = -14*d + 15*d + 8. Are d and -7 unequal?
True
Let r(k) = -k**3 + 8*k**2 - 8*k + 14. Let w be r(7). Suppose -w*d - 200 = -15*d. Suppose -4*z - d = 27. Is -13 less than z?
False
Suppose 3*w - 2485 - 7514 = 3*g, -3 = -g. Which is greater: 3333 or w?
w
Let v = -3180 - -3180.02. Is v > 304?
False
Suppose 3*b = -0*b + n - 779, 4*n = b + 267. Let s = 219 + b. Let z = 102 - 143. Which is smaller: z or s?
z
Let v(l) = -6*l - 13*l + 10*l + 45 - 6*l. Let r be v(3). Which is smaller: 34/55 or r?
r
Let k = 793 - 722. Is -2 greater than k?
False
Let s = -346 - -9687/28. Let q(k) = -4*k**3 + k**2 + 2*k + 1. Let p be q(-1). Suppose p + 0 = 4*l. Which is smaller: s or l?
s
Let t = 10 - 7. Suppose t*o + 11 = 2*o. Suppose -592*n + 1214*n = 598*n - 384. Which is greater: n or o?
o
Let y = 459 + -459.002. Let h = -0.618 + y. Let c = 0.08 + 0.02. Is c less than h?
False
Let l = 7260 - 7260. Is 20/163 greater than l?
True
Let l(c) = c**3 + 8*c**2 - 3*c - 19. Let f be l(-8). Let r be (-3 - -1) + -1 + f. Suppose -2*a + 6 = 4*v, 17 = 5*v + 4*a + r. Which is bigger: -0.06 or v?
-0.06
Suppose -2*j = 3*b - 12, -j + 3*b = -6 - 0. Suppose -2850 = -0*k + j*k. Let p be 3/(-1)*(k/30)/(-19). Is p bigger than -2?
False
Suppose 3*d + 2*s = 19, s = -d - 3*s + 23. Let n(x) be the first derivative of x**3/3 - 2*x**2 + 10*x - 227. Let r be n(d). Which is greater: r or 6?
r
Let m(k) = k**2 - 5*k - 3. Let c be m(5). Let t be c*(0 + 12/(-15)). Let u(s) = 58*s - 1157. Let x be u(20). Which is bigger: t or x?
x
Let y be (-100953)/252720 + -2*(-1)/5. Which is smaller: y or 0?
0
Suppose -4*y + 12 = 4*d, 0 = -y + 4*d - 2*d - 6. Let b = -4.818 - -4.639. Which is greater: y or b?
y
Let a(h) be the first derivative of -h**4/4 + 7*h**3/3 + 5*h**2/2 - 36*h + 36. Let b be a(7). Are b and 2/39 non-equal?
True
Let k = 2/89895 + -187648/353197455. Which is smaller: k or 1?
k
Suppose 4*f + 0*f - 849 = 5*d, 3*d = -15. Let m = f - 207. Which is greater: m or -1/43?
-1/43
Let f be 2 + ((-14)/4)/(-1)*-2. Let v(a) = a**3 + 8*a**2 + 6*a + 7. Let u be v(f). Let m be (-4 - u/(-12))*-3*1. Which is smaller: m or -2?
-2
Let g(s) = -s**3 - 3*s**2 + 34*s - 5. Let v be g(7). Let k = v - -5655/22. Is k at most as big as 1?
True
Let u be (-6 - -5) + (-7)/(12278/(-1600)). Let w = u - -292893/648980. Let s = w - 7/20. Which is smaller: s or 1?
s
Let p = -101/24 - -39/8. Let c be (-21)/(-2)*(486/72 + -7 - 165/(-20)). Is p at least as big as c?
False
Let s be 4/(-92) - 4050/(-575). Let i(p) = p**2 + 3*p - 5. Let d be i(-5). Suppose -2 = -s*m + d. Which is greater: 17/10 or m?
17/10
Let d(b) = b**2 - 4*b + 4. Let c be d(3). Let u be (4/294)/((-3)/6 + 0). Let n = -208/441 - u. Which is smaller: c or n?
n
Let y = -13351/1886247 + 5/803. Is -1 at least as big as y?
False
Suppose 207*j - 225120 = -150*j - 45*j. Which is bigger: 2796/5 or j?
j
Let k(s) = -s**2 - 16*s + 4. Let z be k(-16). Suppose 3*g + 128 = z*q - 0*q, 0 = 5*g - 3*q + 195. Let r = -21 - g. Which is smaller: r or 14?
14
Let k(p) = -31*p + 169. Let a be k(8). Let i be (-7 + 2 - -4)/2. Is i equal to a?
False
Let t(h) = -h - 31. Let s be t(-11). Let m be -24*(-4)/s + 5. Which is smaller: m or 0?
0
Let b = 179 - 63. Suppose -n + 0*n = -2*j + b, -12 = -4*j. Let h = -768/7 - n. Is -1/45 <= h?
True
Let s = 21850 - 87835/4. Suppose 0 = -1367*v + 1361*v - 648. Which is smaller: s or v?
s
Let b be ((-33)/110)/((-10)/8). Let f = 16/275 - b. Which is smaller: 0.045 or f?
f
Let c be 2 + (2 + 3 - -6). Let s be (-53)/(-2)*((-10)/(-4) + -2). Are s and c non-equal?
True
Suppose -1087*u = -1079*u. Which is greater: u or -2/10071