
Let q be ((-33816)/(-7616))/(26/(-8)). Let m = q + 19/14. Let a = 17 - 17. Which is smaller: m or a?
m
Suppose 0 = -7*a - 4*i + 643, 185 = 4*a - 2*a + i. Is a bigger than 71?
True
Suppose -3 = -12*c + 9. Let g be -5*(-3 + 2 - 10). Let y be 44/g - (-96)/(-95). Are c and y equal?
False
Suppose -11*t + 5*t - 12602 = x, x = t + 2098. Which is greater: -2101 or t?
t
Suppose 4847*q = 4851*q + 4. Let m(v) = v**3 + 4*v**2 + 5*v + 5. Let f be m(-5). Let z be f/22 - (-3 - -1). Which is bigger: q or z?
z
Let i = -0.07578 - -2.07578. Is 5/134 != i?
True
Let q(g) = -2*g**2 + 3. Let j be q(-3). Let z(r) = r**3 + 14*r**2 - 18*r - 19. Let p be z(j). Let u = -26 + p. Is 15 >= u?
True
Let n be (1 - -8)*4/636. Suppose 37*x - 56 = 33*x. Suppose x*g = -0*g - 14. Which is smaller: g or n?
g
Suppose 4*m + 60 = -4*s - s, 3*m - 2*s = -45. Let k = m - -29. Let b be -4*(-1)/(-18) - 876/(-54). Is b at most as big as k?
False
Let i be (-9 + -1)*((-14005)/(-50) + (-49)/(-35)). Which is smaller: -2817 or i?
-2817
Let w be 19 - (-15)/(-405)*507. Which is smaller: w or -424?
-424
Let w be (63/7)/(-1) + 76976/8585. Is w < 0?
True
Let s be (-6 + 7264/1240)*(-1 - -12570). Let r = -1784 - s. Is r >= 0?
False
Let j be (8/10)/((-2716)/(-70)). Let m be -2 + (6 - -4)/2. Let h(f) = 2*f - 5. Let n be h(m). Is j at least as big as n?
False
Let w(c) = -10*c - 21. Let p(n) = 21*n + 42. Let j(v) = 2*p(v) + 5*w(v). Let t be j(-15). Is 99 smaller than t?
False
Let i be ((-7)/(-2))/(44/4312). Suppose -4*c = i + 361. Is -175 less than or equal to c?
False
Let y = -103.172 + 0.172. Let w = y - -109. Let m = -10 + 10.04. Is m less than w?
True
Let l be (-13 + 18)/(1/(-17)). Let w = l - -91. Let v(d) = -2*d + 24. Let f be v(w). Is f less than 14?
True
Let r be (-3)/(-6) - (-250)/(-484). Suppose 0 = -53*h + 4 + 52 - 3. Is h > r?
True
Let m = 33091/1436 + -52337291/2359348. Let z = m - 105/124. Which is smaller: z or 0?
0
Let v = -72 - -433/6. Let m = -53 + -4. Let c = m + 626/11. Which is greater: v or c?
v
Let m(u) = -3*u**3 + 19*u**2 + 4*u - 3. Let w be m(6). Let y be (-84)/741 - (-6)/w. Which is smaller: y or 0?
y
Let a be -2 + ((-5)/((-100)/(-16)))/((-33)/(-3495)). Which is greater: -87 or a?
a
Let v(o) = -8*o**2 - 410*o + 269. Let a be v(-48). Which is smaller: a or 1518?
a
Let g(l) = -l**3 + 11*l**2 + 11*l + 25. Let t be g(12). Suppose -t - 1 = -2*v. Which is bigger: v or 8?
8
Suppose 2*v + 5 = 2*t + 27, -4*v = -t - 44. Suppose -v = -7*z + 10. Suppose 2*p = -z*p. Which is smaller: 2/31 or p?
p
Let a(i) = -i**3 + 26*i**2 - 81*i - 336. Let x be a(6). Let l = 104 - 206. Do x and l have the same value?
True
Let l(f) = 127*f**2 - 21*f + 66. Let u be l(5). Suppose -16 = -15*r - u. Which is bigger: -207 or r?
-207
Let l(w) = -w**2 + 14*w + 30. Let g be l(-2). Let y be (319 + -7)*g/(-3). Is y greater than 208?
False
Suppose -4*x - 29 = 3*c, -3*c + 3*x + 2*x = 38. Let h be (-39)/(-7)*(-665)/380. Which is greater: c or h?
h
Let b be (-5)/(-10)*84*(-7)/(-14). Which is smaller: b or 15?
15
Let a = -299 + 300.79. Let c(i) = 147*i - 442. Let r be c(3). Which is smaller: a or r?
r
Suppose 16*l - 154 = 14*l. Suppose 4*a = -453 + l. Is a less than or equal to -95?
False
Suppose -14 = 4*s + 652*p - 651*p, 0 = 5*s - p + 4. Is s >= -173/56?
True
Suppose -110 - 18 = -2*f - 2*y, -y + 304 = 5*f. Let i be (-2)/(-10) - (21/(-7))/f. Is -2/145 < i?
True
Let z(d) = d**2 + 6*d + 39. Let s be z(-7). Suppose 2*x = -8, 0 = b - 3*x + s + 26. Which is bigger: b or -1/4?
-1/4
Suppose -3*d - 1 = -2*z, -4 - 18 = -4*d - 2*z. Which is bigger: 106/45 or d?
d
Suppose 65*t - 24452 + 22640 - 34263 = 0. Is -2/3 >= t?
False
Let w = -1/12195 - -2711/12195. Is w >= 6/17?
False
Let v = 24932 + -25206. Which is greater: -1371/5 or v?
v
Let r be (-16)/(-32)*(-2 + (4 - 360/25)). Let x be (-21)/4 + 8/32. Which is greater: r or x?
x
Let z be ((-3)/(27/30))/((-38)/(-12027)). Are z and -1056 non-equal?
True
Let w be (1/30*(2 + 2))/(73/219). Which is greater: w or -22368?
w
Let i = -120 - -120. Suppose i = 11*d - 19*d + 136. Is 19 bigger than d?
True
Suppose 0 = 5*x - 0*x + 5. Let h be 4 + (38/4)/((-21)/(-6594)). Let s = h - 988695/331. Which is smaller: x or s?
x
Let l(u) = 2*u**2 - 5*u - 14. Let f be l(-8). Suppose -157*h = -f*h + 33. Let q be 3/(-9) + 22/(-6). Which is bigger: q or h?
q
Let m(c) = -c**3 - 2*c**2 + 4*c + 6. Let n be m(-3). Let y(l) = -l**2 - l + 1. Let v be y(n). Suppose -3*f - 33 = -0*f. Is v greater than f?
False
Let f = -1700 + 1711. Which is smaller: f or 0.55?
0.55
Let d be (5/6 + (-7)/(-14))*3. Suppose d*l - 5*f + 222 = -5, 5*l = 5*f - 290. Is l greater than -64?
True
Let g be 1/((-2)/4) - -6. Let f = 188 + -186. Suppose -4*q + f*y - 14 = -5*q, 4*y = -4*q + 40. Which is smaller: g or q?
g
Suppose -5*z + 0*z = -10. Suppose 5*h = 2*t - 10, 9*t = -4*h + 10*t - 5. Suppose 4*r - 8 = -4*l, -3*r + h*r - 4*l + 6 = 0. Is z at least as big as r?
True
Let i be 4763 + ((4 + 0 - 9)*-1 - 13). Is 4755 at most i?
True
Let x be 25 + 10 - (-1 + 2). Suppose -11 = 45*f + x. Is 4/463 >= f?
True
Suppose -5*m - 7381 = -2*i, -3*i - 21 = -15. Is m >= -1475?
False
Let c = -7816.2 - -7815. Is 60 > c?
True
Let x = -2986 - -3009. Which is smaller: 32 or x?
x
Let a = -41839/38643861 - -5/14037. Suppose 0 = -v - t + 9 - 10, v - 2*t + 1 = 0. Which is smaller: v or a?
v
Let c(q) = q**3 - 4*q**2 + 2*q + 4. Let d be c(2). Suppose d = 5*l - 5*g - 55, -l + 8 = -0*l + 2*g. Which is greater: 8 or l?
l
Let n = -1407 - -1390. Let o be 2*2/(-14)*58. Are o and n non-equal?
True
Let j be (0 - 2)*(-1)/((-18)/99). Let q = 9327/13 - 717. Which is bigger: j or q?
q
Let w(y) = -434*y + 448. Let r be w(17). Is -6930 less than or equal to r?
True
Let s(k) = 3*k + 33. Let d(i) = -i - 11. Let q(y) = -8*d(y) - 3*s(y). Let h be q(7). Let c = h - -26. Which is greater: c or 5?
c
Let x = 1705 - 806. Let z = 898.923 - x. Which is greater: z or -2/5?
z
Let z be (-140)/147 - 4/(-14). Let h = 53 - 93. Let j = h + 2319/58. Which is greater: z or j?
j
Suppose 4302 = 7*c + 20794. Is -2356 greater than c?
False
Let w be (-31)/341*(-2 + 0). Which is bigger: w or -238?
w
Let p = 213/2977 + -34/229. Is p > -8?
True
Let v be 1/(-3) - (((-64940)/3750 - -11) + 6). Which is greater: v or -1?
v
Let k = -220 - -338. Suppose -945*o = -220*o - 725. Are o and k equal?
False
Let g = -41534 + 789400/19. Which is bigger: g or 13?
g
Let p = -637 + 638.8. Let o = 0.98 - p. Is o at least -2?
True
Let i(o) = 58*o**2 - 340*o - 6. Let x be i(6). Which is bigger: x or -42?
x
Let a(p) = -2*p**3 - 3*p**2 + p + 8. Let t be a(-4). Let f = -338 - -425. Is f greater than t?
True
Let s(t) = -t**3 + 30*t**2 + 3*t - 74. Let o be s(30). Let l be 4/2 - (-50)/4. Is o <= l?
False
Let m(n) = n - 23. Let q be m(26). Let k be (64/720)/(2/q). Is k not equal to -1?
True
Let r = -11861 + 83025/7. Is r smaller than 508.4?
True
Suppose -3*l - 176 = -47*l. Let x be (-24)/96 - 111/l. Is -24 equal to x?
False
Let t = 73 - 70. Suppose -338 = -5*q - t*o + 5*o, 3*o + 342 = 5*q. Let u be ((8/15)/4)/((-11)/q). Is -2 > u?
False
Let j be (1/2*-4)/(9 + 8 + -15). Which is smaller: j or -1/645?
j
Suppose 10*q + 5*o = 13*q + 13, -4*q - 2*o = 0. Is q at most as big as 1/3686?
True
Let j = -1055 + 1139.9. Let g = 85 - j. Which is smaller: g or -2/17?
-2/17
Let l(z) = -2*z**2 - 73*z + 926. Let k be l(10). Let j(f) = -f**3 - 4*f**2 + 4*f - 3. Let u be j(-5). Suppose -3*o = -u*m - o + 6, o = 5*m - 7. Is k < m?
True
Let g be ((-4)/(-14) - (-124709)/(-440377))*28/(-63). Which is smaller: g or 0?
g
Let j(f) = 2*f - 33. Let z be j(19). Let d be (6/z - 1)*56/(-14). Let i = 7/15 + d. Which is smaller: -0.59 or i?
-0.59
Let j = 204 + -124. Let k be -5 + (635/j - 3). Does k = -1?
False
Let d(b) = b**3 - 11*b**2 + b + 16. Let i be d(11). Let m(r) = 7*r + 3. Let o be m(1). Suppose 0 = o*f - 3*f - 196. Which is smaller: i or f?
i
Let z = 219097/150378 + -304/213. Is 0 at most z?
True
Let n(t) = 1671*t + 13367. Let y be n(-8). Is -2/30131 bigger than y?
True
Let o = 42 + -38. Suppose -o = -v, 3*q + v + v = 116. Let k = 37 - q. Is k less than 3?
True
Suppose -3*p + 2*p = g + 17, -3*g = -p + 31. Let f(m) = m + 23. Let z be f(-12). Let d = z + g. Which is smaller: d or -14?
-14
Suppose -5*f - 3*y = -455 + 460, -23 = -4*f + 3*y. Is 5362 greater than f?
Tru