
Let i = -30 + 30. Which is greater: -5 or i?
i
Let h be ((-3)/(-17))/(3/(-2)). Let q = -106 + 107. Does h = q?
False
Let y(h) = h + 16. Let q(o) = -5*o + 1. Let s be q(3). Let i be y(s). Is 3 less than or equal to i?
False
Let b = 12 + -12. Let x = 29 - 29.21. Is x >= b?
False
Suppose 0*c - 3*c + 15 = 0. Which is smaller: 4 or c?
4
Let l = -0.08 + 0.01. Is 0.2 at most as big as l?
False
Let f be ((-12)/(-10) - 1)/1. Let l be (-6)/33 - 158/(-22). Suppose l*y = 2*y. Is y >= f?
False
Suppose -x - 5 = -1. Let y be (x/3)/((-3)/36). Suppose -5*m + 4*h = 2, -y = -0*m + 5*m + 3*h. Do -4 and m have the same value?
False
Let o be (-1)/(-5) - (-65)/(-25). Let w be (-4)/10 + (-3)/(-1). Let k = w + o. Is k > -1?
True
Suppose 8 = -5*l - 4*b, -l + 2*l = -2*b - 4. Which is greater: 6/11 or l?
6/11
Let m = -0.29 - -0.28. Is m less than 0?
True
Let c = 0.126 + -2.156. Let o = c - -0.03. Which is smaller: 4 or o?
o
Let z be (-16)/(-56)*(-6)/4. Let u(a) = -a - 7. Let w be u(-6). Is w <= z?
True
Let c = -44822/83 - -540. Let p = -176/415 - c. Which is smaller: 2 or p?
p
Let r = -0.1 + 0.2. Let n be (2/5)/((-1)/35). Let k be (-40)/(-42) + 4/n. Is r bigger than k?
False
Suppose 3*a = -a - d - 2, 0 = -4*d - 8. Is a >= 9/10?
False
Let v be (2 - -3)/(-1 + 2). Suppose 0 = -v*a + 29 + 6. Let y = -7 + a. Is y bigger than 3?
False
Suppose -3*t = -x + 86, 0 = -0*t - 4*t + 2*x - 114. Which is bigger: -28 or t?
-28
Suppose 14 + 10 = -2*i. Is i at most as big as -11?
True
Suppose 4*d - 22 + 38 = 0. Suppose -2*u = 1 + 5. Is u != d?
True
Let y = 507 - 5564/11. Let f = y - 113/77. Let g = -2.03 - -0.03. Which is greater: g or f?
f
Let q be (-2)/(6*4/48). Is q greater than -25/6?
True
Let m = -74 + 63. Which is greater: -10 or m?
-10
Let y = 0.52 - 0.32. Which is greater: 16 or y?
16
Suppose 2*u - 103 = 3*k - 6*k, -4*k + 4*u = -144. Is 34 > k?
False
Suppose 3*w + 3*a = 9, 7 = 2*w - 5*a - 6. Is w at most 4?
True
Let p(y) = -y - 4. Let b be p(-5). Is b at least as big as -2/55?
True
Let a = -1 - -0.9. Let n = 79/4 + -20. Which is greater: n or a?
a
Let p be (12 - -1) + 3/3. Let y = -16 + 24. Let i = y - p. Is i less than -6?
False
Let g = 15/41 - 389/615. Is g less than or equal to -1?
False
Let h = -12 + 16. Which is smaller: -0.1 or h?
-0.1
Let z = 91/3 - 30. Suppose 0 = a + a. Suppose -3*u - 2*u = a. Which is bigger: z or u?
z
Let c = -6 + 8. Let p = 2.02 - c. Let z = p + -0.32. Does z = 0?
False
Let x(q) = 12*q - 3. Let s be x(-7). Let b = -263/3 - s. Is -2 at most as big as b?
True
Let f = 0.43 - 0.5. Let x = f + -0.03. Is -1 equal to x?
False
Let o = -3747440636/12397 + 302286. Let m = -12/253 - o. Is m smaller than -1?
False
Let v(a) = -a**2 - 9*a - 1. Let i be v(-9). Do -1 and i have the same value?
True
Suppose y - 2*g + 18 = -7*g, g = -4*y + 23. Let h be y/4 - (-3)/12. Which is smaller: h or 1?
1
Let a = 90791/1505 - 38/301. Let c = -60 + a. Suppose -3*w + 3 = 3*n, 0 = -3*n + 6*n - 9. Are w and c equal?
False
Let r(z) = 2*z**2 + 3*z + 2. Let g be r(0). Does g = 6?
False
Let m = 12 + 0. Let i = 12.08 - m. Are -0.1 and i nonequal?
True
Let y = -3 - 1. Let t be 2/3*27/2. Suppose -15 = s - 3*v, 0*s - 3*v - t = 3*s. Is s less than y?
True
Let x = -3.1 + 3. Let m = 0.1 - 0. Let j = 0.1 - m. Is j bigger than x?
True
Let v be -3 + 1 + (-183)/84. Let i be -6*(-2)/(-16)*5. Let z = v - i. Which is smaller: 0 or z?
z
Let s = 13 - 8. Let i = s + -3. Which is smaller: 3 or i?
i
Let f = 227 - 2267/10. Is f greater than or equal to 1?
False
Let j = -67962775 - -610963544/9. Let o = 78132 + j. Let l = o + -195. Which is greater: l or 0?
l
Let u = -470 + 488.9. Let k = -19 + u. Let r = -5 - -3. Which is smaller: r or k?
r
Let c = -30 - -25. Which is bigger: c or 0?
0
Let c = -710491 - -4983619/7. Let j = c - 1452. Which is smaller: j or 4?
j
Let n = 25/3 + -119/15. Let h = 2 + -1. Let l(o) = o**3 - o**2 + o. Let p be l(h). Is p equal to n?
False
Suppose -3*o - 5 = -5*g + 18, -2*o + g - 13 = 0. Let p be (0 + 6)*(-3)/o. Suppose 5 = p*m + 2. Are 0.1 and m non-equal?
True
Let l(v) = -v**2 + 7*v - 3. Let n be l(5). Suppose -5*m - 14 = -49. Is m at most n?
True
Suppose k = 3*k - 26. Let p = -8 + k. Are 5 and p equal?
True
Let d(s) = 3*s - 4*s**2 + 3*s**2 - 4*s + s**3 + 14. Let r be d(0). Let t be r/18 + 2/9. Which is smaller: 2/13 or t?
2/13
Suppose 4*n - 3*i = -17, i - 21 - 3 = 5*n. Let r be (-1)/4 + n/28. Which is smaller: 0 or r?
r
Let z = -25 - -1. Is -23 <= z?
False
Let u be (-2 - (-3 - -2))*3. Let y = -2 - u. Suppose 2*c + 3*f = 4*f - 6, c + 8 = 3*f. Is c at most as big as y?
True
Let m = -0.3 + 0.2. Is 0.7 > m?
True
Let v = -16 + 16. Is -0.1 at most as big as v?
True
Let q be (-2 - -22)*3/(75/(-10)). Which is bigger: q or -7?
-7
Suppose 4*s = 2*s + 10. Let j(h) = h + 12. Let v be j(0). Suppose -20 = -3*q + 2*p - p, q = 3*p + v. Which is bigger: s or q?
q
Let z be (-3)/(-12) + ((-245)/(-244))/(-5). Is 0 <= z?
True
Suppose 9*f + 161 = 2*f. Which is smaller: f or -24?
-24
Let q = 0.8 - 0.7. Let v(i) = i - 4. Let y be v(6). Which is bigger: q or y?
y
Let c(i) = i**2 - 12*i + 11. Suppose 2*g - 11 = 11. Let q be c(g). Which is greater: q or -5/8?
q
Let a = -0.3 + 0.3. Let r = a - 0.2. Let d = r - -0.4. Is -1 > d?
False
Suppose 0 = 4*g - 3*u - 15, 5*u - 3 = 5*g - 28. Let d(m) = 2*m - 6. Let b be d(4). Is g < b?
True
Suppose -h - 4*m + 18 = 0, -3*m = 3*h + 2*h - 39. Let d be ((-48)/(-40))/(h/20). Suppose c = -2*c + 15, 0 = -d*l - 5*c + 21. Which is smaller: l or 2?
l
Let b = 250 - 352. Let m be (-493)/5 + (-5 - -2). Let y = m - b. Is 0 less than y?
True
Let m = 18 - 13. Suppose 0 = g + m - 7. Is 1 greater than g?
False
Suppose -4*p - 2*t - 1 = -5*p, 4*p + 4*t = 28. Let c = -6 + p. Is c != -2/5?
True
Suppose 3*u = -3*n - 3, 3*n = -u - 0*u - 1. Let f be 20*u*4/5. Which is greater: f or -15?
-15
Let g be (-4)/(-6) - (-12)/(-144). Which is greater: 3 or g?
3
Let d be (-3)/(-24)*2*-15. Are -4 and d equal?
False
Suppose 251 = -7*p + 27. Do p and -33 have the same value?
False
Let k be 81/(-15)*(2 + -3). Which is smaller: 5 or k?
5
Let x be (-3)/4*(1 - -1). Suppose 0 = -5*d - s - 10, 5*s = -0*d + d + 28. Is x at most as big as d?
False
Let d be 1/(1/(4 + -3)). Suppose -m = -4*m + 15, d = -4*u - 3*m. Is u greater than -14/5?
False
Suppose -5 = 4*k - 25. Suppose 0 = 6*n - n - k. Do 2 and n have different values?
True
Let c be (2/(-4))/(1/(-98)). Is 50 at least as big as c?
True
Let l be (-5)/(15/6) - 0. Let f be (l + -1)*(-2 - 0). Which is bigger: 5 or f?
f
Let f be 8/6*24/14. Let m = f - 41/21. Are -1 and m non-equal?
True
Let m be (-6)/(-4)*(-28)/(-21). Let l(h) = 1 + 2*h + m + 6*h - h**2. Let y be l(8). Which is smaller: 1 or y?
1
Let o(l) = l**2 - 2*l - 4. Let x be o(6). Suppose -4*a - 4*p = -x, -p + 0 = -3*a - 1. Suppose -2*v + 0*z + z + 6 = 0, v - z = 5. Is v less than a?
False
Suppose -4*q + 216 = -4*t, 4*t + 274 = -t + q. Is t greater than -55?
False
Let g = -194915104/1981 - -98392. Let b = 2/283 - g. Is b at most as big as 5?
True
Let z be (2/21)/((-3)/(-9)). Is -1 less than z?
True
Let m = -4 - -4.1. Let w = -1.9 - m. Let x = 3 + -3. Is x greater than w?
True
Let f be (5/6)/(2/3). Let u = 5 - 3. Which is smaller: u or f?
f
Let t(q) = -5*q**3 - q. Suppose -1 = -0*n + n. Let j be t(n). Suppose 0 = -l + j*l + 40. Is l greater than -8?
False
Let w(i) be the first derivative of -i**4 + i**3/3 - i + 10. Suppose -3*f + 3*a + 15 = 0, -2*f + a + 6 = -0*f. Let n be w(f). Is -4 equal to n?
True
Let k(r) = -4*r**2 - 4*r + 3. Let b(h) = 7*h**2 + 8*h - 6. Let s(n) = -3*b(n) - 5*k(n). Let j be s(-5). Is j at most as big as -2/3?
True
Let s = 21 - 22. Which is smaller: s or 0.8?
s
Suppose 5*a = x + 10, -13 = 3*x + 2. Suppose -n = -a + 9. Which is smaller: n or -7?
n
Let d(q) = q**3 + 3*q**2 + 3. Let p be d(-3). Let o = p + -2. Suppose -5*z - o = -2*z + n, -4*z - 2*n = 2. Do 0 and z have the same value?
True
Let k = 14 - 9. Suppose -2*q = -4*z - k*q - 19, 0 = 2*z - 5*q + 3. Which is bigger: -5 or z?
z
Let b = -4121/7881 - -19/37. Is b greater than or equal to 1?
False
Let y = 0.2 - -2.8. Let d = 16 + -15.9. Let b = d + -1.1. Which is smaller: b or y?
b
Suppose 0*o = -3*o. Suppose 3*a + 3*r + 12 = o, 3 + 17 = 2*a - 5*r. Let x be ((-4)/10 - a)*-5. Is -2 at least x?
False
Let p = 7 - 6. Let n be p/(-4) - 4/16