r: 0.1 or y?
0.1
Let v(g) = 2*g + 23. Let b be v(-10). Let k be (1/b)/((-8)/2232). Let t = k - -155. Which is greater: t or 63?
63
Suppose s = l + 245, -l = -3*s + 569 + 176. Let b = -199 + s. Suppose -3*t + 77 + 79 = 0. Which is greater: b or t?
t
Suppose -53*x = -54*x + 5, -6*x - 8526 = 2*z. Are z and -4274 unequal?
True
Let j = -77479/611 + 1711/13. Is 5 > j?
True
Let i = -101533/65848779 - 3/27199. Which is bigger: 1 or i?
1
Let q be ((-74)/(-99)*(-33)/396)/((-5)/15). Is q > -1?
True
Let u(v) = -1109*v + 62. Let a be u(1). Let t = a - -1047. Let j(y) = 28*y**2 + 2*y + 1. Let x be j(-1). Is t greater than or equal to x?
False
Let s(w) = -w**2 + 4 - 6*w + 10*w - 3*w. Suppose 0 = p + 6*p - 70. Let j be s(p). Which is greater: j or -85?
-85
Suppose 0 = -2*p - p. Let y be ((-21729)/(-666356))/(2/((-8)/18)). Which is smaller: y or p?
y
Let m = 899816/1560867 - 117/203. Is m bigger than -1?
True
Let x = -394 + 395. Let o = -5.1 - -4. Let w = -3.3 - o. Is x < w?
False
Let i(q) = q**3 + 6*q**2 + 6*q + 5. Let o be (8/(-12) + (-1)/(-6))*6. Let v be 5 + o - -7*1/(-1). Let m be i(v). Is m > 4/13?
False
Let p(a) = a**3 - 7*a - 57*a**2 + 8*a + 53*a**2 - 2. Let d be p(5). Is 29 < d?
False
Let o = -51 + 51. Suppose o = -4*z + 6*z + 2. Which is greater: z or 1/176?
1/176
Suppose 0 = -4*l - j - 488 + 475, 0 = 5*l + j + 14. Which is greater: l or -1/14989?
-1/14989
Let o = -4240 + 4543. Which is greater: 284 or o?
o
Let n(t) = 193*t + 16. Let x be n(3). Suppose -185 = 3*s + x. Let d be (-13)/s*5/2. Are d and -1 nonequal?
True
Let g be (-10)/(-4)*2 - (-15991)/(-3277). Let h = g - -2/113. Are h and 0 equal?
False
Let u(a) = -10*a**2 + 131*a + 943. Let c be u(-7). Is -470 < c?
True
Suppose 0 = -8*l + 25 - 16 - 1. Is l less than 0.627?
False
Suppose -40 = -0*h + 4*h. Suppose -7*z = 2*p - 2*z - 20, -2*z + 19 = 3*p. Suppose -p = -17*n + 12. Which is smaller: n or h?
h
Let n be (-20)/14 + (-38 - (-3333)/84). Let r(d) = d**2 + d. Let u(j) = 2*j**2 - 1. Let l(o) = -r(o) + u(o). Let p be l(2). Which is smaller: n or p?
n
Let z(k) = 27*k + 24. Let v be z(-1). Let y(h) = 2*h + 8. Let a be y(v). Let l = 2/1917 - -57484/24921. Is a < l?
True
Let s = 101.8 + -119. Let m = 18.2 + s. Is -0.072 equal to m?
False
Let i(u) = -2*u**2 + 35*u - 55. Let c be i(16). Which is smaller: -85 or c?
-85
Suppose v + 7 - 51 = 0. Suppose -11*u - v = -7*u. Are u and -11 non-equal?
False
Suppose -5*z + 32 = 2*o, -2*z = -3*o - 3*z + 22. Let i be 145/(-2) - 3/o. Is -0.2 > i?
True
Suppose 0 = -p - 3*o + 5, -p = -3*o - 2 + 3. Let c = 161 - 172. Let l be 2/c - ((-20943)/693)/13. Which is greater: p or l?
l
Let c be 524112/1408 - ((-370)/(-110) + (-6 - -3)). Which is greater: c or 372?
372
Let w(z) = -46*z - 230. Let k be 48/(-72) + (-26)/6. Let c be w(k). Do c and 3/464 have different values?
True
Suppose 3*n + 4*j = 26, 5*j + 23 = 4*n + 8*j. Suppose 2*i + 12 = 5*b, 3*i + b + 3 = -n*i. Let a = -266 + 2924/11. Which is smaller: i or a?
i
Let k = 0.022 + 14.978. Let j = 15.69 - k. Let x = -3.69 + j. Are x and -0.11 equal?
False
Let b(x) = -12*x + 101. Let d be b(8). Let m be (-1 + d/12)*4*1. Which is smaller: m or 0.13?
m
Let r(u) = 80*u + 399. Let z be r(-5). Which is smaller: z or -638?
-638
Suppose 6 = -2*s - 4*i, -58*i = -61*i - 9. Which is bigger: s or -1394?
s
Let y = 0.057 + 1.523. Let a = -0.1 - 0. Which is smaller: a or y?
a
Let l be 5/14*4/10. Let g(p) = 13*p**3 - 3*p + 13. Let n(i) = 3*i**3 - i + 3. Let j(v) = -2*g(v) + 9*n(v). Let q be j(-2). Which is smaller: l or q?
q
Let f be 8648/42 - (-76)/798. Which is greater: 212 or f?
212
Let l(j) = j**2 - 10*j + 9. Let y be l(9). Suppose -f + 10 = -0*m - 2*m, -3*f - 2*m + 30 = y. Suppose c - 4*p = 2, 4*c + 5*p - 4 - 46 = 0. Is f greater than c?
False
Let g(w) = w**3 + 3*w**2 - 5*w - 9. Let i(f) = -3*f + 2. Let v be i(2). Let r be g(v). Suppose 4*q = 6*q + 8. Which is smaller: q or r?
r
Let g = 857.1 + -921. Let t = 64 + g. Which is bigger: t or -3/37?
t
Let t = -1037 + 1036. Let b be (8/3 - 2)*-3. Is b less than t?
True
Let l = -481978933/5687 + 84751. Is -2/5 bigger than l?
False
Let w(j) = 2*j**2 - j + 2. Let z be w(0). Suppose -3*v + 2*n = 77 - 5, v + n + 19 = 0. Let k = v - -23. Is z bigger than k?
True
Let v be ((14/(-2))/(-7))/(2/(-48)). Let l be 4/v + 813/18. Is 43 bigger than l?
False
Let f = 597 - 1020. Let o = -474 - f. Is o <= -1?
True
Let b(p) = -p**2 + 8*p + 4. Let c be b(8). Let k(i) = -i**2 - 64*i + 579. Let a be k(8). Are a and c non-equal?
True
Let p = -37.3 + 34.7. Let y = p + 4.6. Which is greater: y or 213?
213
Let a = -857 - -849. Is -220/3 less than a?
True
Suppose 288*b + 2758 = 290*b - 4*o, 5*o = 4*b - 5534. Which is greater: 5567/4 or b?
5567/4
Let k(o) = 7*o**3 + 2*o**2 - 2*o + 1. Let p be k(1). Let m = p + -4. Suppose -m*y + 22 = -2*c, c + 3*y - 7*y + 21 = 0. Which is smaller: c or 2/9?
c
Let d = -368963387/2752 - -134071. Let v = 379831/30272 - d. Which is bigger: v or 14?
14
Let q(i) = 14*i - 6. Let p(v) = 15*v - 5. Let c(f) = 5*p(f) - 6*q(f). Let x be c(4). Is -25 at least x?
True
Let s = -3333 - -3332.95. Which is smaller: 1/30 or s?
s
Suppose n + 210 = 212, -5*y - 2*n + 3734 = 0. Is y smaller than -2/7?
False
Let s be 18/45 + 55698/16030. Let i = s + -4/229. Is i less than 5?
True
Let u be -2*1 + (-2)/2. Suppose 4*h = -l + 155, -2*h + 32 + 41 = 5*l. Is h != u?
True
Suppose 0 = 5*v - 168 - 22. Let p be ((13 - 5) + -9)/((-1)/5). Suppose 0 = -4*u - 3*z + 145, -51 = -u + p*z - 9. Which is greater: u or v?
v
Let f = -1989 - -2009. Do 12 and f have the same value?
False
Suppose -10*h + 99 = -7*h. Let m = h - 33. Is -1/20 less than m?
True
Suppose 2*l - 3 = -3*r, 2*r = 5*l - 7*l. Let s be (-3)/((-63)/r) + 4/(-28). Let g = -580 + 5210/9. Which is smaller: g or s?
g
Suppose -4*d - 244 = 4*q, 5*d - 14*q + 311 = -17*q. Let a = d + 24. Is -39 greater than or equal to a?
True
Let t = -22506 + 113731/5. Is 240 at least t?
False
Let u(r) be the third derivative of -r**5/12 + 7*r**4/4 - 14*r**3/3 - 5*r**2 - 14*r. Let h be u(13). Is h greater than -327?
False
Let g(x) be the second derivative of x**5/20 - 3*x**4/4 + 5*x**3/2 - 5*x**2 + 4*x. Let m be g(7). Let b be 2*m/6 + 0. Is b <= 7?
True
Let y = 1703957/54 - 63051/2. Is 29 > y?
False
Let p = -17909 + 6454. Which is greater: p or 2/7?
2/7
Suppose -4*m + 8*m = 1336. Let y = -204 + m. Let j be (-4 - 1 - -2) + y/30. Which is smaller: 2 or j?
j
Let p = -7996 + 7984. Is p at least 158?
False
Suppose 0 = w + 6 + 1. Let u be 2/w*9 - -3. Let j = -2.975 + -0.025. Which is bigger: j or u?
u
Suppose -4*d + 28 = -32. Let y = -0.0401 - 313.9599. Let s = y - -313.7. Which is smaller: s or d?
s
Let l = 38/137 - 1042/1781. Suppose -4*d = -3*j + 6*j + 20, j - 20 = 4*d. Suppose 2*m + 0 + 2 = j. Is m at least l?
False
Let u be (2/(-3) + (-10180)/12)/3. Is u at most -283?
True
Let z = 29779/7555328 - 2/2683. Which is smaller: z or 1?
z
Let h = 3359 - 3062. Let j(o) = 2*o - 7. Let t be j(7). Suppose -t*l = 4*l + h. Is -27 less than or equal to l?
True
Let b = -424 - -426. Suppose -b*k - 8*k + 1510 = 0. Is 151 greater than k?
False
Let p(y) = 3*y**3 + 35*y**2 - 65*y - 7. Let b(o) = 2*o**3 + 18*o**2 - 32*o - 4. Let a = 136 - 131. Let w(i) = a*b(i) - 3*p(i). Let l be w(12). Is 1 != l?
True
Let o = -7841 - -62713/8. Suppose 0 = 6*a - a, 2*z = 4*a - 6. Which is greater: z or o?
o
Let o be -3 + 3*3/(-9). Let r be (-1 + (-3 - o))*-1 + 10. Let x be 6/(-2) + 0 + r. Which is bigger: x or 2?
x
Let b = 218 + -216. Let p = 6.5 + -5.99. Let s = p + -0.41. Which is bigger: s or b?
b
Let s(d) = -d**3 + 12*d**2 - 9*d - 2. Let q be s(11). Suppose -16*l = -q*l + 20. Suppose 7*r = l*r + 2. Are r and 7/11 nonequal?
True
Let h be (-32)/(-208) + (714/91 - 8). Which is smaller: 208/199 or h?
h
Let p = 11.73 + -11.7. Let o = 13.07 - 13. Let m = o + p. Which is smaller: -22/3 or m?
-22/3
Let s = 223959 - 152068299/679. Is s != 1?
True
Let c = 637520/927 - 53/927. Which is smaller: 687 or c?
687
Suppose -21 = -s - 18. Suppose -5*w = -s*u + 25, -u - 2*u + 3*w + 27 = 0. Suppose 0 = 3*n + 2 + u, 0 = 2*i - n + 122. Is -63 at most i?
True
Suppose -113 + 104 = 9*n. Let w = 4600/3 - 837191/546. Do n and w have different values?
True
Let g = -135.71 - -138. Let y = g + -26.29. Which is greater: 0.2 or y?
0.2
Let g = -32616 - -326