q - 1 = 0, 0 = -2*n + q + 2*q - 23. Let s be 7*(-1)/n*48. Suppose -s = -m - m. Is m less than or equal to 23?
False
Suppose 308*d - 1195974 = 39*d. Is 4446 equal to d?
True
Let j be -1*(19 + 96/(-8)). Which is greater: j or -41/7?
-41/7
Let p = -17583.4 + 17584. Which is greater: p or -2169?
p
Let n(w) = -4*w - 8. Let r be n(-4). Let j be r/24 - 80/6. Let i be (-2)/((80/(-65))/(-8)). Do j and i have the same value?
True
Let h = -1.792 - -5.792. Which is bigger: h or -134?
h
Suppose 23*s - 64320 = 10325 - 9256. Is 2842 at least as big as s?
False
Let t(h) = h**3 - h**2 - 2. Let i be t(2). Let y be (-220)/176*i/3. Is 0 at least y?
True
Let s = 245 + -241. Suppose -n - s*k = 32, -k = -0*n + 3*n + 74. Which is greater: n or -23?
-23
Suppose 40504 = -25*t + 39429. Which is smaller: -177 or t?
-177
Suppose -14*v - 76 = -482. Suppose -2*j + 41 = v. Is -29 equal to j?
False
Let w(n) = -611*n**3 - 20*n**2 + 42. Let h be w(-4). Does 38826 = h?
True
Suppose -5*r + 27 = v - 4, -24 = -4*v + 5*r. Let m(w) = 2*w**2 + w + 1. Let u be m(-1). Let c be (v/u)/((-4)/24). Is c > -35?
True
Let n be 8/(-36) - (1 + 10160/(-8298)). Let w = n + -1027/48405. Which is greater: w or 1?
1
Suppose 6*v = 12 - 18. Let a(x) = -x**3 - x**2 + 9*x - 11. Let t be a(-8). Let m be 1/6 + t/(-1470). Which is bigger: m or v?
m
Let y(r) = -39*r + 6. Let a be (-2)/(-1) - -3 - 3. Let l be y(a). Let b be (6/l)/(3/8). Is 7 < b?
False
Let s = 5423 + -5013. Does s = 1/4?
False
Let h = 508 - 483. Suppose 4*o - 3*o + 3*p = -28, -5*p - h = 0. Is o less than -41/3?
False
Let d = 914/737 - 10/67. Let n(k) = -400 + 28*k + 327 + 3*k**2 - 2*k**2 - 2*k**2. Let v be n(25). Is d at most as big as v?
True
Let h(a) = a**3 + 70*a**2 - 70*a + 73. Let x be h(-71). Which is smaller: x or -1/76?
-1/76
Let j = 0.226 - 0.2585. Let v = j - -3.5125. Does v = 0.1?
False
Let y be ((-99)/18 - -7)*10/(-3). Let x be (90/36)/(y/(-2)). Let c = 5.35 - 5. Which is smaller: x or c?
c
Let i = 5303 + -5302.33. Is 38 < i?
False
Let h = -1.668 - -1.468. Which is smaller: h or 0.0607?
h
Suppose 0 = -3*r + 2*l + 307 + 149, 608 = 4*r - 5*l. Which is smaller: 144 or r?
144
Let s = 4960 + -5071. Which is greater: s or -661/6?
-661/6
Let s be -5 - (-5)/(15/(-207))*(-111)/1533. Is 0 <= s?
False
Let h = 27207185/598 + -45497. Which is smaller: 0 or h?
h
Suppose 3*u = j + 23, 2*u + 1 + 1 = 5*j. Suppose -h = 4*f - 40, 3*h - 35 = -4*f + u*f. Suppose 4*t + h = -w, 3*t - 4*t = -w + 5. Which is smaller: -3 or t?
t
Let w be (-3)/(2 + 0 - 633/312). Let h be w/(-10) + (-10)/(-25). Let m be h/15*2 + (-104)/(-6). Which is bigger: m or 59/4?
m
Let f = 47159 - 47166. Let m(i) = 3*i**2 + 6*i + 3. Let g(t) = 7*t**2 + 12*t + 6. Let y(r) = -2*g(r) + 5*m(r). Let z be y(-5). Is z smaller than f?
False
Let b = 117.2 - 170.8. Is b smaller than -1/4?
True
Suppose 2*b = -37*v + 41*v - 474, 4*v - 465 = -b. Is 117 at least v?
True
Let q(x) = -16*x - 1. Let u be q(-1). Let v(h) = 3*h + 7. Let k be v(-5). Let j be (-3)/(-2) + 287/14 + k. Which is smaller: u or j?
j
Let f be (205400/(-445) - -7)/7. Let t = f - -453/7. Is t greater than or equal to -1?
True
Let q(y) = 211*y + 1428. Let a be q(-7). Is a at least -44?
False
Let c be (86/13)/(6/78). Is 98 != c?
True
Let n(b) = -b**2 - 46*b + 3071. Let m be n(37). Which is bigger: -28/823 or m?
m
Let w(u) = -30*u + 77. Let t be w(12). Let g = t + 283. Is 82 < g?
False
Let z = -116.1 + 116.11. Which is smaller: z or 0.486?
z
Let u = -28869 + 28869. Are u and -2/14771 equal?
False
Let w = 163 - 161.36. Let g = w - 1.84. Which is bigger: -0.15 or g?
-0.15
Let q = -6 - 30. Suppose 5*l - 30 = 3*p + 90, -5*p - 3*l = 166. Is q <= p?
True
Let k = 26 - 36. Let j = k - -13. Let m = 242.03 - 242. Which is greater: m or j?
j
Let y(a) = 2*a**2 + 6*a - 58. Let r be y(-9). Let i = r + -93. Which is smaller: i or -46?
-46
Suppose 20*w - 882 - 578 = 0. Suppose 17 = -8*i + w. Is i at least 6?
True
Let c be 16/(-18) - (-14)/(-126). Is -2/2037 at most c?
False
Let b be ((-42)/35)/((-10)/(-25))*(-5)/(-35). Let j = 0.8 + -0.2. Let z = j + -0.3. Which is smaller: z or b?
b
Let w = -500 - -679. Let c = w + 40. Is c bigger than 218?
True
Let l be 227*((-300)/(-250))/(4/(-3) - -2). Which is smaller: 408 or l?
408
Let d = 7852 + -7852. Which is smaller: 13/482 or d?
d
Let i = -0.053 - 351.947. Let s = -351.8 - i. Are -6 and s equal?
False
Let a be -4 - (-3)/((-186)/(-254)). Suppose -3*g + 2*u = -155, -2*u = 5*g - 5*u - 260. Let s = 55 - g. Which is bigger: a or s?
a
Let a be (-40)/6*-1 + 28/(-42). Let d = a + -8. Which is smaller: d or -11?
-11
Suppose -3*w + 177 - 174 = 0. Let j = 529382/173 + -3060. Which is bigger: w or j?
w
Let a = 20.6 + 5.4. Let p = -59 + a. Let c = p - -16. Which is smaller: -0.1 or c?
c
Let c be ((-24)/(-24))/((-2)/22). Let y(k) = k**3 + 12*k**2 + 11*k - 14. Let o be y(c). Are o and -16 nonequal?
True
Let p(l) = -2*l + 5. Let f be p(4). Let x be 8 + f - (-4 + 4). Let i be -1*(-1 - -5 - x). Does 4/3 = i?
False
Suppose 7*i + 2*i + 19*i = -212940. Is -7605 smaller than i?
False
Let n be (1 + 0)/(1/5). Suppose -36*z + 556 = 124. Let a be (-2)/7*(-2 - z). Which is bigger: a or n?
n
Let z = -952.9 + 922. Let r = 30.9 + z. Let a = 0.03 - -0.27. Which is bigger: r or a?
a
Let b(a) = a**2 - 4*a - 9. Let n be b(6). Let r be ((-25)/(-20))/(n/24). Suppose -r = -z - 20. Which is smaller: -9 or z?
z
Suppose 91*n + 5704 + 5262 = -11238. Which is smaller: -216 or n?
n
Let h = -2091 - -2028. Let w be (-61)/(2 - (-1 + 2)). Which is smaller: w or h?
h
Let z = 116.6 + -115.42. Is -0.02 at most as big as z?
True
Let y(s) = -712*s + 1424. Let o be y(2). Which is smaller: o or 43/222?
o
Suppose 259*u = -61 - 198. Which is smaller: u or -1/1366?
u
Let q be 4 - (-342030)/(-62244) - (-3)/2. Suppose p = -2*p. Is q < p?
False
Let o be 25575/22*32/(-24). Does o = -1550?
True
Let j be (-14468)/(-118)*(-236031)/25020. Let s = 3/82010 + j. Let b = s + 1146. Is b smaller than -11?
False
Let q be (-7367)/1166*(1/19 - 0). Let z = q - -5/22. Which is bigger: z or -7?
z
Suppose -97 = 4*i - x, i - 2*x + 13 = -6. Suppose -27 - 45 = 3*o - 3*f, o - 5*f = -36. Let y = i - o. Which is smaller: y or -3?
y
Suppose z + 12*z = 65. Suppose 3*v = z*j + 304, 33 + 75 = v - 3*j. Is v not equal to 95?
True
Let r = 4.7 - 5. Let h = 6.06 + 1.24. Let k = r + h. Is k <= -1?
False
Let z = -10 - -8.34. Let a = -36.34 + z. Are 1 and a equal?
False
Let o be 98/(-42)*(1 + -4). Let g be o/10 + (-2)/10. Let h = -40 + 42.1. Does g = h?
False
Let i = 28865 + -28868. Which is smaller: 2215 or i?
i
Let r(y) = -y**3 + 23*y**2 - 23*y + 12. Let p be r(22). Let s be (2/p)/((-41)/(-5) + -8). Let x be 9/(-5)*(-1)/6. Is s < x?
True
Let g = 7.282 + -0.002. Let z = -7.38 + g. Which is smaller: -317 or z?
-317
Suppose -4*p + 2*w = 1044, 1322 = 20*p - 25*p - 6*w. Is p smaller than -5/16?
True
Suppose 35*c = 38*c + 156. Let r = 68 - c. Suppose -5*w = -6*w + 119. Is r < w?
False
Let d be 10/(-10) + 3 + 2. Suppose d*p + 3*w - 305 + 7 = 0, 3*p = w + 230. Is p at most as big as 77?
True
Suppose -i = 4 + 5. Suppose u = -4*b - 13, -3*u - 4*b - 6 = 1. Let z = u - 23/2. Which is greater: z or i?
z
Suppose -2*d - 5330 = -5*g, -20*g + 15*g - 2650 = d. Let n = 50551/19 + d. Which is smaller: 0 or n?
0
Let i(x) = -4*x**3 + x**2 + x + 2. Let k be i(2). Suppose 4*r + 68 = -4*c, 0 = 5*c - 49*r + 50*r + 57. Let v = c - k. Which is smaller: 12 or v?
12
Suppose -3*m + 11 = -2*h, -2*m + 0 = 5*h - 1. Let k = 183 + -309. Let z be h/((-14)/4) + k/98. Does z = 2/131?
False
Let x = -1456 - -1680. Which is greater: -2/27 or x?
x
Let x(v) = -29*v - 409. Let c be (5/(-10)*-1)/(5/(-140)). Let m be x(c). Which is bigger: m or 1.04?
1.04
Let b = 189 + -206. Let s = -81 - b. Is -1/4 smaller than s?
False
Let a = -8424797/19130 - 11/3826. Which is greater: a or -440?
-440
Let y be (-628)/(-20) - 2/5. Let k = 2542 + -2508. Is k at most as big as y?
False
Let p = -17803.2 + 17803. Are p and 7.577 unequal?
True
Let c(l) = -l**2 - 17*l + 40. Let p(f) = -4*f - 3. Let h be p(4). Let s be c(h). Suppose s - 1 = q. Are -2/93 and q non-equal?
True
Let k = -39004 + 39003. Which is bigger: k or 2/7937?
2/7937
Let t be (42/9)/(2/60). Suppose -i + t = -5*i. Suppose 3528 = 57*z - 155*z. Is i < z?
False
Let n = 55 + -51. Suppose -30 = -n*k -