ual?
True
Suppose 2*k = 6*k + 20, 0 = 2*q - k - 11. Suppose 55 = -q*z + 2*s, -4*z + 5*s = 14 + 64. Let o = 10 + z. Which is bigger: -6 or o?
-6
Suppose 5*k = 5*u, -4*u + 8 = -2*k - 0*k. Suppose 16 - 32 = 3*l + 4*g, g = 8*l - 4. Suppose 5*x + 0*x - u*z = 10, l = -4*z - 20. Is -2 less than or equal to x?
True
Let h be 24/1026*24/(-112). Which is bigger: -1 or h?
h
Suppose 5*w + 88 = -117. Let a = w + 288/7. Let b(h) = -3*h**2 - 46*h - 177. Let q be b(-8). Is a < q?
False
Suppose 0 = -73*s + 20*s + 6504 - 1575. Let u be (96/(-1))/(-1) - 2. Which is smaller: u or s?
s
Let a be (-249)/(-7) + 0 + (-684)/1197. Which is greater: 36 or a?
36
Let a = 151.06 + -151. Which is greater: 0.02 or a?
a
Let d be 2/(-12) + 52099/1590. Is d greater than 32?
True
Let b be (-181)/(-25) + -10 + 3. Which is bigger: 1 or b?
1
Let d(z) = z**3 + z**2 + 4. Let w be d(3). Let m be 5/w*-6 - 2/8. Does m = -3/10?
False
Let k(y) = 9*y + 7. Let f be k(-3). Is -16 greater than f?
True
Let m = -4 + 8. Suppose 3*o - 2 = m. Suppose b = o*b - 1. Is b at most -1/4?
False
Suppose 14*d = 11*d + 51. Suppose -4*m - d + 9 = 0. Is -8/11 < m?
False
Let v be 2*(9 + (-2 - -1)). Suppose 11*u - v = 7*u. Is -2/17 equal to u?
False
Let m be ((-99)/(-6))/((-24)/320). Is m greater than -221?
True
Let u(s) = -s**2 + 9*s + 7. Let c be u(9). Suppose -n = -c*n. Is n >= 0?
True
Let w(m) = 9*m - 10. Let g be w(5). Let d be 4/(-5) + 1078/g. Is -1/2 less than d?
True
Let y be (-7)/(-63)*4/(-534). Let k = y - 21611/19224. Which is greater: k or -0.2?
-0.2
Let x(p) = -p**3 - 2*p**2 - 2*p + 23. Let t be x(0). Suppose o + 17 = t. Which is smaller: o or 5?
5
Let j be (-4)/398*(-18)/36. Which is smaller: j or -0.1?
-0.1
Let z = -29 - -27. Let l be (-483)/147 - 1/7*z. Is l equal to -13/5?
False
Let c(f) = f**2 - 22*f + 43. Let x be c(19). Is 0.2 equal to x?
False
Let x(t) = -t**3 - 2*t + 4. Let l be x(0). Let p = 146 + -587/4. Which is bigger: l or p?
l
Suppose -37*n = -40*n - 27. Let z be ((-3)/6)/((-2)/(-44)). Which is bigger: z or n?
n
Let x(v) = 2*v - 2. Suppose t + 3*j - 24 = 0, 0 = -2*t + 6*t - 3*j - 126. Let h = 32 - t. Let y be x(h). Is 1 at least as big as y?
False
Let n = -471 - -311. Let d = n + 155. Let z(q) = -q**3 - 4*q**2 + 7*q + 5. Let w be z(-5). Is d at most as big as w?
True
Let i be (-4)/(-12) + (-3 - (-75)/9). Which is bigger: i or 6?
6
Let c = -1045 + 1045. Which is smaller: 3/67 or c?
c
Let u be 1 - (26/117 + 398/(-90)). Is 0.4 < u?
True
Suppose -25 = -4*b + 5*v + 30, -b = 3*v - 35. Which is bigger: b or 342/17?
342/17
Let y(b) = -24*b - 526. Let l be y(-22). Which is smaller: l or -20?
-20
Let t(c) = c**3 + 30*c**2 + 29*c - 1. Let n be t(-29). Is n <= 2/147?
True
Let t = -252.668 + -0.332. Is -0.2 at most as big as t?
False
Let s(c) be the second derivative of c**3/6 - 3*c. Let a be s(-10). Which is bigger: a or -12?
a
Suppose -3*q - 126 = 5*b, 3*b + 3*q - 66 = 6*b. Let p be (46/(-6))/((b/9)/8). Is 2/7 less than p?
True
Let w = -9.1 - -46.1. Let z = -59 + w. Let b = z - -22. Which is smaller: b or 0.2?
b
Let m = -290 - 48. Let a be m/(-10) + ((-40)/25)/2. Which is greater: 35 or a?
35
Let n = -70/43 - 778/473. Which is bigger: n or -2?
-2
Let c be 4 + -1 - 2 - -7. Let j be c/6 + 1/(-3). Let p = 1529.07 - 1529. Which is bigger: p or j?
j
Let d = 707 - 353. Are 1 and d equal?
False
Let h = -2.905 + 0.005. Let n = -2.86 - h. Is 1 smaller than n?
False
Suppose -2*t = 24*t - 20904. Which is bigger: t or 803?
t
Let m = 80 + -2. Which is smaller: m or 76?
76
Let t be 3*1*(-6)/(-9). Let k be t/7 - 8/7. Suppose 3*d = -4*a + 17, -2*d = -0*d - 2*a + 12. Which is greater: d or k?
k
Let x = -3.5 + 3.51. Which is smaller: x or 2.2?
x
Let b = -53 + 88. Let r be b/21 - (-2)/(-3). Suppose 0 = -8*s + 85 - 5. Which is smaller: r or s?
r
Let s(g) = g**3 + 4*g**2 - 2*g + 11. Let p be s(-4). Suppose -23*n - 108 = -29*n. Is p <= n?
False
Let s(i) = 15*i - 77. Let c be s(4). Which is smaller: c or -15?
c
Suppose 16 = -4*u + 340. Let x be u/45*(-10)/(-2). Suppose 2*v - m = 13, -3*v - 5*m = -6*v + x. Is v < 8?
False
Let t be (9/(-9))/(0 - -1) - -1. Suppose 5*k - 5 = 4*i - 20, t = 3*i + 2*k + 6. Which is greater: i or -7?
i
Suppose -5*l - 4*g = 10, 88*l - 86*l = 4*g + 24. Let j be (8*10/28)/2. Is j greater than l?
False
Let w be 7/(-14) - 2/(-20). Let q = 0.02 - -0.02. Let i = q - 8.04. Do i and w have the same value?
False
Let c(s) = -2*s**2 - 24*s - 48. Let m be c(-7). Which is smaller: 10 or m?
10
Let w = 26 - 12. Suppose -5*f + x - w = -3*f, -3*x + 2 = 2*f. Which is greater: -6 or f?
f
Suppose -3 + 0 = -v, 17 = 5*n - v. Let d = -261.004 - -259. Let k = 0.004 + d. Are n and k equal?
False
Suppose 2*a + 14 = -r + 3*r, 5*r - 21 = -2*a. Let w be -15*3/(-9)*a. Let n be (4 - (-36)/w)/1. Is n greater than 2/5?
False
Suppose -2*z = -6*z - 3*y - 11, 5*y + 10 = -5*z. Let p(w) be the second derivative of -w**3/6 - 12*w**2 - 9*w. Let l be p(-17). Is l at least as big as z?
False
Let l = -130 - -140.2. Let u = 0 - -10. Let c = l - u. Which is smaller: c or 0.5?
c
Suppose -5 = 5*v + 4*r, v + 1 = 6*r - 8*r. Which is greater: v or 2/429?
2/429
Suppose -11*i + 1225 = 1346. Is i >= -222/19?
True
Suppose -5*l = -504 - 51. Which is greater: 115 or l?
115
Let z be 10 - 1/4*0. Suppose -z*v + 13*v = -3. Is v smaller than -1?
False
Let j be (-14628)/108 - -6 - 16/(-36). Are -128 and j unequal?
True
Let n = -13/30 + -23/120. Let s = 6.8 + -7. Let z = -0.4 - s. Is z bigger than n?
True
Let y(k) = -k. Let x be y(-5). Suppose -t = -x*t. Suppose 0 = -t*l + l + 7. Which is smaller: -8 or l?
-8
Let x = 2877 - 11411/4. Is x != 1/11?
True
Let s = 70 - 59. Let x(a) = -4*a + 11. Let p be x(s). Which is greater: p or -32?
-32
Let d = 10 + -13. Let w be (6/25)/(d - (-27)/10). Which is greater: w or -1?
w
Let n = -14 + 13.69. Let f = -1.69 + n. Is f not equal to -3?
True
Let r be 3 + -1 - (-25)/(-5). Let q(y) = y**2 + 3*y + 2. Let a be q(r). Let f = -40 + 36. Which is smaller: f or a?
f
Let u(m) = 16*m + 81. Let z be u(-5). Is 2/237 at least z?
False
Suppose -5*m - 5*l - 25 = 0, -3 - 1 = l. Let k be 9 + -5 + (-6 - m). Which is smaller: 2/19 or k?
k
Let l be (18/27)/(2/(-30)). Let o(u) = -u**3 - 10*u**2 + 2*u + 9. Let q be o(l). Let t(v) = -v - 21. Let i be t(q). Are -2/3 and i nonequal?
True
Let f = -79.2 + 189.2. Which is greater: f or -1/6?
f
Let x = -168 + 167. Are 2/1485 and x equal?
False
Let x(j) = -j**3 - j**2 - 3*j + 13. Let k be x(0). Is k > 15?
False
Let c(b) = -b**2 - 9*b + 4. Let i be c(-11). Suppose z + 2*h = -6, 4*z - 5*h + h - 24 = 0. Suppose 6*n = z*n - 76. Which is smaller: i or n?
n
Let q(d) = -d**2 - 7*d - 6. Let i be q(-6). Suppose -3*v + i*v - 9 = 0. Let p be -11*(-3)/3 - v. Is p bigger than 13?
True
Let j(y) = -y**2 + 18*y - 30. Let p be j(16). Which is smaller: 8 or p?
p
Let a = -584 + 480. Does -103 = a?
False
Suppose 35 - 44 = 3*i. Let u be (i/45*-5)/(-1). Is -1 less than u?
True
Suppose -3*w - 15*w - 36 = 0. Is -24/11 at least as big as w?
False
Let k = -29/14 - -65/14. Let q(p) = -2*p + 2. Let c be q(1). Suppose m + 1 - 3 = c. Which is greater: k or m?
k
Let p(v) = v**3 + 5*v**2 - 2*v - 4. Suppose -4*i + 0*i = -92. Suppose i = -4*u - 3*k, -2*u + 4*k = k + 7. Let j be p(u). Which is bigger: j or 5?
j
Suppose 2*g + 4*q - 168 = 0, -5*g + q + q + 372 = 0. Let u be g/(-5) - 2/(-10). Let i be (-26)/20 - (-3)/u. Which is greater: i or 0.1?
0.1
Suppose 3*y = 4*f + 16, 3*f - 2*f + y = -4. Let s be (280/6)/(8/f). Which is smaller: -22 or s?
s
Let q be ((-318)/117 - (-12)/(-9))*-3. Which is smaller: 12 or q?
12
Let z be 2*(-3 - 1) + 8. Let m be 9/90*8/(-58). Is m > z?
False
Let b = 97.7 - 96.93. Which is smaller: -3 or b?
-3
Let g = 40 - 77. Let m = g - -36. Is m at most 0.053?
True
Let q be 3/((-328)/(-22)*45/(-120)). Which is smaller: -1 or q?
-1
Let z(l) = -l + 19. Let o be z(13). Suppose 4*b - 11 = -o*h + h, 0 = -b + 2*h - 7. Do b and -6/29 have the same value?
False
Suppose q + 3*j + 8 = 0, 4*q - 19 = 4*j + 13. Suppose 4*k + q*p - 103 = p, -k = 5*p - 47. Which is smaller: k or 21?
21
Suppose 0*q + 4*q - 3*a - 1 = 0, q + 5*a = 29. Suppose -3*n - h - 2*h - 3 = 0, 0 = -q*h. Which is bigger: 3/10 or n?
3/10
Let z = 310 + -6509/21. Let d = -150 - -170. Suppose d = g + 21. Is z > g?
True
Let t = -459 + 462. Is 40 less than t?
Fa