greater: c or q?
c
Let n(k) = k**2 - 9*k + 13. Let t be n(9). Suppose -10 = 2*y, 6*s - 10*s + y + t = 0. Is 9 < s?
False
Let w = 578.028 - 577. Let p = -0.028 + w. Which is bigger: -5/32 or p?
p
Let p(g) = 3*g + 2. Let b be p(1). Suppose -60 = b*z - 2*y + 7*y, 0 = 3*z + 5*y + 34. Let r = z + 13. Is r equal to 0?
True
Suppose -70 = 115*d + 127*d + 172. Do d and -1/28795 have different values?
True
Let t = 88926 + -444612/5. Let r(l) = l**2 - l + 1. Let j(w) = -3*w**2 - w + 4. Let y(m) = -j(m) - 2*r(m). Let k be y(-5). Which is smaller: t or k?
t
Suppose 6*h + 2*u - 125 = h, 0 = 2*h + 2*u - 44. Suppose -l + 24 = 3*g + 2*l, 3*l - 40 = -5*g. Suppose -h = -5*i + g. Which is greater: i or 8?
8
Suppose 2*k - 11472514 = -2*b - 2*b, 2*b + 2*k - 5736254 = 0. Let w be (2/215)/((-8)/b). Let t = w - -3335. Is 1 > t?
True
Let z be (-539)/3 + 2/(-6). Let m be -8*-2*3/z. Suppose -5*f - 15 = 5*a, a - 4 + 1 = 5*f. Which is bigger: m or f?
m
Suppose -2*y = k + 22, -y - 7 = -k + 1. Let j be (-276)/y*(28 - 23). Let u be j/9*(-3)/(-2). Does u = 23?
True
Let l = 1102/5 - 222. Let n = 110 + -97. Suppose 0 = -a + 4*s + n + 2, 4*a + s = -8. Is a bigger than l?
True
Let x = -343 + 299. Let d be 18/(-42) + x/(-119). Is -3 greater than d?
False
Let o be 1/2*(41/37 + -33 + 32). Which is smaller: 5/2 or o?
o
Let z = -96 - -102. Let h(k) = 3*k**2 - 17*k - 6. Let p be h(z). Which is greater: p or 4/265?
4/265
Let k = 216 + -220. Let y be (1*3/(-63))/(k/66). Does y = 2?
False
Let a(y) = 4*y + 54. Let k be a(-13). Suppose 4*x + 21 = 7*x + 3*d, -4*d = k*x - 24. Suppose 0 = 5*v + 3*s - 6 + x, 4*s + 8 = 0. Which is greater: 4 or v?
4
Suppose 0 = 5*r - 2*m + 1090, -9*m + 8*m = -4*r - 875. Which is smaller: r or -227?
-227
Let c be (-17)/(-4) + 0 + 20/(-80). Suppose 0 = -0*i + c*i + 96. Let d be 3 + 9/i + 0. Is 4 bigger than d?
True
Suppose 86*k - 1576 = 918. Which is smaller: -0.06 or k?
-0.06
Let k(f) = f**3 + 8*f**2 - 2*f + 8. Let c be k(-8). Suppose -u - 2*u + c = 0. Suppose 30*t - 172 - 38 = 0. Is u equal to t?
False
Let i = -12151 + 12208. Is i at most as big as 57?
True
Let n = -532 - -527. Let s be (-1*4*n/(-5))/2. Suppose 2*m = 23 - 87. Which is smaller: s or m?
m
Let x(p) = 11*p - 227. Let z be x(21). Suppose v + 2*v - 24 = 0. Let k = v + -5. Which is bigger: z or k?
z
Let j = -7.17 + -311.83. Let c = j - -319. Which is smaller: c or -42?
-42
Let s be (-2)/7 + (-2)/7*(-101 + 100). Are -2748 and s nonequal?
True
Let x = 19.09137 + 0.20863. Which is bigger: x or -18?
x
Suppose 91*v - 92*v = -n - 1142, v - 2*n = 1141. Are 1141 and v unequal?
True
Let j be -3*68/6*(-1)/2. Suppose -18 = -11*q + j*q. Is -2 equal to q?
False
Let m be (-6)/8*(-80)/12. Let a be 2*(-1)/9 - m/30. Let p(j) = -j**2 - 6*j + 1. Let f be p(-6). Which is smaller: f or a?
a
Suppose -3*x = 5*s - 175, -4*x - 51 + 279 = 4*s. Let p = 52 - x. Let a be (195/25 + p)*1. Which is bigger: a or 4?
a
Let f be (2 - -2)*(2524/(-2528) - -1). Is f <= 1/9?
True
Let w(j) = 1038*j**3 + 2*j**2 - 2*j - 1. Let y be w(1). Suppose 2*k + 15*k = -y. Are -60 and k nonequal?
True
Let d be 9/(81/(-114))*(0 + -9). Suppose -b - 5*w = -2*b + 44, -2*b - 3*w = -d. Let m = b + -164/3. Which is bigger: m or 3?
3
Let i = -5600/17 - -397583/1207. Which is smaller: i or 7/10?
i
Let x(m) = 3*m**3 - 4*m**2 + 3*m + 2. Let w be x(3). Suppose g - w = 5*g. Suppose -173*o + 588 = -222*o. Is o at least as big as g?
True
Suppose -s = 5*h - 173, 5*h + 3*s - 179 = -0*h. Suppose 641*f - 10754 = 15527. Suppose 3*k = 2*n - 0*n - h, -5*n = -2*k - f. Is k not equal to -5?
True
Let c = -25562.632 + 3385.714. Let r = c + 22155. Let k = -22 - r. Which is smaller: k or 1/4?
k
Let w be (-6 - 0) + (43/9 - 34/(-153)). Which is smaller: 1/216 or w?
w
Suppose 7*x - 10*x - 5*f + 16553 = 0, 0 = 4*f - 4. Is x less than 5518?
True
Let n = 8090.2 - 8090. Which is bigger: -461 or n?
n
Suppose o - 7 = -d, -4*o + 2 = -10. Suppose 0 = g + d*g. Are 4/175 and g unequal?
True
Let u = 1688 - 1688. Is -0.15 bigger than u?
False
Suppose x + i - 8 = 2*i, -x - 5*i - 22 = 0. Suppose -3*b - 17 = -4*l + x, -5*b = l - 5. Is 0.018 less than b?
False
Suppose -10*l + 24*l = 31*l - 42092. Are l and 2477 equal?
False
Let s = 0.1 - -4.9. Let m be (45/2)/((-27)/54). Let b = m - -492/11. Is s not equal to b?
True
Let z be 284/8*6*4/(-3). Is -4 <= z?
False
Let s = -9865/209 + 635/11. Is s >= 11?
False
Let h = 4/11903 - 58709/210123659. Which is greater: h or 0?
h
Suppose 2*k - 570 = -4*t, -7 = -5*k - 2. Let g = t - 91. Let z be (-34)/g + (-11)/(-12). Which is smaller: 6 or z?
z
Let a = -0.1345 - 582.1655. Let q = -582 - a. Is q greater than 2/19?
True
Suppose -140*d + 132*d = 8. Let l be -2*d*6/(-36). Which is smaller: 3/5 or l?
l
Let b = 5507 - 5507.35. Which is bigger: b or 17?
17
Let x = -1.3689 - -0.3689. Is 99/2 bigger than x?
True
Let v = 66921.122 - 66856. Let r = v - 65. Is r bigger than -2/3?
True
Let y = 20995 - 20995.095. Is y less than or equal to -1?
False
Let q = 780 + -4. Let b = q + -4643/6. Let v = 36 + -143/4. Is b less than or equal to v?
False
Let r = 2 - -27. Suppose -145 + 29 = 4*w - 5*g, -84 = 3*w - 3*g. Let b = w + r. Is b >= 4?
True
Let d(s) = -s**3 - 4*s**2 + 7*s + 3. Let a be d(-4). Suppose -4*v + 1000 = 5*t, -8*t + 9*t = 4. Let l = -269 + v. Which is smaller: l or a?
a
Suppose -x + 4*s = 39 - 106, -5*s + 69 = 2*x. Let u be 8481/88 + (-3)/8. Suppose t = -4*o + 48, -4*o = 2*t - 2*o - u. Is t greater than or equal to x?
True
Let r = 4162316/158999 - 30/6913. Suppose 14 = n - 3*b - 15, -b + 129 = 5*n. Let f = r - n. Is 1 <= f?
False
Let t = 15911 + -15911. Let n be (-231)/837 + 2/9. Are t and n equal?
False
Let v(g) = -g**3 + g**2 + 34*g + 18. Let y be v(-4). Suppose 2*t + 60 = 3*a, 0 = -3*a - 17 + 5. Let h = t - y. Which is smaller: 3 or h?
h
Let l(w) = 185*w**2 + 2*w - 1. Let u be l(1). Suppose 166 = -3*q - t, -u = 3*q + 40*t - 43*t. Which is greater: q or -61?
q
Let j(x) = -x**3 + 14*x**2 - 24*x + 5. Let y be j(11). Let z be y*(-3)/(-138) - 4/1. Which is greater: z or -3?
z
Let p(c) = -32*c - 63. Let l be p(-6). Let q = l - 130. Is q < 2/89?
True
Let n = -3315 + 5820. Which is smaller: n or 0.1?
0.1
Let w be (1 - 2695)/((-1)/(4/(-6))). Let n = -3353/2 - w. Is n at least 120?
False
Suppose -5*l - 4*l - 180 = 0. Let t be (12/24)/((-14)/l). Let z be (8/(-2))/(1 + -3). Which is greater: z or t?
z
Let v = 7888 - 8772. Which is smaller: -1 or v?
v
Suppose -5*s + 3*v = 2952, -4*s - 4*v + 36 - 2372 = 0. Do s and -590 have the same value?
False
Let y(p) = 4*p + 53. Let s be y(25). Let r = s - 460/3. Do 0.27 and r have different values?
True
Let i(f) = -f**2 + 11*f + 95. Let h be i(-6). Let c be 1/(-5) - (93/(-15) - h). Is 5/111 less than or equal to c?
False
Let w(i) = i**3 + 21*i**2 - 13*i - 94. Let m be w(-12). Which is smaller: m or 1360?
m
Let d = 418748 - 1675009/4. Let x = 1 - 2. Which is smaller: d or x?
d
Suppose 48*z = -5*j + 45*z + 16, j + 2*z = 13. Which is smaller: j or 4/31?
j
Let x = -412.036 + 3.036. Which is greater: 0 or x?
0
Let g = 7.199 + -10.599. Are 23 and g non-equal?
True
Let c = 2007 - 52179/26. Which is smaller: -9 or c?
-9
Let u = 87444 + -3147679/36. Let d = -47/9 + u. Let j = -3 + d. Is j smaller than 12/11?
True
Let q(u) = -4 + 14*u**2 - u**2 - 7*u**2 + u**3. Let o be q(-6). Which is smaller: o or 3/10?
o
Let j = -131/12 - -43/4. Suppose 0*f + 11 = -3*f + 4*l, -4*f = 4*l - 32. Suppose -3*o = -0*o - f. Is j < o?
True
Let i be (0 + -3 + (-54)/(-12))/((-8)/(-448)). Is 85 greater than i?
True
Suppose -p + 1 = 3*q, -37*q + 36*q - 5*p = -5. Which is greater: q or 3/4184?
3/4184
Let v = 54 + -72. Let u be (-4)/(-66) - (-6)/v. Suppose 4 = -0*f - 4*f, 0 = -d - 4*f - 4. Is u greater than d?
False
Let a(x) be the second derivative of x**3 + 23*x. Let r be a(-3). Suppose 29 - 4 = -5*c, 0 = 3*f - 3*c + 42. Which is bigger: r or f?
r
Let s be 1*42 - (-214 - -224). Let h(c) = -c**2 + 0*c**2 + 0 + 9*c**2 + 1 + c. Let f be h(-2). Is s greater than f?
True
Let h = -7064 - -7063.9. Is h <= -0.0573?
True
Let u = -4/1531 + -3050/4593. Is -2.83 smaller than u?
True
Let g be (-31)/62*(-53 + 1). Let h(d) = -12*d + 154. Let m be h(g). Which is greater: -157 or m?
-157
Let w = 58.889 - 58. Let l = w + -1.054. Is l at most 1/3?
True
Suppose 2*m + 222*d = 221*d + 1, 0 = -m +