
True
Suppose -2*q - 3*q + 5 = 0. Is q less than 20?
True
Let z(c) = c - 2. Let p be z(6). Is p at least 1/6?
True
Suppose -21 - 3 = -3*p. Are p and 6 equal?
False
Suppose 4*f - 15 = f. Which is smaller: f or -2/9?
-2/9
Let z = 0.99 + 0.31. Do z and 1 have the same value?
False
Let h = 9 - 4. Suppose -h*s + 12 = -s. Let c = 5 + -3. Which is smaller: c or s?
c
Suppose 5*a + 10 = -5*b, 5*b = -5*a + 2*b - 6. Suppose 3*f - f = -4. Let l be 8/16 - f/12. Which is bigger: l or a?
l
Let j be (155/25 - 8)/(3/(-10)). Which is greater: j or -1/7?
j
Suppose -2*s + 19 = 5*m - 12, 0 = -3*m + 5*s. Let h be 24/110 - 2/m. Which is greater: h or 1?
1
Suppose 5*m + 2*w = -38, 4*w = -2*m + w - 24. Let x = m + 3. Which is bigger: x or -4?
x
Let k = 41 - 34. Suppose 3*p - 145 = -4*f, f - p - 24 - 21 = 0. Suppose -2*z = -k*z + f. Which is smaller: z or 9?
z
Suppose -6 = 5*o + 14. Let t be 12/100*o/(-6). Let v(m) = m**2 + 2*m + 2. Let d be v(-1). Is t < d?
True
Suppose 0 = -5*h - 5*p + 10, -2*p = -h + 7 - 2. Let u = h + 4. Suppose k = 2*r - 5, 5*r + 2*k + u + 3 = 0. Is 2/25 at least as big as r?
True
Suppose 2 = x - 5. Suppose 1 - x = 3*f. Is -0.4 > f?
True
Let v = 0 + -2. Let h be (v/(-3))/((-15)/(-9)). Is -3 at least h?
False
Suppose 3*o + 4*r = -94, r + 168 = -o - 4*o. Is o greater than or equal to -33?
False
Let c = -0.1 + 0.1. Let i = -1 + 1.1. Which is bigger: c or i?
i
Suppose 4*c - 5*x = 30, -2*c - 3*x = -6*c + 26. Suppose c*t + 75 = -25. Let s be 2/4 - t/(-8). Do s and -2 have the same value?
True
Let p = -95/161 - -30/23. Suppose -2*g = b + 3, 0*b - 2*b - 13 = -3*g. Let q = 1 + g. Is p at most q?
True
Suppose 14*d - 35 = 9*d. Is 7 >= d?
True
Suppose -q + 3*q = 2. Which is greater: q or 4/19?
q
Suppose 5*f + 1 = -9. Let a be (182/(-12))/7 - f. Let j(m) = m - 6. Let h be j(7). Which is greater: a or h?
h
Suppose 23*j - 12 = 35*j. Let l be 5/(-2)*1/(-10). Are j and l non-equal?
True
Let n = 50/3 - 197/12. Let h = -2 - -2. Let t = h - -0.1. Is t bigger than n?
False
Suppose -m - a + 62 = -0*m, 5*a = m - 86. Suppose 3*r = 33 + m. Let g = 230/7 - r. Which is smaller: g or 0?
g
Let z be ((-2 - -2) + -6)*-1. Suppose -z = 2*r - 0*r. Let w be -2 + (-3*1)/r. Do -2 and w have different values?
True
Suppose -3*j - 4 + 2 = 4*q, 0 = -2*q - 4. Suppose 19 = 3*d + j*r - 7*r, 0 = -3*d + 4*r + 17. Let x = 19 + -17. Which is smaller: x or d?
x
Let q be (2 + 1)/3*4. Let r = q - 2. Suppose 4*p - 10 = 4*k - r, -4*k - 6 = -2*p. Is -1 < k?
False
Let l = -0.655 + -0.045. Which is smaller: 1/4 or l?
l
Let n be (0 + -1)*1*-3. Suppose v = -54*j + 58*j - 13, -v + 23 = 5*j. Is n >= j?
False
Let a = 461 - 207. Let n = 1276/5 - a. Are n and 1 unequal?
True
Let i be (33/22)/((-14)/(-18)) + -2. Which is bigger: 0 or i?
0
Let o(r) = -r**3 - 6*r**2 + 1. Let l be o(-6). Is l > -9/25?
True
Let d = 30.286 - -0.614. Let a = d + -35. Let h = 4 + a. Which is smaller: 0.2 or h?
h
Let n(s) = -8*s + 71. Let q be n(9). Is q bigger than 1?
False
Suppose -28*u + 26*u - 14 = 0. Is -12 != u?
True
Let q be -9*20/(-105)*-1. Which is smaller: q or -1?
q
Let i = 6 + -9. Let x be ((-24)/(-1))/i + 3. Is x <= -5?
True
Let y be 2 + ((-42)/(-46) - 3). Is y less than or equal to 1?
True
Let y be 115090/(-12600) - (-1)/(-4). Let t = y - -66/7. Which is smaller: 0 or t?
0
Suppose 0 = -5*t + 4*w - 10, 3*t + w + 3*w = 26. Suppose 0*d - 3*d = 15, -4*d - 16 = 4*o. Is t >= o?
True
Let t(x) = x**2 - 8*x + 9. Let o(g) = 5*g**2 - 39*g + 46. Let z(k) = -2*o(k) + 11*t(k). Let u be z(9). Is u bigger than -2/3?
False
Suppose -t + 18 = -7*t. Is t equal to -1?
False
Suppose 12 = 4*h - 4*w, 5*h + 2*w = -2*w + 15. Which is smaller: 20/7 or h?
20/7
Suppose 5*b - 2 = 4*o - 1, 6 = 3*b + 3*o. Is b > -2/65?
True
Suppose 0*x = 2*x + 6. Suppose 3*t = t - 4, 7 = -3*s + t. Is s less than or equal to x?
True
Let z = 2.98 - -0.02. Let n = 5 + -2. Let d = z - n. Which is smaller: d or -1?
-1
Let x = -6/25 + -4/25. Which is greater: x or -15/7?
x
Suppose 0 = 2*x - 4*x + 6. Let c = x + 1. Which is bigger: 5 or c?
5
Let a(g) = -g**3 + 6*g**2 - 4*g. Let p be a(5). Let u be -2 - (-1 - 7/p). Let j = 0.1 + -0.2. Which is smaller: u or j?
j
Let f = 1.03 + 3.07. Let t = -3.89 + -0.11. Let k = t + f. Which is greater: -0.7 or k?
k
Let n be 4/(-14) - (-19)/(-7). Is -7/3 < n?
False
Let h = -1 - -3. Suppose -9 = -2*b - b, 4*b = -h*o. Let x = o - -6. Which is smaller: 0.1 or x?
x
Let r = 0.6 - 1.3. Let f = r + -2.3. Is 0 bigger than f?
True
Let k be (-4)/6*(-1980)/(-35). Let v = k + 38. Is 0 at least v?
False
Let i be (18/(-30))/((-3)/15*-52). Is -1 less than i?
True
Let o = 20 - 20.5. Let j = -0.4 - o. Is j bigger than 0.1?
False
Suppose -5*m + 261 = 2*i, 3*m - 3*i - 195 = -m. Which is greater: 50 or m?
m
Let l be (2/6)/(12/180). Let s(q) = 3*q + 1. Let x be s(1). Are l and x equal?
False
Let i(z) = z**3 + 6*z**2 + z + 6. Let f be i(-6). Suppose -4*g - 4 = -0*o + 2*o, f = 3*g. Is -2 at most o?
True
Let g(y) = -y**2 - 8*y - 5. Let w be g(-7). Let d(v) = v**2 - 2*v - 1. Let n be d(w). Is 2/27 not equal to n?
True
Let g = 221/40 + -27/5. Which is greater: 3 or g?
3
Suppose -v - v = 0. Let n(j) = j**2 - j - 2. Let s be n(v). Let i = s + -1. Which is greater: -4 or i?
i
Let r be (-1)/(-4) - 135/(-36). Which is smaller: 5 or r?
r
Let o = -1/41 - -95/533. Which is smaller: -1 or o?
-1
Suppose 0*g = -5*g + 5. Let n = 0 + g. Let p be (1 + 0)*n + -2. Which is greater: -1/5 or p?
-1/5
Suppose 0 = 2*x - 0*x - 8. Which is smaller: 5 or x?
x
Suppose 3*g + 5 = -p + 15, 0 = -2*g - 4*p. Is 13/4 <= g?
True
Let m be 37/222 + ((-47)/30 - -1). Let n = 137 - 687/5. Is m greater than n?
False
Let p be (-60)/(-25) + (-2)/5. Suppose 0*g - g + 1 = 2*j, 4 = 2*g + p*j. Let i be 4 + (1 - g) - 5. Is -2 equal to i?
False
Let c = 4 + -8. Let z be c*(-1)/(-6)*3. Suppose 8 = 4*q - 4*d, q - 2*d - 7 = -0*q. Which is smaller: q or z?
q
Let y(s) = s**3 - 11*s**2 - 13*s + 16. Let r be y(12). Is r >= 4?
True
Suppose -2*v = -2*a + 2, -v - v + 5*a - 8 = 0. Let w = -1.8 - -2. Let g = -2.2 + w. Is v bigger than g?
True
Suppose f + 0 = -5. Suppose -20 = 5*w - 0*w. Are f and w unequal?
True
Let x be (-32)/(-12)*9/12. Suppose -4*g - 2*n = -26, 13 = -0*g - 3*g + 5*n. Are g and x nonequal?
True
Let n be (-2880395)/(-900) - (-2)/10. Let m = n + -3201. Let x = 10/9 + m. Which is smaller: x or 2?
x
Let n(j) = j**3 - 3*j**2 + 2*j + 3. Let q be n(3). Let v = 0.13 - 0.13. Is q <= v?
False
Let b = 11/57730 + 4353753/25516660. Let o = b + -15/52. Which is smaller: o or 1?
o
Let v be 30/(-35)*(-2)/(-6). Which is greater: -41 or v?
v
Let i(h) = h**3 + 8*h**2 + 9*h + 14. Let j be i(-7). Let k be ((-1)/(-8))/((-5)/12). Which is greater: j or k?
j
Suppose -2*s - 8 + 0 = 0. Let u be (2/3)/(s/(-6)). Let v = -1 + u. Which is greater: v or -2/11?
v
Let v(d) = d**2 + 18*d + 11. Let a be v(-15). Are a and -33 nonequal?
True
Suppose -10 = 6*z - z. Let y = 0.04 + -2.04. Let v = y - -2. Are v and z non-equal?
True
Suppose -g = -8*g - 294. Is g bigger than -43?
True
Let s = 41 + -78. Is -38 less than s?
True
Let c be (2 - 0)*(-4)/24. Which is greater: c or -0.29?
-0.29
Suppose 5*w - 2 = -57. Let d = w + 11. Let m = 0 - 0. Is m at most d?
True
Let r be (-7)/(-8) + -1 + 0. Are -1 and r non-equal?
True
Suppose 0 = -2*z + 3*b + 26, 2*z - 6*z + 5*b = -50. Let h be z/(-4) + 1/(-2). Let q(m) = m**3 - m + 2. Let t be q(-2). Are h and t equal?
False
Let y be (-10)/(-20)*(-2)/16. Does -4 = y?
False
Let v(q) be the second derivative of q**4/6 - q**3/2 - q**2 - 6*q. Let k be v(3). Which is smaller: k or -1?
-1
Let j be (-2)/(8/(-12))*14. Is 42 <= j?
True
Let m be (-5)/(-3)*5/(-25). Let w = 2 - 3. Which is bigger: m or w?
m
Let x = 0 - 0. Let h = -92900 + 42269323/455. Let i = h + -1/91. Which is bigger: x or i?
x
Let n be 4*3*(-4)/(-24). Let k be (1 - n)/((-1)/4). Is 7 greater than k?
True
Suppose 4*d - 15 = -23. Which is smaller: d or -8/7?
d
Suppose 23 = p - 4*g, -20 = 2*g + 2*g. Suppose -2*l + 2 = u, 4*u + p = 5*l - 2. Let v be 15/(-77) - 4/(-14). Is v at most l?
True
Suppose 4*h + 10 = 4*y + 2, -6 = -4*y + 3*h. Suppose y = -d - d. Let j(g) = g. Let x be j(-1). Which is smaller: d or x?
x
Suppose 0 = -11*f + 126 + 61. Is f < 13?
False
Let c = -0.5 + 1.5. Let x be (-2)/(-2)*(0 - 0). Is x at most as big as c?
True
Suppose f = -1 - 7. Le