?
False
Let j = 9 - -30. Suppose 4*y + 263 = s, -y = -s - s + 64. Let t be 840/22 + 12/y. Is t at least j?
False
Suppose 0 = -0*u + u + 3. Let w(n) = 3*n + 19. Let o be w(-7). Is o greater than u?
True
Let o(n) = -2*n**3 - 16*n**2 + 4*n + 32. Let c be o(-8). Are -100/333 and c equal?
False
Suppose -46*o + 41*o - 8847 = -i, 5*o - 5*i = -8835. Let h be (3/(-9))/((-2)/o). Is -295 smaller than h?
False
Let x = 142.573 - 110.01. Let t = x + -32.7. Let q = -4.137 - t. Do 5 and q have the same value?
False
Suppose 2*d - 1 + 7 = 0. Let r = -12 + d. Let l = -4080 + 4079.8. Which is smaller: l or r?
r
Let z = -895 + 901. Let h be -174*(((-243)/z)/(-9) + -4). Which is greater: h or -88?
h
Let i = 0.1456 + -1.2425. Let g = 0.0969 + i. Is g greater than 46?
False
Suppose 4*f - 35 + 15 = 0. Let w be f/10*-6 + -2 + 3. Is w greater than or equal to -24/25?
False
Let l = 874 - 659. Let i = l + -214.962. Which is smaller: -0.03 or i?
-0.03
Let f = -41669/2 - -20236. Which is smaller: f or -599?
-599
Let y be -1*(-1 - -8) + 59/5964*708. Suppose 0 = -3*q - 0 + 3. Which is smaller: q or y?
y
Let s = 311.154 - 308.76. Which is greater: 0 or s?
s
Let i = -81.5263 + -0.1737. Let u = i + 28.7. Which is greater: u or 1?
1
Suppose 4*m = 3 + 49. Suppose 0 = -m*s - 0*s + 1183. Let c = 91 - s. Does -5 = c?
False
Suppose 40*t - 35*t + f = -3892, 0 = -t + 3*f - 772. Which is smaller: t or -1555/2?
t
Let b = -3547 - -4663. Does b = 1117?
False
Let y = 425 - 384. Let s be (-24)/160*y + 6. Suppose 6 = 5*l - 9, -3*l = 4*i - 13. Which is smaller: s or i?
s
Suppose 2349386 + 890039 + 835679 = 272*r. Is r less than or equal to 0?
False
Suppose -3*u - 5*u = -888. Suppose -u = -2*p + 43. Let o be 2/7 + (-22)/p. Is o bigger than -2/25?
True
Suppose s = -7*s + 2*s. Suppose 36*q - 31*q + 75 = s. Let v be 5/20 - q/36. Which is bigger: 4/9 or v?
v
Let a be ((-4)/14)/((-319865)/(-931)). Is a less than or equal to -1?
False
Suppose -o - 43 = -54. Let n = 223 + -222.9. Which is smaller: n or o?
n
Let o = -9449 - -9607. Is 161 != o?
True
Suppose 0 = -50*i - 2563 - 4587. Is i at most -141?
True
Suppose 4*d = -d - 15. Let s = d + 7. Suppose -3*v - 105 = s*v. Is v greater than -14?
False
Let d be (-5 - -14)/(15/12 + -2). Let b(x) = -7*x + 89. Let i be b(d). Is i equal to 173?
True
Suppose l - 849 = 4*n - 100, 2*n + 377 = l. Let y be 60/n*(-5 - 273/(-55)). Which is smaller: y or -1?
-1
Let w = 6556 - 525. Which is bigger: -3 or w?
w
Suppose 18*y - 5302 = -1864. Let i = y + -76. Is i at most as big as 117?
True
Let j be ((-15)/(-9))/((-3)/((-540)/(-1095))). Is j bigger than 1?
False
Let y = 668 + -676. Let k(j) = j**2 - 12*j - 10. Let v be k(12). Let q = v + 11. Which is greater: y or q?
q
Suppose -j = -o + 28, 24*o - 23*o = 2*j + 30. Which is smaller: o or 627/23?
o
Suppose -12 - 6 = -9*u. Suppose -h + 12 = 3*f + u*h, 2*h - 8 = -3*f. Suppose 4*v + 5*v = f. Which is bigger: v or -3/28?
v
Let l = -27 + 45. Let w(d) = 0*d - 3 + 25*d + l - 10*d**2 - d**3. Let m be w(-12). Does 3 = m?
True
Let t(n) = 2*n**2 + 5*n + 5. Let g be t(-3). Suppose 239 = 5*x + a, -2*a + 149 = g*x - 5*x. Is 47 at most x?
True
Let d(s) = -51*s + 24*s + 9*s + 127. Let m be d(7). Which is greater: 2/487 or m?
m
Suppose 946*f = 971*f + 4700. Is f <= -183?
True
Let s = -714 + 226. Let x be s/8*-1 + -2. Are 61 and x non-equal?
True
Let i(x) = x**2 - 5*x - 16. Let c be i(9). Suppose 3*w - c = -w - 5*b, 0 = 3*w + 5*b - 10. Which is bigger: w or 2?
w
Let v be 3/10*(1 - 7). Suppose -3*i + 46 = 4*l, 17*l = -2*i + 21*l + 4. Suppose -21*f = -i*f + 33. Is v equal to f?
False
Let f be 32 + -30 - (1852/(-41382) - -2). Let k = f - 2/171. Which is smaller: -1 or k?
-1
Suppose -5880 = -26*y + 6*y. Let i = 288 - y. Which is smaller: -2 or i?
i
Let k(a) = a**2 + 12*a - 34. Let c be k(-14). Let q be 0/(12 + -5) - c/(-2). Let i be ((-150)/18 - -5)/((-2)/q). Is i at most -11/3?
True
Let v be (-3 - -121)/((-2)/1). Let n = -58 - v. Let f = 0.352 - -1.948. Is f greater than n?
True
Suppose 0 = -3*y - 2*d - 764, -6*y + 4*y - 496 = 4*d. Let u = y - -258. Is 10/29 equal to u?
False
Let n = -0.03367 + 0.03367. Is n greater than 105.7?
False
Let r be -5 + (-26145)/39 + -5*1. Let v = -681 - r. Is v greater than -2?
True
Let w(n) = -n**3 + n**2 + 2*n + 1. Let u be w(2). Let b = 239 + -105. Let g = b - 126. Which is smaller: u or g?
u
Suppose 4*d - 4*n - 3 - 13 = 0, -2*d + 4*n - 2 = 0. Let c be (4310/(-490) + d)/(4/2). Which is bigger: 0 or c?
c
Suppose 2*p + 2*p = 3*k + 11, 2*p - 4 = 2*k. Let w be 0*((-4 - -1) + 2) - k. Which is smaller: w or -13/7?
w
Let d(n) = 6*n - 15. Let c be d(-10). Let g be ((c/(-10))/((-6)/8))/1. Let m be ((-10)/(-25))/((-4)/g). Which is greater: 1/74 or m?
m
Let v be (-2 + 3)*1 - (-15 - -14). Suppose v*x + 5*q = 8 - 3, -4*x - 5*q + 15 = 0. Suppose -4*s = c - 24 + 2, 5*c - x*s = 10. Which is smaller: 3 or c?
3
Let k be (-19)/(190/370) + -20. Is -83 > k?
False
Suppose 36 = -4*w + 25*n - 27*n, -2*w + 5*n = 18. Let x(d) = d**2 + 14*d + 17. Let l be x(-14). Let i = l - 28. Is w > i?
True
Let w be (-8)/10*10/9. Let b be 36/(-21)*(34/(-4) - 2). Suppose -51*l = -33*l + b. Is w greater than or equal to l?
True
Suppose 5*o + 16 + 9 = 0. Let f = -255 - -251. Let z be -1*(o - f) - 2. Which is smaller: -3/50 or z?
z
Let l be -1 + (-5)/(-3)*3. Let u = -14134 - -56547/4. Is u not equal to l?
True
Let c(z) = 3*z + 18. Let o be c(-5). Suppose 0 = 6*m - o*m - 12. Let g be 239/(-44) + m/22. Which is smaller: -4 or g?
g
Suppose 2*a = -2*a + 5*n + 29, 5*a - n = 31. Let b = a + -4. Let g(s) = 23*s - 1055. Let f be g(46). Is f smaller than b?
False
Let o(s) = s**2 - 6*s - 14. Let j be (7*-2)/((-4)/2). Let b be o(j). Let r be 40/b + 4 - -2. Which is smaller: r or 0?
0
Let l = -70 - -72. Suppose -9*d - 469 = -l*d. Let v = d - -21. Which is smaller: v or -45?
v
Let i(f) = -6*f**2 - 3*f - 2. Suppose -u - 2*u + 105 = 0. Let k = 34 - u. Let o be i(k). Is o at most -7?
False
Let p be -11 - ((-49)/7 + 4). Let g be ((-4)/2)/(p*(-7)/28). Is -13/47 at most g?
False
Let m = 1783 + -769. Let j = -948 + m. Is 64 greater than or equal to j?
False
Let w = 2.7518 + -2.5518. Is 0.08088 at most w?
True
Let w be ((-196)/35 + 6)/(24/55). Let f = -233/84 + w. Which is bigger: -1 or f?
-1
Let l be ((-2)/10)/(122/1885510). Is -3091 at least as big as l?
True
Suppose 2*c = 4*d + 516, -c + 5*d + 152 = -103. Let m be 398/630 - 156/c. Is m bigger than 1?
False
Suppose -138 + 70 = -6*o - 74. Is 5/716 less than o?
False
Suppose 7*h - 36 = -2*h. Suppose -4*i + 2*g = 12, -h*g - 7 + 4 = i. Let p = i - 30. Which is smaller: -32 or p?
p
Let v = 1.0051 + -0.0051. Which is smaller: v or 2007?
v
Suppose 22*s = -51631 + 207589. Which is greater: s or 14179/2?
14179/2
Suppose -65*y - 72 = -71*y. Suppose -3*l + y = -x - 5, 3*l = 4*x + 14. Let m(p) = -p**3 - p**2 - 2*p - 2. Let s be m(-2). Is s at most l?
True
Let y = 3500 + -3431. Which is bigger: 5 or y?
y
Let k(u) = 9*u**2 - u - 1. Let m be k(-1). Let f = -172/19 + m. Suppose 6*p + 25*b + 26 = 23*b, -4*p + 2*b + 16 = 0. Which is smaller: f or p?
p
Suppose 25 = 4*r + 5*q, 2*q = 4*r - 10 - 8. Suppose -223*a = -220*a - 12. Suppose -5 = a*j + 3*s - 2*s, 3*j = s + r. Is 20/27 >= j?
True
Let q = -6677 - -6677. Which is bigger: 2/6261 or q?
2/6261
Let x be 80/56 - (-43104)/168. Which is smaller: 2/7 or x?
2/7
Let r = -839/75 - -93/25. Is r at most -4?
True
Let y = -262 + 272.3. Let f = 25.3 - y. Is f < 0.1?
False
Let r = 484109 - 6297165/13. Let w = -288 - r. Which is smaller: w or -1?
-1
Let t = 35 + -15. Let i be -9*-29*28/(-1218). Which is bigger: i or t?
t
Let z = -145 - -61. Let q = 64488 + -64572. Is z less than q?
False
Suppose -2*x = -2*j - 5*x, 5*j + 7 = -4*x. Let k be j*3/18 + 7/9. Is -1 greater than k?
False
Let b = -60 + 104. Let w be (-1)/(-3) - b/(-156). Suppose 0*p - 21*p + 242 = 200. Which is smaller: p or w?
w
Suppose 0 = -3*w - 2*t - 531, -3*t - 886 = -0*w + 5*w. Let z = w - -165. Is -13 greater than or equal to z?
True
Let k(t) = -3*t**2 + 0*t - 25*t + 4*t**2 - 91. Suppose -12 = -3*c + 2*g + 66, 0 = -5*g + 15. Let h be k(c). Which is bigger: h or -8?
h
Let c be (-12)/2 - -2*4347. Let d = 1520404/175 - c. Which is greater: 0 or d?
d
Let w = 184 - 27785/151. Suppose 2*q - q - 1 = 0. Is w < q?
True
Let c = -164 - -159. Let m be c/