 0. Let n be (q/(-15))/(9/((-450)/4)). Let b be r(n). Which is smaller: 0 or b?
0
Let d = -27 - -31. Let i be (4 + 0)/(0 - -6 - d). Let x be (62/4 + -4)*i. Which is bigger: x or 22?
x
Let p = -11727 - -10992. Which is bigger: p or -734?
-734
Suppose -10*h = 14 + 56. Let z(c) = -c**3 - 5*c**2 + 11*c - 10. Let r be z(h). Let f = -11 + r. Which is greater: f or 7/6?
7/6
Suppose 166*r = 163*r. Let h = -43 - 7. Let u be ((-4)/(-10))/(145/h). Is r smaller than u?
False
Let l be (-2)/(-4)*((-8)/(-10))/((-98)/245). Are 14/1139 and l equal?
False
Let x = -508 - -507. Let g be 0/(x*(9 - 7)). Is g <= 1/539?
True
Let l(q) be the second derivative of -q**4/12 + 3*q**3 - 33*q**2/2 - 6*q - 23. Suppose 5*y = -4*r + r + 43, -r = -4*y - 20. Let x be l(r). Is 1/72 at most x?
False
Let p = 493.06 + -493.3. Is 58 smaller than p?
False
Let x(q) = q**3 + 5*q**2 - 3*q - 10. Let c be x(-4). Suppose 3*l + 30 + c = 0. Let i be (14/(-4))/(4/(l/(-26))). Which is smaller: 0 or i?
i
Let d = 0.1 - 0. Let z = 0.2292 - 0.2162. Which is smaller: d or z?
z
Let v = 16999 + -13147. Which is smaller: v or -1?
-1
Suppose 4918 = 53*g + 51876. Is g <= -886?
True
Let j = 0.43 + -0.73. Suppose -m + 5*m = -2*u + 4, -m = -u + 2. Let v be u/8 + (-138)/72. Which is bigger: j or v?
j
Suppose 50*g + 4*k + 2006 = -220, -5*k - 195 = 5*g. Let d(j) = 39*j + 4. Let a be d(4). Suppose -5*y - a = 4*m, y + 221 = -m - 4*m. Are g and m non-equal?
False
Suppose 3*o + 4*z = -38, 0*z = 2*o + 3*z + 27. Let k be 3/(-2)*((-2416)/o)/(-8). Which is bigger: k or 77?
77
Let w(p) = -p**3 - 10*p**2 - 4*p + 6. Let t be w(-7). Let f = 848 + -961. Is t less than or equal to f?
True
Let m = 23 - 12. Let l(h) = h - 7. Let u be l(m). Let x be 42/(-45)*1/(49/(-252)). Which is greater: x or u?
x
Suppose -14*z = -6*z - 312. Let x = z - 34. Let t = -98 + x. Is -93 less than or equal to t?
True
Suppose -649*n + 625*n = 0. Does 1/7996 = n?
False
Let p = 142 - 129. Which is smaller: p or 157/12?
p
Suppose -s = -w + 4*w, 3*s = 0. Let f(m) = -m**2 + m + 3. Let q be f(w). Suppose -4924*l + 170 - 626 = -5038*l. Which is bigger: l or q?
l
Let r(j) = -131*j + 2096. Let l be r(16). Which is bigger: l or -21/772?
l
Let g = -10.4414 - -1.4414. Do 4/3 and g have different values?
True
Let m = 4784 + -4742. Are 203/5 and m non-equal?
True
Let n = 74 - 74.103. Let r be (-91)/(-147) - -1*(-2)/6. Is n != r?
True
Let y be (2/(-47))/(1*-2). Suppose 923*q + 1002*q + 727 = 455*q - 743. Do y and q have different values?
True
Let r = 33926271/11 - 3081897. Is 2308 at least as big as r?
False
Let q(b) = 38*b - 176. Let u be q(7). Let c be (-182)/26 + -2 + u. Which is smaller: c or 82?
c
Let d be 0/(-4) + 352 + (0 - -1). Let h = 310 - d. Which is greater: -47 or h?
h
Let g = 45 + -56.2. Let u = 11.2 + g. Let i = -23.9 - 4.1. Is i < u?
True
Let i(n) = 2*n**3 + 5*n**2 - 2*n - 7. Let g be i(-3). Let q be (-2)/(-7) - g/14. Which is greater: 6/19 or q?
q
Let a(z) be the second derivative of -3*z**3/2 + 65*z**2 + 259*z. Let u be a(13). Is 4 not equal to u?
True
Let d = 125 + -125. Suppose -3 = -5*o - 33. Let n be d/(3/o*(-2 - 0)). Which is smaller: -4/17 or n?
-4/17
Let k = -2478930 - -483389888/195. Let c = 94/13 + k. Which is smaller: c or 4?
c
Let p = -4090709739/14 + 1165324388213/3990. Let u = -132303 - p. Let y = 10/19 + u. Which is bigger: y or 1?
1
Let l(b) = -b + 13. Let n be l(-11). Let m be 18/n + 1618/(-2168). Which is smaller: 1 or m?
m
Let w = -6031 - -6031.2. Which is smaller: w or 10.2?
w
Let n be (-1)/(3/(-2)*20/90). Let y be (-6)/(n + -39) - 201/18. Let u be (6 - 7)/(2 - 1). Which is greater: u or y?
u
Let v be (-2)/8 + 491/1932. Suppose 2*w + 5*n - 2 = 0, 2*n - 5*n - 2 = -2*w. Let k be 4*(-3)/12*w/1. Which is bigger: k or v?
v
Suppose 2*v + 655*g = 659*g - 670, 0 = -5*v + 3*g - 1640. Which is bigger: -340 or v?
v
Let n(y) = -3*y**3 + 13*y**2 - 3*y + 9. Suppose -4*q - 5 = -5*f, -6*f + 2*f + 4*q = 0. Let j be n(f). Which is smaller: j or -53?
j
Let s = -6734547799/11947 + 563702. Is 0 smaller than s?
False
Let j(n) = -4*n - n - 5 - 3 - 131. Let g be j(-28). Is 10/19 at most g?
True
Suppose -3*n + 2 + 4 = 0. Suppose -y - 4*o = -2*y + 30, -n*y + o = -74. Suppose -a = -5*r - 75, 3*r + y = 4*a - 24. Which is smaller: -13 or r?
r
Let o = 913694/39 + -23430. Let c = -2750/1131 - o. Which is bigger: 0 or c?
0
Let q = -42.9 + 43.117. Let k = 0.137 - q. Which is greater: -11 or k?
k
Suppose 5*b + 12 = 7*b. Suppose -4*i + 32 = l, 0*l - 4 = l. Suppose 0 = -i*j + 13*j - 36. Which is smaller: b or j?
b
Let m = -9.21 - -9.61. Is 5/183 <= m?
True
Let v be ((-128)/(-26))/8*2. Suppose 9 + 0 = 9*g. Which is greater: v or g?
v
Let w = -25.8749 - -0.0749. Let k = w - -25.9. Is k at most as big as -13?
False
Let t be (-5 + 1)/12 - 3/(-5). Let h = -2/3 + t. Which is bigger: h or 5/4?
5/4
Suppose -n - 3*m = -94, 2*m - 394 = -5*n + 6*m. Let a be (-1)/(2/6)*(83 - n). Which is smaller: -33 or a?
-33
Let z be (12/(-27))/(26/33). Suppose 5*r - 5*p = 45, -1573*r + 1568*r - 3*p - 27 = 0. Is r bigger than z?
True
Let f = 1.1 + -0.55. Let m(w) = w**3 - 3*w**2 - 7*w + 8. Let s be m(-2). Which is smaller: s or f?
f
Let v(t) = t**2 + 10*t - 3. Let r be v(-8). Let g(w) = -w**2 + 14*w - 44. Suppose -2 = -3*b + 25. Let f be g(b). Is r < f?
True
Let d = -0.07485 + 68.07485. Let w = -3 - -3.2. Which is bigger: w or d?
d
Let p be 250/(-60) - -5 - (-73)/6. Let c be 12/(11 + -9) + (-43)/p. Is 2 smaller than c?
True
Suppose 0 = 3*v - 11 - 535. Which is smaller: 183 or v?
v
Let a(c) = 5*c**2 - c + 3. Let g(s) = -27*s**2 + 7*s - 16. Let v(n) = -11*a(n) - 2*g(n). Let k be (-2)/4*(-1 + 3). Let u be v(k). Is u at most 2?
True
Let j = -11458 + 11776. Which is bigger: j or -8?
j
Let s = 144476/5 + -30261. Which is bigger: s or -1366?
s
Let p(f) = -f**3 + 12*f**2 - 9*f - 6. Let n be p(11). Let y = 396 - 386. Which is smaller: n or y?
y
Suppose 3*a - 2*z + 9 = 4*a, -z + 15 = 4*a. Suppose -a*c + c + 18 = 0. Let f be 4 + -2 + 2 - 0. Which is smaller: c or f?
f
Suppose -l + 4*o - 9 = 0, 0 = 2*l - o + 4*o - 4. Let x = -6291/3445 - -18/689. Which is smaller: l or x?
x
Let t = 186461/9 + -20739. Is t less than -0.1?
True
Let q be (120/(-150))/((((-12)/22)/3)/15). Is 39 not equal to q?
True
Let p(g) be the second derivative of -g**3/2 - 2*g**2 + 31*g. Let o be p(-1). Let k = -3/7 - -43/133. Which is smaller: k or o?
o
Let y(q) = -q**3 + 6*q**2 - 6*q + 12. Let s be 3*1 - (-1 - 3 - -2). Suppose -u + s = -0*u. Let l be y(u). Is 4 equal to l?
False
Let q be (20*(-12)/75)/((-4)/(-30)). Is -151 bigger than q?
False
Let z = 0.4 + -0.5. Let s = 354 - 278. Let d = s + -77.7. Is z greater than d?
True
Let i(n) = n**3 + 3*n**2 - 2*n - 11. Let v be (8/(-5))/(4/10). Let f be i(v). Let s be -19*(1 + 0) + -1 + 0. Is f < s?
False
Let g be 0/(-1) - 0 - (-13)/156. Let n = 1423 - 1423.1. Is g < n?
False
Let b = -0.01318 + 0.01318. Which is greater: b or 29?
29
Let f(b) = -2*b**2 - 3*b - 112. Let x(c) = -c**2 - c + 1. Let i(a) = f(a) - 3*x(a). Let g be i(0). Is g not equal to -114?
True
Let t(i) = -i + 3. Let m be t(-1). Let u be (m - 2)*(-159)/6. Let j = -64 - u. Is -9 bigger than j?
True
Let m = -1.5834 + 134.7234. Let k = -4.14 + m. Which is bigger: -2 or k?
k
Let v = 188 - -226. Let m = v + -414. Is -353 bigger than m?
False
Let i be 14/364 - (-3462)/(-99476). Is 1 < i?
False
Let y = -10 + 9.677. Let f = -0.223 - y. Which is smaller: -218 or f?
-218
Let c = 94220/195567 + -106/219. Let v be (-2)/(-9) + 26/(-117). Is v at least c?
True
Let c be (-2)/((21 - 10) + -12 + (-16)/(-6)). Is c != 86?
True
Let n be (-13)/(585/(-6)) + 178/15. Suppose 6*l - 18 = -n*l. Let u(g) = g + 8. Let a be u(-6). Which is smaller: l or a?
l
Let w = 23775 - 26176277/1101. Which is greater: w or -1/4?
w
Let n = -1830 - -1816.37. Let f = 0.63 + n. Are f and 1 non-equal?
True
Suppose 957 = 4*m - 1435. Let c = m + -1195/2. Which is smaller: 1.47 or c?
c
Let f(k) = 12*k**2 - 13*k + 17. Let c be f(-5). Do 382 and c have different values?
False
Let a = 214 - 3635/17. Let p = 5 - 1. Suppose -2*j + b = -p, 0*j - 3*j + b = -5. Are j and a non-equal?
True
Let m(s) = 5*s - 57. Let g be m(13). Suppose g*c + 3*c + 154 = 0. Let x(o) = -3*o + 5. Let f be x(7). Are c and f equal?
False
Suppose 3*h = -3*w - h - 41, 0 = 5*w - h + 30. Are -89/11 and w