= -377 - -422. Suppose -19*h - 620 = v. Is h at least -372/11?
False
Let i(b) = -b**3 + 76*b**2 - 82*b + 525. Let j be i(75). Which is smaller: j or 2/39505?
j
Let x = -742 - -737.05. Let q = 3.95 + x. Is 535 at most q?
False
Let i = -0.00994 + 8.00994. Is i less than 0.0196?
False
Let j(f) = 3*f**2 + 24*f + 15. Let u be j(-10). Let y = u - 5. Let k be 9/(45/y) + 3. Which is bigger: k or 20?
20
Let j be (12/(-18))/((-2)/6). Let i be 1 - (-11 + (j - 6)). Which is greater: 19 or i?
19
Let i be -95 + 2*(15/(-10) - -2). Let v be 80/600 - i/(-480). Let z(q) = -q**3 + 6*q**2 - 2. Let b be z(6). Do b and v have the same value?
False
Suppose -12751 = 47*o + 22499. Does o = -756?
False
Let t(h) = -h**2 + 6*h + 1. Let o be t(4). Let p = -0.123 + -43.877. Let m = 43 + p. Which is greater: o or m?
o
Let g(b) = 2*b**3 - 2 + 10 + 14*b**2 + 8*b + 0 + b**2. Let z be g(-7). Is 0.32 smaller than z?
True
Let t(v) = 40*v + 601. Let s be t(-15). Let q be 11/(-88) + (-122)/(-592). Which is bigger: q or s?
s
Let d be 40/24 + -1 + (-14)/21. Let i(r) = -r + 2. Let n be i(5). Are d and n nonequal?
True
Let v be -174 - (1 + 2 + -2)*1. Let m be ((-8)/(-3))/(v/(-15) + -11). Let z(u) = u**2 - u + 2. Let y be z(4). Which is greater: y or m?
y
Suppose 2*c = 5*c - 24. Let d(i) = -148*i**2 + 18*i - 141*i**2 + 287*i**2. Let n be d(c). Which is smaller: 17 or n?
n
Let y = 41724 + -7218. Is 34507 at most as big as y?
False
Suppose -22*h - 51 = 129 + 40. Suppose -18 = 4*k - 2*k. Which is greater: h or k?
k
Let h(p) = -p**2 + 66*p - 1021. Let j be h(26). Which is bigger: j or 56/3?
j
Let x = 4.97 + -3.97. Let f = 0.238 + 12.762. Which is greater: x or f?
f
Let b(g) = -1651*g - 6591. Let d be b(-4). Let f be 54/(-1)*-1 - 2. Suppose v - f = -3*v. Is d at most v?
True
Let x = 7421 - 5426. Which is bigger: -1 or x?
x
Let b be (-48)/120 - (-3)/((-60)/33052). Which is smaller: -1655 or b?
-1655
Let s = -327 - -935. Let c = -467 + s. Which is smaller: 142 or c?
c
Let v = 0.35 + 0.05. Suppose 4*u + 78 = -2*x, 0 = 57*x - 53*x + 3*u + 261. Which is smaller: v or x?
x
Let l be 0 - 1/3 - -1. Let m = 414 + -354. Let c = 81 - m. Which is smaller: c or l?
l
Let k = 2452 + -53909/22. Is k greater than or equal to 1?
True
Let l = -77731/3047 - 60/277. Which is smaller: -27 or l?
-27
Let j be -20*278/3698790*(-4)/6. Which is greater: j or -1?
j
Let k = -3.615 + 3.88. Let j = 0.165 - k. Which is bigger: j or -0.09?
-0.09
Let o(j) = 2*j**3 - 116*j**2 - 42*j - 212. Let d be o(58). Which is smaller: d or -2646?
d
Suppose 514*h - 10 = 516*h. Let n be h + (-1)/(534/(-2658)). Is 1 != n?
True
Suppose 15 + 64 = -79*k. Is 2/12747 > k?
True
Let w = 48.95 - -1366.15. Let l = 1340 - w. Let g = -75 - l. Do g and 2/7 have the same value?
False
Let f = -349 + 75. Let o = f - -273.82. Which is smaller: o or 0.06?
o
Let b = -8 + 13. Suppose 2*d = 0, b*d - 8 = -f - f. Let j = 26654 + -26657. Which is greater: f or j?
f
Let y(i) = i**3 - 6*i - 1. Let n be y(3). Suppose 0 = 9*p - 26 + n. Suppose h + 6 = -2*w, p*h = -2*w + 3 - 9. Which is greater: w or -2?
-2
Let i = 199 + -197. Let k(y) = -y**3 - 4*y**2 + 2*y + 3. Let l be k(-3). Let m = -38/3 - l. Which is greater: i or m?
i
Let c(r) = -181*r - 2. Let j be c(-1). Let p = -899/5 + j. Let q = 115 - 117. Are q and p nonequal?
True
Let h be -1 - -12 - 2934/163. Let v be (-112)/12*(-7)/(-8). Which is bigger: h or v?
h
Let i = 774305.251 - 773937. Let h = i + 0.749. Which is greater: 2/7 or h?
h
Let v be (4/(-23))/((-2)/(-15)). Let n(b) = -99*b - 4160. Let u be n(-42). Do u and v have the same value?
False
Let o(p) = 33*p**2 + 1. Let c be o(1). Let f = 549 - 547. Let j be (-12)/(-8)*f + c. Is j at most as big as 38?
True
Let z be (-207)/5 + 8/20. Let g be -21 + 12 + -9 - (2 - 0). Let t = g - z. Which is smaller: 2/7 or t?
2/7
Let m(i) = 2*i**3 + 2*i**2 - i. Let f be m(1). Suppose -f*z = -11*z - 24. Let g = 43/3 + -17. Is g at most as big as z?
False
Let p(c) = -c**2 - 7*c - 8. Let o be p(-6). Suppose 0 = 338*l - 329*l - 72. Suppose -y = -a + 1, -6*y + 14 = -l*y - 2*a. Which is greater: o or y?
o
Suppose 0 = -0*r - 2*r + 194. Let w be (480/(-168))/(-3 + (-104)/(-35)). Is r less than w?
True
Suppose -5*m + 1614 = -2*z, 5*m = -5*z + 396 + 1239. Let r be m/(-322) - 1/(-1). Is -1 at least as big as r?
False
Suppose -559 = 3*b + 10*b. Let r be b*(-18)/12*2. Let s = 126 - r. Which is smaller: s or -30/13?
s
Let n = -6/983 + 84556/2949. Is 28 less than n?
True
Let p = -133 - -94. Let v be (1937/p)/(8/(-6)). Let f = v + -39. Is -3 not equal to f?
True
Let z be -365 + 392 + 0 + -27. Let p = -8/9 + 2/9. Are z and p nonequal?
True
Suppose 0 = 181*n + 465 + 508 + 475. Is n less than or equal to 0.0004?
True
Suppose -676*q + 240 = -680*q. Let v be (q/(-25) - 4)/((-2)/(-5)). Let m(h) = -2*h + 9. Let g be m(6). Is g equal to v?
False
Suppose 22 - 2 = 4*p. Let s = -631 + 636. Is s at most as big as p?
True
Let q = 2.2 - 6.7. Let r = -544.4 + 540. Let n = r - q. Which is bigger: n or 1.6?
1.6
Let n = -4167.389 + 4165. Does 2/3 = n?
False
Let a(m) = 3*m**3 - 3*m**2 - m. Let q be a(4). Suppose 20*o - 15*o = -q. Is o less than -30?
False
Let l = 0.01985 + -475.21985. Let b = l - -430. Which is greater: -0.1 or b?
-0.1
Let w = 1.1731 + -13.8731. Are 42 and w non-equal?
True
Suppose -289 + 4139 = -35*p. Let d be (p/(-4))/(-5)*6. Which is smaller: -28 or d?
d
Suppose -80*t + 91*t + 11 = 0. Is t less than 62?
True
Suppose -41*s + 11 = -40*s - w, -3*s + 2*w = -32. Let m(y) = 2*y - 4. Let o be m(8). Is s < o?
True
Let b = 36 + -23. Let l(a) = a**3 - 13*a**2 + a - 10. Let x be l(b). Let r be -7 + x + (-4)/2. Are -6 and r nonequal?
False
Let r = -0.2211 - -0.2411. Which is smaller: r or 131?
r
Let u(j) be the third derivative of -j**6/120 - j**5/60 + 9*j**4/8 - 7*j**3/3 + 8*j**2 + 6*j. Let a be u(-6). Is a not equal to 16?
True
Let z be (-130675)/10890 + 4 - (5 - 13). Which is smaller: z or 0?
0
Let l(w) = 5*w**2 + 16*w - 14. Let t be l(-10). Let g = t + -325. Is 1/83 less than g?
True
Suppose 2686 = -5*d - 5*l + 161, 0 = -3*l + 15. Let h = -3107 - -2598. Which is bigger: d or h?
h
Let w(c) = -c**2 + 87*c - 1193. Let t be w(70). Which is smaller: t or 1156?
t
Suppose 76*g - 88 - 140 = 0. Let k = 3.1 - -8.9. Let m = k + -15. Is g > m?
True
Let w = -196 + 195.0075. Let g = w + -0.0075. Are g and 14 nonequal?
True
Suppose 12 = f + 3*z, 18*f - 13*f - 98 = 4*z. Which is greater: f or 20?
20
Let d be 2*350/(-125)*75/12. Which is bigger: d or -36?
d
Let o be 2 + (-6 - 7456/(-746)) - 6. Let a = -1 - -2. Is a less than or equal to o?
False
Suppose -663 = -4*q + 145. Which is smaller: q or 167?
167
Let l = -21.2 - -21. Let b = -23.97 - -24.3. Which is smaller: b or l?
l
Let x be 427/644 - (-72)/828. Which is smaller: 3750 or x?
x
Let d be (5/3)/5*(-495)/(-119680). Which is smaller: -1 or d?
-1
Let y be -3 - -3*(-5 - -6)*341 - -5. Is 1025 >= y?
True
Suppose 96*r - 30800 = 27*r - 43*r. Which is greater: r or 273?
r
Let o = -121 - -54. Let c = 42 - o. Is c less than or equal to 111?
True
Let t be 6/376*4232/(-36). Let a = 88/47 + t. Which is smaller: a or -1?
-1
Let k = 337 - 328. Suppose l = 2*n - 22, 0*l = n - 2*l - 14. Which is smaller: k or n?
k
Let k be -1*3 + (-15042)/109. Which is bigger: -161 or k?
k
Suppose 0 = 5*z - 7 + 32. Let x = 696 - 3499/5. Are x and z equal?
False
Let p = 6.6 + -3.4. Let h = 81.2 - p. Let u = 78.28 - h. Is 1 less than or equal to u?
False
Let q(c) = c**2 + 19*c. Let n be q(-19). Suppose b - 52 + 35 = n. Let a = -0.2 + 0.1. Is b smaller than a?
False
Suppose 13*q - 420 = 3*q. Let d = q - 38. Let o be (0 - d/25) + 0. Is o greater than or equal to 1?
False
Suppose -18*t + 4404 = -79*t + 4465. Let a be (-378)/382 + (1 - 0). Which is greater: t or a?
t
Let m = 3226 + -3349. Is m bigger than -122?
False
Suppose -11*o - 2663 = 21*o + 3353. Is o at least -188?
True
Suppose 123*n - 35*n = -324720. Is -3689 at most n?
False
Let l(h) = 2571*h - 386. Let b be l(2). Which is smaller: b or 4754?
4754
Suppose -465 = -5*h + 5*q, -2*h + 5*q = -0*q - 186. Is h less than 99?
True
Let y be (4/(-3))/(262/242085). Let q = y - -1232. Suppose -3*n = 0, 3*l = 3*n - n. Which is greater: l or q?
q
Suppose -3*c = 4*p - 598, -5*c - 25*p = -30*p - 985. Is 183 less than c?
True
Suppose -12*d + 11 = -d. Suppos