Suppose -12*q = 48 + 48. Which is smaller: q or -6?
q
Let o = 0.99 - -0.01. Is 2 at most as big as o?
False
Let y(j) = j**3 + 3*j**2 - 6*j - 6. Let o be y(-4). Let s(d) = 0*d + 4*d - 2*d - 1. Let b be s(o). Is b greater than 4?
False
Suppose -r - 2 + 1 = 0. Let u be 1*((-120)/(-57) - 2). Are r and u equal?
False
Suppose -4*k - 8 = -0*k. Let r = 0 - k. Is r at least as big as 0.2?
True
Let i be 18/(1202/(-1206) - -1). Let t = i - 16135/3. Let n = t - 48. Is 0 <= n?
True
Let r = -148 + 599/4. Is r greater than 1?
True
Suppose 0 = 2*m - 5*t - 6, -5*m + 4*t - 2*t - 6 = 0. Let y be ((-8)/(-6))/4 - m. Suppose 5*h - 12 = -3*v + 2*h, 5*h = 4*v + 2. Which is bigger: v or y?
y
Let d = -2.2 + 3.1. Let c = d - -0.1. Let t be (-4 + 2)*1/8*4. Which is smaller: c or t?
t
Let w = 1 - 11. Is w > 2/5?
False
Let t = -17 + 16. Are t and -3/17 unequal?
True
Let b = 96 - 57. Suppose -2*l - l + b = -4*n, 0 = -4*n - 3*l - 9. Are -6 and n equal?
True
Let l be (6/15)/(48/(-20)). Let o = 0 + -1. Let s be 0 - (-1 + o + 1). Are s and l unequal?
True
Let x = -91 + 107. Which is smaller: 11 or x?
11
Let g be 2 + -3 - (1 - -1). Let a = -24 + 43/2. Which is smaller: g or a?
g
Let s = -33 + 34. Is -2/3 < s?
True
Let x = 3.213 + -0.193. Let b = 0.12 - 0.1. Let k = x - b. Which is smaller: k or 1?
1
Let v(g) = 4*g**2 + 18*g + 8. Let j be v(-4). Which is smaller: 3/29 or j?
j
Let z = -48 - -48. Which is bigger: z or -18?
z
Let f = 17 + -18. Is -15 bigger than f?
False
Let q = -143 - -153. Let o = 38 + -27. Which is greater: o or q?
o
Suppose 3*x + 20 = -2*x. Let v = 7 + x. Suppose v*n = -2*n - 5. Does 0 = n?
False
Let q be 14/21*3/2. Let x be (1 - q)/(-4 - -2). Which is greater: 2 or x?
2
Suppose 4*r + 5*q - 10 = 0, 4*r - q - 17 = r. Suppose r*i = -2 - 3. Let j be i*(1 + -1)/(-1). Is j <= 0?
True
Let y(o) = -o**2 - 8*o - 4. Let a be y(-6). Is 2 != a?
True
Let c = 25 - 13. Suppose -8 = 5*a + c. Let d = -16 + 11. Are a and d equal?
False
Suppose -y - 3 = 2*y. Let r be -2 + 194*(-2)/(-48). Let k = -27/4 + r. Which is greater: k or y?
k
Let m be 30/(-44) + 1/2. Let u be ((-7)/14)/((-2)/(-4)). Which is smaller: u or m?
u
Let w = -7/4 - -17/8. Let z(a) = -a**2 - 11*a - 9. Let y be z(-11). Let k = y - -9. Is k at least as big as w?
False
Let r = 2 + 2. Let l be 2/3*(-6)/r. Which is smaller: -2/13 or l?
l
Let h = -33/329 + -2/47. Let j = -2 - -8. Suppose -a - 1 = 5*n + 2, -5*a = 4*n - j. Are h and n non-equal?
True
Let h(t) = 15*t - 7*t - 10 + t**2 + 11 + 15. Let c be h(-7). Which is greater: 8 or c?
c
Suppose 3*d = 3*l + d + 1001, 2*d + 339 = -l. Let v = 1666/5 + l. Is -1 less than v?
False
Suppose 81 + 51 = 4*f. Suppose 3*g + 36 = 5*y, -4*y + g + 0*g + f = 0. Let o be (-6)/(-9) - (-3)/y. Is 1 bigger than o?
False
Let u = -2 + 1. Let r(v) = 3*v**2 - 2*v - 1. Let z be r(-1). Let h be (z/27)/(2/(-3)). Which is bigger: u or h?
h
Let a = -1.2 + -4.8. Let w = a + 8. Is w at most as big as 2?
True
Suppose -5*w + 2 = -3. Let z be (3 - w - 13)/1. Which is greater: z or -10?
-10
Suppose -5*g = 3*f + 12, f + f - 5*g = 17. Let t be (f + 5/(-3))*-6. Is t bigger than 3?
True
Let v = 109 - 61. Let b be ((-2)/1)/(160/v). Is -3 less than b?
True
Let v(a) = a**2 - 10*a + 24. Let b be v(6). Let n be 0/4 + (-6)/(-2). Which is bigger: n or b?
n
Suppose 7*h = 5*h + 8. Suppose -3*z + 40 = -2*m, h*z - 3*z = 2*m + 32. Which is greater: -13 or m?
-13
Let b be (-10)/4 + (-3)/2. Let i be 3/b - (-3)/4. Which is smaller: -3/10 or i?
-3/10
Suppose -4 = -5*q + 16. Suppose 0 = 4*m - 0*m + q. Does 1/3 = m?
False
Let d = -1.23 - -1.43. Is d > -29?
True
Suppose 26 - 2 = 3*y. Is y != 12?
True
Let c = 3/289 + -605/2601. Let o(x) = -x + 4. Let r be o(5). Which is smaller: r or c?
r
Let s be (18/(-45))/((-2)/30). Is s bigger than 9?
False
Let d = 1.7 + -2. Let x = d - -0.3. Which is smaller: x or 2/11?
x
Suppose 5*m = 7*m. Let s be (m*1/4)/4. Is s at least -1/2?
True
Let r(p) = 4*p**3 - p**2 + 6*p + 7. Let o be r(-1). Suppose -5*g - 12 - 13 = 0. Which is bigger: o or g?
o
Let r be (-4)/(4/3) - -3. Let x = r + 1. Let a be 1 + 0 - (-1 + x). Is 4/5 greater than a?
False
Suppose 5*k - 15 = -5*h, 2*k - 25 = 5*h - k. Which is smaller: -4 or h?
-4
Let d = -6/11 - -31/77. Is 1 at most as big as d?
False
Let z = 5 + 2. Let f = z - 10. Which is smaller: f or -4?
-4
Let k = -177 + 2295/13. Which is bigger: -1 or k?
k
Let b = -0.05 - -3.05. Let o = b + -3.1. Let y = -0.1 + o. Which is smaller: 1 or y?
y
Let v be (-94)/30 + (-14)/(-105). Which is bigger: -15/7 or v?
-15/7
Let n be (-240)/9 + 2/1. Let y = n - -524/21. Let j = -3 + 2.8. Is j less than or equal to y?
True
Suppose -15*b + 11*b + 296 = 0. Which is smaller: b or 75?
b
Let p = -13514/3 - -97385/21. Let n = -199 - -66. Let o = n + p. Which is smaller: o or -3?
-3
Let c = 3 - 5. Let a = -13 - -12. Is a < c?
False
Let i = 186 - 289. Which is smaller: -102 or i?
i
Let z = -0.27 + 0.17. Let l = -0.4 + 0.5. Let m = l + 0.1. Is m != z?
True
Let s(u) = -u**3 + 7*u**2 + u - 7. Let w be s(7). Suppose 5*g = 4*c - 17, g = 4*c - w*g + 3. Which is smaller: 0 or c?
c
Let p be (-34)/18 + (-1)/9. Let b = 1 - 1. Which is smaller: p or b?
p
Let x = 28 - 30. Let w(m) = m**3 + 4*m**2 + 4*m. Let j be w(-3). Let z be (-12)/(-14)*1/j. Does x = z?
False
Let g be (75/24)/((-2)/(-4)). Let k = g - 121/20. Let w be 0/(-1)*2/4. Which is smaller: k or w?
w
Suppose 119 = 3*g + 122. Is 1/28 greater than g?
True
Let q = -1165/7 + 167. Which is bigger: q or 1?
1
Suppose 5*t - 3 + 13 = 0. Let j(f) = f**3 - 5*f**2 - 4. Let v be j(4). Let y be (-4)/t - (-32)/v. Is y < -1?
False
Let j(i) = 1354*i - 1. Let o be j(-6). Let r = o + 1795616/221. Let v = -2/17 - r. Do -1 and v have different values?
True
Suppose -a + 4*f = -103, a - 6*a = 2*f - 427. Is a greater than 88?
False
Let w be (-1)/(-1)*5 + 0. Suppose w*n = 2*n. Which is greater: -2/9 or n?
n
Let z be ((-1)/(-3))/((-2)/(-36)). Let n be 2 + 0 - (-9 + 5). Is n <= z?
True
Suppose -3 = -0*m - m. Suppose 5*i = 2*f - m, 3*i = -5*f + 2*i + 21. Do 5 and f have the same value?
False
Let r = 17 - 12. Is r bigger than -0.1?
True
Let w(q) = q - 2. Let f be (-40)/7 + 14/(-49). Let h be w(f). Does h = -1?
False
Let s = 0.7 + -1.5. Let a = -1 - s. Let r = a - -0.3. Which is smaller: -1 or r?
-1
Let i(n) = n**3 + 24*n**2 - 27*n - 50. Let d be i(-25). Is d at most -3/64?
False
Suppose 5*t + 2*q = 30, -t = q + 2*q + 7. Suppose 0*h = -h + t. Is h < 8?
False
Let c be (-1)/4*1*-17. Let q = c + -77/20. Let d = -13 - -13. Which is smaller: d or q?
d
Let v = 3 - 2. Let q(w) = -w - 14. Let y be q(-13). Let u be (1 - (v - 0))/y. Is u less than or equal to 1/8?
True
Let u = 0 - -1. Let w be (-1 - (2 - 4))/(-7). Is w != u?
True
Suppose -p = p + 6. Suppose 3*r = 14 + 22. Let s be (-4)/p*6/r. Is s <= 0?
False
Let x be 3*-2 + (-48)/(-12). Let d be x/(-4) + (-84)/(-24). Which is smaller: d or 2?
2
Let s(d) = d**2 + 4*d - 1. Suppose -w - 1 = 0, -3 = 4*q + w - 2. Suppose q = -2*p - 0*p - 8. Let j be s(p). Is -2 at least j?
False
Let o(g) = 2 + g + 3*g - 2*g. Let m be o(-3). Let y = m - -6. Which is greater: 3 or y?
3
Let b be 9/4*112/7. Let j be -2 + (-33)/b*-2. Are 0 and j unequal?
True
Let r = -275 - -3031/11. Let m(k) = k**2 - 11*k - 12. Let j be m(12). Which is bigger: j or r?
r
Let o = -1.8 - -2. Let h = o - 2.2. Let i = -9 + 9.1. Which is smaller: i or h?
h
Let h be 3 - (8 + -4 + 0). Which is smaller: h or -2?
-2
Suppose 4*i = 3*i + 22. Suppose -4*s + i = -22. Let g be 6/24 - s/28. Which is smaller: 0 or g?
g
Let d be ((-2)/1)/(((-84)/(-18))/7). Is -16/7 not equal to d?
True
Suppose 12 = 3*g + 3. Let k be -6 - -19 - (0 + g). Does 10 = k?
True
Suppose 0 = -2*q - 3*q + 15. Let i be (q/2)/(1/4). Which is smaller: i or 5?
5
Let q be -1 + 4 - (-1)/1. Let m be 3/6*q - 2. Let y be (0 - m)/(-2*1). Is y >= -3?
True
Let o = 0 + -1. Let d = -5.51 - -5.2. Let m = d - -0.11. Which is bigger: m or o?
m
Suppose 1 = -3*n + 4*n. Let a = -53 + 161/3. Is a less than or equal to n?
True
Let n be (-16)/84*298/208. Let t = 1/78 - n. Suppose 0*y = y. Which is bigger: y or t?
t
Let m = 9 + -15. Is m not equal to -3?
True
Let l = -0.5 - -0.6. Is l less than 0.13?
True
Suppose 0 = -3*x + v - 15, 3*x + v + 8 = -1. Let k be (-6)/3*-1*-2. Let d = k - x. Which is bigger: d or 1?
1
Let z = -206 - -132. Are -0.1 and