Let s(w) = -2*w - 4. Let q be s(2). Which is smaller: d or q?
q
Let b(t) = t**3 + 3*t**2 - 32*t + 79. Let i be b(-9). Is -114 at least i?
True
Let m = -0.16366 - 727.73634. Let d = m + 697. Let k = d + 31. Is k greater than -56?
True
Suppose -6*q + 79 = -5. Suppose 3*r - 3*s = -6, -5*r - 4 = 4*s - 12. Suppose 4*k - 22 = -3*i, 2*k = -3*i - r*k + q. Which is bigger: -0.12 or i?
i
Let c = 1855 + -1850. Which is smaller: c or 57/14?
57/14
Let i = -230 - -231. Suppose 458*q = 457*q - i. Which is smaller: q or 19/12?
q
Let u(g) = -4*g**3 - g**2 - 2*g - 1. Let y(w) = 3*w**3 + 5*w**2 + 3. Let a be y(-3). Let q = -34 - a. Let f be u(q). Is 3 at least f?
False
Let m be ((-12)/2 - 88) + -1. Which is smaller: -753/8 or m?
m
Let c be (-23156)/60 - (2/3)/(-2). Let o be 1*-13*2*-15. Let q = c + o. Are q and 4 non-equal?
True
Let k = 1061 + -1054. Which is smaller: k or 244?
k
Let d = -565 + 568. Suppose 4*z + c + 292 = d*z, -z - 302 = 3*c. Are z and -286 equal?
False
Let d = -126 + 880/7. Let k = 64.1 - 8.1. Let w = 62 - k. Is w not equal to d?
True
Let u be -5*(14/5 - 2/5). Let y(z) = -z - 20. Let i be y(u). Let j = 2 + i. Is j greater than -5?
False
Let j = -815402/1723 + 20137354691/42561546. Let p = j - -1/537. Which is greater: p or -1?
p
Let n = 18574 + -1021578/55. Is n greater than -3?
True
Let a(f) = -5*f + 4. Let z(i) = -4*i + 3. Let s(w) = 3*a(w) - 4*z(w). Let q be s(-7). Let x(g) = g + 2. Let u be x(q). Is -6 > u?
False
Suppose -2 = -4*y - 6. Let m be 5/(0 - -5)*y. Is m less than -4/65?
True
Let q = 21.99 - 22. Let k = 718.3 - 708.3. Are k and q nonequal?
True
Let o(a) = -a**2 + 21*a + 4. Let c be o(21). Suppose 3*m + r - 2*r = 169, r + 226 = c*m. Suppose 0*u - u = y - m, -5*u + 2*y = -264. Is u at least as big as 55?
False
Let i(x) = x**2 - 10*x + 1. Let h be i(9). Let c be 7 - (-138)/(-21) - 46/(-7). Suppose 19 + 30 = -c*u. Is h at most u?
True
Suppose 727 = 3*u + 2*k - 189, 4*u - 1226 = 2*k. Is u at least 303?
True
Let y = 19433 - 19437. Which is bigger: y or -340/109?
-340/109
Let n = 38918 - 38919. Let c = -4 - 2. Let w be 6/9 + 7/c. Is n at most w?
True
Suppose -22*y = -102*y - 1729 - 3471. Suppose 182 = -4*d - 70. Which is greater: d or y?
d
Suppose -10*r - 285 - 595 = 0. Let z = r - -87. Is z at least as big as -2/41?
False
Suppose -3*x + 2*g = -152 + 540, 0 = -3*g + 15. Which is bigger: -123 or x?
-123
Let q = 424 - 424.561. Let p = 1.664 - 1.725. Let i = p - q. Does -0.7 = i?
False
Let v = -19690 - -4056153/206. Is -1 less than or equal to v?
True
Let t be -4 - (-12 - -7) - (0 + -95). Let y = t + -93. Suppose -y*w + 9 = -j, 3*j = 3*w - 9 - 0. Which is smaller: j or 12/19?
j
Suppose -65*u = -70*u. Suppose 4*t + d = -2*d + 13, -4*t + 3*d + 19 = u. Suppose t*s - 27 = 4*l - l, -5*s + 33 = -3*l. Which is greater: s or 7?
7
Let m = 2465/24 + 95/24. Let k = -1729/15 + m. Suppose -35 = g + 104*a - 109*a, 0 = 3*g + 2*a + 20. Which is greater: g or k?
k
Let o(z) = -z**2 + z - 4. Let j be o(0). Let s be -2 + (164/112 - j/14). Is s at least 0?
False
Let g(d) = -2 - 4*d**2 + 5*d - 2 - 5*d**2 - 1 + d**3. Let v be 156/(-65)*15/(-4). Let z be g(v). Which is greater: z or 39?
z
Let b = 11.8 + -3.4. Let y = -14.4 + b. Suppose 0 = -3*k - 0*k. Is k at least y?
True
Suppose -2*p + 206 = -164. Suppose 2*x - 79 + p = 0. Is x at most -49?
True
Let z be (-56)/(-35)*65/364. Let v = -9.75 + -0.25. Let y = v - -10.06. Which is smaller: z or y?
y
Suppose -5*j - 3*l = -312, 0 = -4*j + 2*j + 2*l + 144. Are j and 48 nonequal?
True
Let l = 274673/13 + -21218. Which is bigger: l or -90?
l
Let h = 101.2 + -99.251. Let r = 5.67 + -5.721. Let u = r - h. Which is smaller: u or 2/5?
u
Suppose -2*m + 3*f + 3369 = 0, -8*m + 3*f + 1692 = -7*m. Let u = m + -60377/36. Which is greater: u or 1?
1
Let y = 0.3167 + -2.2967. Which is greater: y or 2?
2
Let b be 5 + (-598)/(-5) + (-2)/(-5). Let g = b + -63. Suppose 0 = -58*z + g*z - 76. Is 19 greater than z?
False
Let c = 324.45 - 396.45. Are -110 and c equal?
False
Let m be (-40)/32 + (-6327)/(-3116). Which is greater: 2 or m?
2
Suppose -38*h + 37*h - 8 = -5*r, 4*h - 43 = 5*r. Which is greater: h or 1/12?
h
Let c(f) = -19*f**3 - 11*f**2 + 3*f + 6. Let m be c(5). Are -2628 and m equal?
False
Suppose 0*f = 5*x + f - 280, 5*x - 300 = -5*f. Let m = x - 53. Suppose m - 24 = -2*k. Which is smaller: k or 10?
10
Let m = -106943 - -1711711/16. Suppose -2*o + 156 = 2*o. Let f = m - o. Do -1 and f have the same value?
False
Suppose 0 = 3*w - 3*l + 1416, 13*w - 11*w + 938 = -4*l. Let o = 471 + w. Is o greater than or equal to 18/13?
False
Let o = -67 + 66.35. Let h = o - -9.95. Let g = 9.7 - h. Do -0.2 and g have different values?
True
Let l = 20829 - 11959. Is 8869 < l?
True
Let j = -113 - -109.4. Let y = j - -3.43. Is 1 > y?
True
Let z(p) = -16*p**2 - 6*p + 242. Let j be z(-28). Is j greater than -12134?
False
Let x be (24/(-5))/((-39)/(-130)). Let g(r) = -30*r + 57. Let a be g(x). Suppose -7*n - a = 275. Which is greater: n or -115?
-115
Suppose -4*n + 8877 = 5*k, -3*k = 19*n - 24*n + 11124. Suppose -v - n = 8*v. Which is smaller: -246 or v?
v
Let p = -245 - -664. Let t = -407.7 + p. Is t <= 2?
False
Let p = 20169 - 20928. Are p and -759 nonequal?
False
Let n(g) = -2*g**3 + 65*g**2 + 38*g - 13. Let o be n(33). Is 150 less than o?
True
Let z = 41 + -33.9. Let w = 7.2 - z. Is w less than or equal to 44?
True
Let i be (8/(-10))/((-3)/15). Let h = -1906 - -1911. Suppose 0 = -h*u + i*u - 1. Which is greater: 4 or u?
4
Let i = 48039/1478 + -2/739. Let r = 10 - 8. Let q be (-132)/(-4) - (r + -3). Are q and i unequal?
True
Suppose -27 = 91*f - 108*f - 231. Which is smaller: -46 or f?
-46
Let a(i) = 3*i**3 - 24*i**2 - 52*i - 20. Let z(g) = g**3 - g**2 - 2. Let s(x) = a(x) - 4*z(x). Let u be s(-17). Which is smaller: u or 50/9?
u
Let l = 14703 - 14742. Let p = -8 + -19. Which is smaller: p or l?
l
Let v = -2 + 1.9. Let z = -7096.14 + 7096.41. Is z < v?
False
Let q = -17 + 85. Let j = q - 136. Let a = j - -68. Is a at least as big as -0.002?
True
Let n(a) = -a**2 - 14*a + 32. Let w be n(-16). Suppose 0 = 5*y - 2*x - 240, 4*y - x = -w*y + 192. Is 47 less than or equal to y?
True
Suppose 5 = -2*i + 17. Let x be ((-2)/i)/(5/(-570)). Suppose 1200 = 32*f - 16. Is f != x?
False
Suppose -5*h + 13 = -3*u - h, 2*u + 20 = -3*h. Let r(b) = -2*b**2 - 14*b - 5. Let j be r(-6). Suppose -o + j*o + 6 = 0. Is u smaller than o?
True
Let c = 4597 - 4595.76. Let p = 37 - 35. Which is greater: c or p?
p
Let m be 126025/150 + (-11)/66. Is 840 equal to m?
True
Suppose 0 = o + 5*v - 32, 5*o + 4*v + 0*v - 76 = 0. Suppose 0 = -6*d + 4*d, -2*d - 5 = -a. Suppose 2*y - 3*h = 8 + a, 4*h = 12. Which is bigger: y or o?
o
Suppose -3*y + 5*t + 34 - 134 = 0, -4*y = -4*t + 120. Let u be (-10)/y + (-21)/15. Let c = 7112/13 - 548. Are u and c unequal?
True
Let x = 12619.2 + -48.2. Which is bigger: 0.1 or x?
x
Let z = 156.6 + -13.6. Let v = -142.8 + z. Which is smaller: -4/15 or v?
-4/15
Let k = 1588.9 - 1589. Which is smaller: 10/103 or k?
k
Let h be 272/(-20) - 208/(-16). Which is bigger: -2/317 or h?
-2/317
Let v(m) = -17*m - 89. Let s be v(-12). Let c = s + -104. Which is greater: c or 18?
18
Suppose 3*y - z = -4, -2*z = -0*y + 2*y. Suppose 2 = -2*w - 3*j, -j - j = -4*w - 4. Let r be 1*w - (y + (-12)/78). Which is greater: r or -3?
r
Let i = 179274532 - 3023998519/17. Let n = 1391772 - i. Let t = n - -494. Which is smaller: t or -1?
-1
Let l be 1/2*-8*51702/(-8). Is 25852 <= l?
False
Let d = -252 + 360. Suppose 3*t + c = d + 127, 0 = -3*t + 3*c + 231. Which is greater: 82 or t?
82
Let m be (13 + -2)*(-1 + -1 - -3). Let h(d) = -d**3 + 4 + 3*d + 0*d**2 + 1 + 11*d**2 - 3. Let s be h(m). Which is smaller: 36 or s?
s
Let y = 96442 + -1062207/11. Which is smaller: -121 or y?
y
Suppose -3*x = -12, -2*h + 3*x + 2 = -4. Suppose -5*o + 24 = -3*m - 0*o, 0 = m + 4*o - h. Which is greater: m or -15/8?
-15/8
Let c(j) = 2*j**2 + 104*j - 109. Let z be c(-53). Which is smaller: -1/350 or z?
z
Let d be 1 + (-2)/3*24*1. Suppose 80*i - 121*i = 656. Is i at least as big as d?
False
Let i = -11.7 + 6. Let v = i - -0.7. Let f = 17/76 + 1/38. Which is smaller: f or v?
v
Let l = 2485/6 - 412. Let u = l + -23/6. Which is smaller: 1/3 or u?
u
Let h be 23219/(-3) - ((-9802)/(-174) - 54). Is h >= -7745?
True
Le