4/24 + 2*i**3 + 82*i**2. Let y be k(2). Which is smaller: r or y?
y
Let w = -16258 - -16273. Is -2/1133 < w?
True
Let d be (5 - (-2163)/(-238) - -4)/(9/(-16)). Which is smaller: -1 or d?
-1
Let p = -1958 + 3588. Which is smaller: p or -1/4?
-1/4
Let r(q) = -q - 17. Let a be r(0). Let d(i) = i**2 + 4*i - 79. Let l be d(-10). Which is greater: a or l?
a
Let t be (-199241)/90755 - (4 + (-124)/20). Is 1 at least t?
True
Let d = 8938 + -8935. Is -2682 > d?
False
Suppose -i = 4*j + 26, 5*j = 4*i - 18 - 4. Let u be (4 - (-107)/3)/(2/j). Is u at least -120?
True
Let s = -305.9 + 305.8. Let l be (-2036)/(-28) + (1 - (-5)/(-7)). Is l at least as big as s?
True
Let k(r) = -r**2 + 3*r + 8. Let p be k(5). Which is greater: -1343 or p?
p
Let z(x) = -x**3 - x**2 - 6*x - 7. Let w(v) = 19*v - 38*v + v**2 + 20*v - 3. Let n be w(0). Let u be z(n). Is u not equal to 29?
False
Suppose t + 6252 = 4*j, j + 2*t = 2095 - 541. Is j < 1562?
False
Let s be 28 - (2 - (-3 - -6)). Suppose -224*q = -178*q - 1334. Is q less than or equal to s?
True
Let z = -5/1597 + 1309555/4791. Which is smaller: z or 274?
z
Let o = -1776/1253 + -2/179. Let d(h) = -4*h - 19. Let n be d(-10). Suppose -n*a - 4 = -17*a. Which is greater: o or a?
a
Let n be 3/120*7/(14 + 0). Suppose 6*v + 256 - 94 = 0. Let h = 27 + v. Is h bigger than n?
False
Let r(t) = -113*t - 782. Let z be r(-7). Suppose 12 = -2*v - 2. Let k = 17 + v. Do k and z have different values?
True
Suppose 3713229 = -351*t - 1261494. Is -14173 != t?
False
Let x = 20.342 + -19.342. Is x equal to -97.6?
False
Let q be ((-68)/238)/((-183)/714). Is q < 0?
False
Let p = -1037 + 1034. Do -289 and p have the same value?
False
Let k = 36 + -33. Suppose -11 = -k*g - 8. Suppose -42 = y + f - g, -y - 2*f = 42. Which is smaller: y or -38?
y
Let g be 176/(-59) - (10 - 13). Suppose -30*t - 4 = -9*t - 17*t. Is g at most t?
False
Let b be 6314/(-492)*(-1 - 275/(-290)). Is b less than 2?
True
Let t = 3 + -3. Let y = -2081251/10 - -207868. Let l = 258 + y. Is l at most t?
False
Let h = 7243/1143936 - 1/3456. Which is smaller: 0 or h?
0
Let s = 1034 - 1041. Suppose 12 + 82 = -2*x. Let j = -97/2 - x. Which is smaller: s or j?
s
Let c = 20355 + -27825287/1367. Is -1 < c?
True
Let o = 773081.79 + -769394. Let k = 3710 - o. Let q = k + -0.21. Which is smaller: q or 1?
1
Let x(w) = 470*w + 751. Let r be x(-3). Is r greater than or equal to 0.1?
False
Let q = -6636 - -6655. Which is smaller: q or 59/3?
q
Let f = 3.112 + -0.012. Let b = -20.3 + 13.4. Let m = f - b. Is 0 != m?
True
Let r = 5345 - 5587. Is r bigger than 9?
False
Suppose 14*m + 9 = 11*m - 3*p, 0 = m - 2*p - 6. Let w be (3 - 1) + 876/(-435). Which is bigger: w or m?
m
Let x = 1463624/1769 - 23994/29. Which is smaller: 0 or x?
x
Let g be 4*(-4 + (-34)/(-4) + -4). Suppose 0*v = z - 3*v + 46, -g*v + 10 = 0. Which is greater: z or -34?
z
Let g = -41 - -39.5. Let h = -14.5 - g. Let o = 44 + -133/3. Which is greater: h or o?
o
Let j be (-66)/429 - (-8974)/26. Which is bigger: 350 or j?
350
Let v be ((-2)/(-2) + 2)*(143 - 146). Is 18 != v?
True
Suppose 0*r + r = 5*r. Suppose 2*f + r*f = -8. Are f and -18 unequal?
True
Suppose 1401 = 2*o + 425. Let m = o + -229. Suppose -c - 5*r = -72, 79 = -3*c - 3*r + m. Which is smaller: c or 56?
56
Let j = 137 + -139. Let k(r) = r**2 + r + 1. Let m be k(j). Is m at most as big as 2/3?
False
Let c(w) = -w - 4. Let n be c(-7). Suppose -3*r = 176 - 185. Suppose 5*a - 3*i = -n, -a + 3 = 2*a + r*i. Is a at most 1/50?
True
Let f be 5135/(-711) + (2 - -7). Do f and 3 have different values?
True
Let x(m) = -m**2 + 3*m + 22. Let w be x(-3). Let s(q) = 3*q**2 + 3 + 2*q**3 + 4*q + 0*q**3 - 3*q**3. Let o be s(w). Is 2 >= o?
False
Suppose 14 = 2*t + 2*t - 2*q, -4 = 4*q. Suppose -t*u = -25 - 17. Let z(w) = 50*w - 586. Let p be z(12). Do p and u have the same value?
True
Suppose -6*n - 9729 = -225. Let r be ((-2)/4)/((-11)/n). Is -72 not equal to r?
False
Suppose 2*a + 162217 - 32779 = -7*a. Which is smaller: 0 or a?
a
Suppose -s - 3*m - 12 = 0, 0*s + 2*s + 8 = -2*m. Let r be (s + -5)*(-6)/45. Are 1 and r nonequal?
True
Let w = 55077 - 22856957/415. Let n = 1 + -1. Which is greater: n or w?
n
Let k be 7 + -15 - 3/((-108)/272). Which is smaller: -1.91 or k?
-1.91
Let c = -15368/9 + 102873401/60246. Which is bigger: c or 1?
1
Let k(s) = 29*s + 34. Let b(t) = 32*t + 37. Let o(v) = 10*b(v) - 11*k(v). Let m = 1 + 2. Let y be o(m). Is y at least 1/3?
False
Suppose 6*i - 3*i + 3*b = 648, -4*b + 207 = i. Suppose -i = -5*z - 69. Which is smaller: 26 or z?
26
Let y be (-8)/20 - (-324)/360. Let v = -3.6 + 3.46. Are v and y non-equal?
True
Let c(g) = g**3 - 2*g**2 + g. Let l be c(0). Suppose l = 4*m + m - k - 272, -m + 64 = 3*k. Is 56 equal to m?
False
Let s = -438/23 - -320939/16859. Is s bigger than -1?
True
Let c = -0.3977 - 0.0023. Let t = 0 + -8. Let i be ((-2)/t)/(4/(-8)). Are i and c equal?
False
Suppose -5*c - 10 + 55 = 0. Let f = -18 - -24. Suppose -c*b - f = -10*b. Which is smaller: b or 28/5?
28/5
Let s be (-2 + 1)*3*9/3. Let i(k) = -2*k**3 - 20*k**2 - 6*k - 14. Let g be i(s). Which is smaller: g or -121?
g
Let s = -0.021 - 28.979. Let d = 925.44 - 896. Let h = d + s. Which is bigger: 0 or h?
h
Suppose 3*p - 7564 = 3410. Are 3658 and p nonequal?
False
Let j be -4 + 1 + 3 + 199. Suppose j*n = 207*n - 16. Which is smaller: n or 0.4?
0.4
Let j be (-1874)/3 + 7/(-21). Let b be -1*((-2)/8 - j/20). Is b greater than or equal to -38?
True
Suppose -161 - 102 = -d. Suppose d = -9*z + 65. Is z at least -25?
True
Let v be (6/10)/(8/(-50)). Suppose -11*m + 33 = -0. Suppose 0 = 5*y + c - 3*c + 19, 24 = -m*y - 3*c. Is y smaller than v?
True
Let t(p) = -5*p**3 + 22*p**2 - 6*p - 9. Let z be t(4). Is -4/8759 < z?
False
Suppose 0 = z - 34*j + 36*j - 103, 206 = 2*z + 5*j. Which is smaller: z or 108?
z
Let n = -835972/498295 - -270/161. Let g be (-294)/63*45/(-210). Which is smaller: n or g?
n
Let d be (-3)/((-70)/10 - 2). Which is smaller: d or 0.127?
0.127
Let i be (-44)/(-12) + (2/3)/2. Suppose -f + i*r - 3 + 18 = 0, -3*f = r - 19. Which is bigger: 12 or f?
12
Let y(o) = o**2 - 31*o - 779. Let k be y(47). Let u be 9/(-6)*(-258)/(-15). Which is bigger: u or k?
u
Let r be 2*(17 - 215303/(-88)). Is r at least 4927?
True
Suppose -14*c + 80*c = -223*c. Which is bigger: 1/485 or c?
1/485
Let k be (462/(-52))/((-513)/456). Which is smaller: 7 or k?
7
Let z be (8/3)/((-8)/(-36)). Let l = z - 19. Let d = -6941 - -6935. Are d and l equal?
False
Let d = -74 + 81. Suppose 8*u - d - 9 = 0. Suppose 0 = u*q + 1 + 1. Is -1/48 > q?
True
Let a = -17227 - -17235. Let i = -9.91 + 10. Which is bigger: i or a?
a
Suppose -2*z + 76 = -4*y, 4*z - 511 = 6*y - 393. Which is greater: y or -1040/57?
y
Let r = -179.1 + 255. Let s = -66 + r. Let k = s - 11.9. Which is bigger: k or -0.12?
-0.12
Let t = -2/93373 + -2141976586/1587341. Let l = -1350 - t. Which is bigger: l or -0.1?
-0.1
Suppose 31*b = 32*b - 59. Which is greater: b or 0.09?
b
Let z(k) = -14 + 23*k - 16*k - 5*k. Let h be z(7). Let v be (2 + -1)*(21/(-19) - -1). Is v less than h?
True
Let a be (14 - 9) + -178*(-4)/(-88). Suppose -2*h + 3 = 9. Do h and a have different values?
True
Suppose -664 = 4*q + 4*v, 2*v + 9 - 1 = 0. Let h = 210 + q. Let g(s) = -s**3 + 8*s**2 - 6*s + 2. Let m be g(5). Which is smaller: h or m?
m
Let m = 1079 - 1290.1. Let v = m - -211. Which is bigger: v or 35?
35
Suppose 3*z + 3*z + 16920 = -4560. Do z and -3579 have the same value?
False
Let k = -6471740/819 - -7902. Let l be 2 + -1 + (1*-2 - 0). Which is smaller: k or l?
l
Let c be (-7 + 8)*-13 + 5/15*3. Which is smaller: c or 42?
c
Let l be (72/45)/((3/20)/3). Let f = 33 - l. Let h be (-1)/3*f*(-4)/2. Which is bigger: 3.8 or h?
3.8
Let i = -19.1921 - -19.7921. Let y = 0.2 + -0.3. Is y less than or equal to i?
True
Let y(u) = -8*u + 21. Let b be y(-18). Let p be (b/10)/(45/40). Is 15 less than p?
False
Suppose 57 = 7*j - 13. Suppose 0 = c + 5*f + 17, 12*f - j*f = -10. Is c greater than or equal to 10?
False
Suppose -2*u - 4*f - 21 = -27, 15 = -10*u - 5*f. Which is smaller: 11/21 or u?
u
Let u be 28320/(-456) + 2/19. Let s = u + 63. Is 8/21 at least s?
False
Let i(h) = -h**3 - 17*h**2 - 15*h + 1. Let b be ((-12)/30)/(2/80). Let r be i(b). Let t be r/35 + 2*16/42. Is 0.4 smaller than t?
Fa