, 22 = 4*y - 7*y + 5*d. Which is bigger: y or b?
b
Let a be 270/120 + (-5466)/8. Which is smaller: -679 or a?
a
Suppose 19489 = -3*i - 125*o + 124*o, -5*o = -5*i - 32515. Which is bigger: -6499 or i?
i
Let k be 16/20*15*13/(-78). Which is bigger: k or 776?
776
Let v = 796676/31 - 25708. Which is greater: -8 or v?
-8
Let b = -662 + 639. Let x be b/28*(-9 - -13). Suppose -3*z - 12 = -0*z. Is x equal to z?
False
Let t be (-79 - 11)*(-60)/36. Are t and 153 unequal?
True
Let p = 14643 + -14638. Which is smaller: -313 or p?
-313
Let c = -205 + 205.15. Which is bigger: -4/31 or c?
c
Suppose 2*m + 9 = -2*u + 25, -4*m = 5*u - 28. Suppose 4*p = -2*k - 108, m*p + 5*k = 7*p - 140. Which is greater: -29 or p?
p
Let b be (2*1)/(8/32) - -118. Let k be (-894)/(-7) + (-9)/((-63)/2). Do b and k have the same value?
False
Suppose -5*z = -55*g + 56*g - 5, 3*g + 4*z = 59. Is g greater than -29?
True
Let n(m) = m + 69. Let s(v) = -23. Let g(h) = -2*n(h) - 7*s(h). Let u be g(12). Suppose 4*b = -0 - 8. Do u and b have the same value?
False
Let t be -7 - (((-538812)/(-3072))/(-27) - 2/4). Which is bigger: t or -10?
t
Let v(o) = -58*o + 992. Let j be v(17). Which is smaller: j or 38?
j
Let l be ((-37)/(592/96))/(-2049). Is l smaller than -2/7?
False
Let s = 23297/44 + 771171/220. Let d = -4020 + s. Which is bigger: d or 14?
d
Suppose -3*a - 14 = 52. Let q = 29 + a. Suppose -12 - 2 = q*f. Do -14/9 and f have the same value?
False
Let h be ((-5)/70)/(10/(-210)*6). Which is smaller: h or -1960?
-1960
Let q = 10064 + -10086. Suppose 6*o + 92 = 2*o. Is q > o?
True
Suppose 3*r + 14 = 4*k - 6, -2*r = -k + 5. Which is smaller: 65/496 or r?
r
Let o be 6/((-5)/(-5))*6/4. Suppose -o*a + 158 = -292. Is 340/7 at most a?
True
Let l(s) = -4*s**3 - 101*s**2 + 87*s + 418. Let h be l(-26). Let q = 2.1 + -0.1. Which is greater: q or h?
h
Let k = -95.1 - -95. Is 124/43 less than or equal to k?
False
Let g = 61 - 60. Let j(n) = -159*n**2 - 2*n - 1 + n + 156*n**2. Let u be j(-1). Which is bigger: g or u?
g
Let l be 2/(-5) - 114497/(-7105). Let v = 1/1421 - l. Is -16 < v?
True
Let f = 701 - 1501. Which is smaller: -2/5 or f?
f
Let p = 225576/23 + -9810. Let j = p + 2099/943. Is j at least as big as 1?
False
Let r be ((-11)/(-22))/((66/(-5088))/(-11)) + -7. Is r <= 436?
True
Let h(c) = c - 6. Let s be h(8). Suppose s*t = t - 3*n + 18, -t + 34 = -5*n. Suppose -20*g + 26*g + t = 0. Is -2 less than g?
False
Suppose -10*t + 5 + 15 = 0. Suppose -5*h = 3 + t. Is 1/116 greater than h?
True
Let j = -2.1 - 6.9. Let q = -0.239 - -124.239. Let y = 124.3 - q. Is j at most y?
True
Let t = -143/18 + 79/9. Suppose 0 = -3*b + 4*u + 26, -2*u - 18 = b + 2*u. Which is smaller: t or b?
t
Suppose 5*p + 17 = 2*v, 0*p + 14 = 3*v + 4*p. Suppose -2*f + v*f + 3*q = 70, -4*f - 4*q + 72 = 0. Let s = f + 1. Which is smaller: 19 or s?
s
Let u be 2*(405/675)/(2*(-2)/(-7970)). Which is bigger: 2385 or u?
u
Let p be 4/((3/6)/(-1)). Let f be ((-6312)/(-524))/(-2) - -6. Let t = f - 217/1965. Which is smaller: t or p?
p
Suppose -2*s - 266 = -4*o, 0 = -6*s + 3*s + 4*o - 393. Let z = s - -90. Which is smaller: -38 or z?
-38
Let d = -141 + 100. Let t = d + 40.945. Let p = 0.455 + t. Is 2/17 less than p?
True
Suppose -229*k = -228*k. Let n be 4 - (k/(-4) - 282)/(-2). Which is bigger: n or -138?
n
Suppose -2*r - r + 30 = 0. Let o(x) = -x**2 + 8*x + 14. Let s be o(r). Suppose 0 = -13*h - 3*h - 80. Which is smaller: h or s?
s
Let i = -108 + 113. Let o be i/(-10) - (-30)/(-4). Which is bigger: o or -6?
-6
Let a(t) = t**3 + 10*t**2 - 2*t - 15. Let p be a(-10). Suppose -2*m + k = 31, -5*k = -p*m - 6*k - 60. Let h = -6 + 6. Is h bigger than m?
True
Suppose 144 = -15*d + 87*d. Let m be 3/(-2 + 147/72). Suppose -m = 5*y - 4*s, -d*y + 9 - 45 = -4*s. Are y and -15 unequal?
True
Suppose -4*l - 3*v + 389 + 162 = 0, -5*l + 689 = 4*v. Suppose -3*n = -27, 67*n - 193 = t + 61*n. Let h = t + l. Which is bigger: h or 3?
3
Suppose -178*u + 260*u = 32800. Is -4 greater than u?
False
Let r(j) = -7*j**2 - 139*j - 65. Let q be r(-20). Let d(x) = -3*x**3 + x**2 - 3*x - 3. Let g be d(3). Is q not equal to g?
True
Let u(n) = -2*n**3 - 8*n**2 - 24*n - 25. Let a be u(-8). Let v = 608 - a. Is v > 1/3?
False
Let k(d) be the first derivative of d**4/4 - 3*d**2/2 + 2*d - 50. Let v be k(-2). Do 2/175 and v have the same value?
False
Let g = -9 - -8.5. Let z = -2.02 - 0.48. Let m = g - z. Is m equal to 5?
False
Let k(g) = g**3 + 61*g**2 + 229*g + 138. Let z be k(-57). Which is bigger: 17 or z?
z
Suppose 5*h - 12 = -3*p, -2*p + 5*h + 22 = -11. Let d be ((-27)/72)/(p/(-4)). Is d less than or equal to 0?
False
Let a(h) = h**2 + h - 3. Let y be a(-3). Suppose 3*x + 43 = -2*f, -20*x - 35 = -18*x - 5*f. Let j be y/x + 342/(-15). Is -23 at most as big as j?
True
Let q = 4.28 + -8.28. Which is smaller: q or -64?
-64
Let p(h) = -154*h - 486. Let t(z) = 31*z + 97. Let g(n) = 2*p(n) + 11*t(n). Let x be g(-4). Which is smaller: x or -38?
-38
Let o = -149/4816 - -12/301. Which is smaller: o or -2?
-2
Let z be 1619/12 + (-280)/96 + 3. Let o = 89 - z. Is o equal to -48?
False
Let i = 1445 + -1524. Is i less than 0.2?
True
Let k = -48 - -10. Let d = k + 41. Suppose -s - 4 = -2*i + s, -4*s + 2 = i. Is i at most as big as d?
True
Let b = 107.9 - 62.9. Let o = 44.8 - b. Which is greater: o or 6/31?
6/31
Let w = 0.2 - 0. Let l = -276.8 + 276.6. Let x = w + l. Is x greater than -12?
True
Let v(i) = -i**3 + 30*i**2 + 139*i + 4. Let j be v(-4). Which is bigger: j or -111/17?
-111/17
Let v = 6080.616 - 6080. Which is smaller: v or -0.2?
-0.2
Suppose 15 = -3*b + 6*b. Let h be (1 - -3) + (-8*2)/4. Suppose -4*g - 180 = 2*n - h*n, b*n = 5*g - 405. Which is greater: n or -83?
-83
Let n = 248.136 + -0.136. Let f = 249.8 - n. Is f greater than -0.1?
True
Let v = 293 - 289. Suppose 30*i - 207 = 7*i. Do v and i have different values?
True
Let c(t) = -4*t**2 - 12*t + 12. Let r(u) = -3*u**2 - 11*u + 12. Let p(q) = -4*c(q) + 5*r(q). Let l be p(7). Suppose z = l*z. Which is bigger: z or -1/5?
z
Suppose 62 = 2*q - 2*o, -4*q - 2*o = -o - 129. Suppose q + 24 = -2*a. Let g be 1 + a - (-1 + 0). Is -28 at most as big as g?
True
Suppose 5*t - 3*h = 29, -h - 12 = -86*t + 82*t. Is t >= 1177/6?
False
Let h be 2/3 + (-132)/225. Suppose 7 = 3*r - 5. Suppose 0 = -r*n - 8 + 12. Is n not equal to h?
True
Let n(y) = 4*y + 31. Suppose 5*z = 2*p + 53 - 22, -3*p + 11 = 4*z. Let q be n(p). Is 19 greater than or equal to q?
True
Suppose 4*p - 20 = 0, -2*b + 54*p = 52*p - 12764. Which is greater: b or 6390?
6390
Suppose 13*h - 2907 = 4*h. Suppose 33 = 324*l - h*l. Which is smaller: l or 30?
30
Suppose 0 = 19*n - 30*n + 99. Let j be (252/(-35))/(n/(-240)). Are 193 and j non-equal?
True
Let b = 195169 - 195169.1. Let t = 18 - -4. Let p = 22.13 - t. Which is smaller: p or b?
b
Let f(y) = -y**3 - 8*y**2 + 5*y + 12. Let p be f(-8). Let q = -2041171/73556 + -2/18389. Is q > p?
True
Let f be (-1)/1*(-4 + 5)*-3. Let b(l) = 3*l**2 - 2*l + 12. Let w be b(f). Suppose 0 = -3*y + 48 - w. Which is smaller: y or 4?
4
Let a = -163 + 161.16. Let u = -1.64 - a. Which is bigger: 6/11 or u?
6/11
Let u(b) = -b**3 - 9*b**2 - 4*b - 13. Let r(x) = x**2 - 9. Let i be r(0). Let o be u(i). Let h = o - 23. Which is bigger: h or 2/205?
2/205
Let l = 1.84 + -157.84. Let c = l - -158. Which is greater: c or 97?
97
Let b = -160 + 91. Let c = 0.0071 + 68.9929. Let r = b + c. Are -5 and r non-equal?
True
Let v = 374 + -380. Let g be (80/12 - 7) + (-8)/v. Which is bigger: -1/50 or g?
g
Let q = 72 - 80.6. Let d = q + 9.6. Are 17 and d non-equal?
True
Let z = -681 + 872. Let j = z - 217. Which is bigger: -4 or j?
-4
Let b = -1410.21 - -1409. Is -3/8 != b?
True
Let n = 1722 + -1026. Suppose n = 5*x + 1926. Are -245 and x nonequal?
True
Let w = 1743 + -990. Which is greater: w or 752?
w
Let i be 3 + -84 + -3 + -1. Let s = i - -106. Is s greater than or equal to 22?
False
Let s be (-12)/21 + 36/14 + -10. Let j(t) = -9*t - 56. Let g be j(s). Let r = g + -15. Which is greater: -4/13 or r?
r
Let l = -689 - -723. Suppose -2*b - 3 = -61. Are l and b equal?
False
Let c = 7877/3 + -2625. Let n = 2 - -1. Suppose -n = -w, -2*d = -3*d - w + 4. Which is smaller: d or c?
c
Suppose 34 = s + 3*y - 23, 0 = -2*s - y + 94. Suppose -5*v = h - 50 - 185, -4*v + 209 = 5*h. Let l