r: -43 or d?
d
Let a = -2.58 - -0.53. Let m = 0.05 + a. Let i = -365002 - -365005. Which is bigger: i or m?
i
Let l = 173312/2084253 - 14/6493. Which is bigger: l or -1?
l
Let c(l) = l**2 - 18*l + 22. Let z be c(23). Suppose 3*i - z = 4. Suppose 4*f = h - 0*f + 14, -3*f = 5*h + i. Which is smaller: -11 or h?
-11
Suppose -c = -5*h + 211, 2*c - 2*h = 3*h - 397. Let y = 198 + c. Which is greater: y or 19?
19
Suppose -2*a - 4*f + 6140 = 0, 6135 = 2*a + 169*f - 166*f. Does 2/5 = a?
False
Let h(y) = y**2 + 7*y + 17. Suppose 2*r + 22 = 2*p, -8 = 4*r - p + 27. Let a be h(r). Which is smaller: a or 28?
a
Let r be ((-25)/(-2) + 0)/((135/6192)/(-5)). Is -2868 smaller than r?
True
Let j be 6/7*35476/42. Let i = j - 724. Is i greater than 2/1671?
False
Let h be (-8)/3 + 2/3. Suppose 38 = 3*t + 3*w - 61, -3*w - 33 = -3*t. Are t and h unequal?
True
Suppose -56*y + 71910 = 29*y - 0*y. Is y bigger than 845?
True
Let p = 7201 - 9715. Is p greater than -2513?
False
Let k = -272 - -168. Let y = 173 + k. Let l = 69.1 - y. Is l greater than or equal to 28?
False
Let q(t) = -t**2 + 19*t - 9. Let p = -47 + 55. Suppose -p*l + 6*l = -36. Let r be q(l). Is r not equal to 9?
False
Let h = -502/5 + 174174/1735. Let c be 2*5/20*2*-1. Which is smaller: h or c?
c
Let s = 1011208 - 17023116/17. Let u = 9854 - s. Which is smaller: u or 6?
u
Let o(v) = -28*v**3 + 3*v**2 - 13*v + 22. Let k be o(3). Is k > -7473/10?
True
Let y = -22 + -52. Let x be -1 + (-136)/y + -1. Let u(h) = h**3 - 6*h**2 + 8*h + 4. Let w be u(3). Which is bigger: w or x?
w
Let s = -0.3296 + 0.4836. Let y = 24.3 + -24. Which is bigger: y or s?
y
Suppose 5*g + 132*p = 137*p - 125, -2*p = 2*g + 38. Let l be (-6)/4 + 5/(-10). Is l bigger than g?
True
Let f = -2715/23 - -121982258/1033367. Is f at least as big as 1?
False
Let d be 182817/2916 - (-4)/(-9). Is 61 <= d?
True
Let y = -7040902/621 + 11338. Is y < -1?
False
Let j(c) = 8*c**2 - 2*c - 5. Let s(r) = 17*r**2 - 5*r - 11. Let f(d) = 9*j(d) - 4*s(d). Let y be f(-4). Let a = 55 - y. Which is greater: 4/39 or a?
4/39
Let v = -11536/3 - -3779. Let k = v + 67. Is k smaller than -113?
False
Let t = 6 - 14. Let f be (t/(-5))/((-3)/(-15)). Suppose -2*r + f = i, 0 = 5*r - r - 2*i. Is r != 2?
False
Let q = -6051 + 47954173/7925. Which is smaller: 0 or q?
q
Let a = 64537/184 + -5310/23. Is a less than 121?
True
Let a be (4 - 69/15)*-10. Suppose -d + a + 2 = 0. Suppose 5*l - 10 = 2*g, -d = -5*l + l + 3*g. Is 9 <= l?
False
Let h = 6851 - 6861. Let o(r) = -16*r**3 - 2*r**2 + r + 2. Let k be o(2). Let q be k/16 - (-1)/4. Does h = q?
False
Let t = 4.2206 + -2.1206. Is 229 greater than t?
True
Suppose 24*r + 36 = 27*r. Let i be ((-3)/(-212))/(3/r). Is i smaller than -1?
False
Suppose 15 = s + b, -597 = 3*s + b - 616. Suppose -3*m = m. Which is bigger: m or s?
s
Suppose 5*s - 5*f = 3*s + 25, -20 = -s + 4*f. Suppose 4*b + 5*y - 10 = s, -3*b + 4 = -6*b + 2*y. Suppose 19 = -b*z + z. Are 19 and z equal?
True
Let l = 2/35345 + 388629/2933635. Which is greater: -2/9 or l?
l
Suppose -1196 = 4*r + 22*r. Let g = -47 - r. Is g bigger than -5/7?
False
Suppose -3*a = -7*m - 61836, 9*m = 14*m - 2*a + 44169. Is -8837 less than or equal to m?
True
Let t be ((-2)/4*2)/((-16)/(-1184)). Let p = -20 + t. Do -94 and p have the same value?
True
Suppose 5*s - 2 = 3*s. Let r(g) be the second derivative of g**5/10 + 4*g**4/3 + g**3/6 + 6*g**2 - 187*g. Let t be r(-8). Which is greater: s or t?
t
Suppose 11*j - 15*j + 56 = 0. Let i be (1/2)/(7/j)*5. Let l be i/(84/(-32) + 3). Which is greater: l or 14?
14
Let x = -0.345 + -2.185. Let o = 2.47 - x. Is o <= 5?
True
Let v be 112/(-140) + (-4288)/(-10). Suppose 3*a - 3 = 0, -30 + v = -4*d + 2*a. Is d equal to -99?
True
Let s be ((-5)/3)/((-495)/1386). Which is greater: s or 4?
s
Let n = 0.37216 + -0.07216. Which is smaller: n or 0.11?
0.11
Suppose -10*z = -14*z. Suppose -168 = -4*m - z*m. Let w = 44 - m. Which is smaller: w or 0?
0
Let v = 88180 - 693535698/7865. Which is greater: -1 or v?
v
Let b(n) = -n**2 - 156*n + 327. Let a be b(-40). Is a greater than 4966?
True
Let k be (((-378)/(-30))/(-9) - 3)*(-3 - -38). Which is smaller: -1397/9 or k?
-1397/9
Suppose 5*u = 4*i + 1041, 1125 = 5*u - i + 66. Are -17 and u unequal?
True
Suppose 9337 = 4*y + 5*d, -y = -2*y - 4*d + 2315. Is -3 at least y?
False
Let d be -3*(-25)/(-30)*(-64)/(-20) - -14. Let o be (-2)/(4/((-112)/9)). Which is greater: d or o?
o
Let z be (-376)/(-2)*-1*-2. Suppose -100*g + 1096 = 3*n - 95*g, -3*n - 2*g + 1117 = 0. Is n greater than or equal to z?
True
Let v = -5370 - -5210. Is -142 >= v?
True
Suppose 2*u + 243 = 47. Let x be 5/25 - (-1258)/10 - -4. Let f be (u/x)/(18/(-45)) - 2. Is 1 bigger than f?
True
Suppose 133 - 130 = -3*y. Let u be 2/(-12 + 12 + y/(-8)). Is u less than 44/3?
False
Suppose 5*i + 130 = 2*d, -8 = 5*i - 4*d + 122. Let j be (-26)/(-26) + -27 + (0 - 3). Which is smaller: i or j?
j
Suppose -87*j + 390 + 618 = -31*j. Suppose 3*d = -2*d + 100. Which is bigger: j or d?
d
Let c be 2517 - (-4)/2*17/(-34). Which is greater: c or 2517?
2517
Let n be (-1*9 - 455/(-52))*(-50328)/15. Do n and 838 have the same value?
False
Let w(s) = -31*s + 15. Let c be w(-8). Let m = 264 - c. Which is smaller: 4/179 or m?
4/179
Let k = -10741/632130 + 4/3327. Suppose 5*q = 4*d - 14, -11 = 4*d + 4*q - 7. Is k at most as big as d?
True
Suppose 491*z - 105*z - 340303 = 1008381. Which is smaller: z or 3491?
3491
Let v = 0.06 - 0.16. Suppose 2*l - 144 - 53 = -i, 2*l = -6. Let n = i + -117. Is n > v?
True
Suppose 3*u - 120 = 3*j + 297, -2*u + 4*j = -280. Let w = 141 - 280. Let y = u + w. Is y at least as big as -4/3?
True
Let m(d) = -6*d - 3. Let o be m(3). Let v = -44 - o. Let t be 34/(-2) - -6*6/(-9). Which is smaller: t or v?
v
Let l = 3830 - 3826.941. Let q = -0.059 + l. Let r = 2 + -2.01. Which is smaller: r or q?
r
Let b = 113 + -93.5. Let i = b - 24.5. Is i greater than or equal to -0.05?
False
Let v = -1.34 + 2.13. Let u = -138 - -138.79. Let d = u - v. Which is greater: -9 or d?
d
Let u(q) = q**3 + 2*q - 27. Let s be u(0). Let b(x) = x**3 - 6*x**2 + 13*x - 11. Let c be b(5). Suppose -87 = 4*z + c. Is s != z?
True
Let d(c) = c**3 + 2*c**2 - 3*c + 2. Let r be d(-3). Let k(h) = 16*h**3 + 3*h**2 - 4*h + 2. Let z be k(r). Which is bigger: z or 133?
z
Let w = -207845/4 - -52383. Let u = 2112/5 - w. Let g = u - 1/4. Which is greater: -3/20 or g?
g
Let t be (-834 - (1 - (3 - 2)))*(-25)/5. Is 4171 not equal to t?
True
Let f = -5935.773 - -5930. Which is greater: f or -0.1?
-0.1
Let r = 842019/22 - 76335/2. Let o = -106 + r. Which is bigger: o or -3?
o
Let z = -6 - -32. Suppose -2 + z = w. Suppose -117 = -5*h + 3*c - 4*c, -3*c - 33 = -h. Is w <= h?
True
Let f = -62/119 + -231745/357. Let t = f + 636. Let o = t + 121/9. Is -1 less than o?
True
Let b = -343 - -233. Let y = b - -135. Which is smaller: y or 30?
y
Let f be (-1 - 4/(-6))/((-17)/1377). Let g be (4 - 6)*162/(-4). Suppose 0 = -4*z + p + 113, -3*z + 3*p + g = 6*p. Is z <= f?
False
Let p = 4572237/2065 - 2196/295. Let w = 2201 - p. Which is smaller: -7 or w?
-7
Let r = -2522 - -2074. Is r != -444?
True
Suppose -2*s + 4*c = -5 - 19, 3*s = -c + 15. Let i(w) = 3*w - 10. Let r be ((-84)/20 + 4)*-25. Let d be i(r). Which is smaller: d or s?
d
Suppose -48 = -5*r + 2*t - t, -28 = -2*r - 4*t. Let n(m) be the first derivative of m**3/3 - m**2 + 8*m + 16. Let x be n(2). Do x and r have the same value?
False
Let h = -70 - -36. Let o = h + -13. Let v = o + 59. Which is smaller: v or -2?
-2
Suppose -23*q - 65 = 42*q. Which is greater: -1/3676 or q?
-1/3676
Let a = 1321643 + -219391983/166. Let d = -4/83 + a. Suppose -2*t + 6*t = 2*z + 18, 2*t + 3*z - 5 = 0. Which is bigger: d or t?
d
Suppose 0 = -2*n - 8, -c + 14 = -5*n - 7. Suppose -17 = -b - c. Let f be 287*(40/38 - 1) - (-1658)/(-15751). Which is smaller: f or b?
f
Let n = 163 - 164. Let v be n/((-2)/6) + 77/(-22). Which is bigger: v or -0.4?
-0.4
Let l = -13.56 + -126.64. Let t = -140 - l. Are t and 31 unequal?
True
Let o(z) = -5*z + 186. Let m be o(35). Suppose -9*b + 6*b = 5*j + 10, -3*b - m = 4*j. Which is bigger: j or -1?
j
Let t = 367.1 + -347. Let b = 20.4 - t. Suppose -w + 4*w = -3*j + 42, -4*j = -w - 11. Is w < b?
False
Let r = 226 - 226. Suppose -5*v + 7*v - 60 = r. Suppose 0 = -2*k + 89 - 