
q
Let l(x) = x - 9. Let d be l(0). Which is greater: -4 or d?
-4
Let u(g) = -g + 4. Let c be u(3). Which is greater: c or -0.3?
c
Let v = -5 + 6. Are v and 3/8 unequal?
True
Suppose -4*j = -k - 0*k - 36, -k - 3*j - 1 = 0. Let x = 13 + k. Is -3 at most as big as x?
True
Let a = -13 + 13.07. Let z = -0.13 - a. Let j = 870/7 - 124. Are z and j equal?
False
Suppose -10*v - 7 = -11*v. Let c be v/56 - 19/24. Is -1 at least as big as c?
False
Let p(g) = -2*g**2 - 6*g + 17. Let y be p(2). Is y greater than 0?
False
Suppose 0*y + 2*y - 8 = 0. Let z = 20 + -18. Which is smaller: z or y?
z
Let a(j) = j - 3. Let y be 5*2*(-1)/(-2). Let z be a(y). Which is smaller: z or 11/5?
z
Let l = -10.77 - 0.23. Let a = 10.9 + l. Let w be 34/70 + (-2)/7. Which is greater: w or a?
w
Suppose -3 - 7 = -5*x. Let v be (-90)/(-24) - (x - -2). Which is greater: v or -1/2?
v
Let q = 24 - 0. Suppose q = -3*j + 3*s, 3*s - 5*s + 31 = -5*j. Let p = 8 + j. Is p != 3?
False
Let f = -14 - -5. Which is smaller: -8 or f?
f
Let k = -45 - -45. Suppose -2*o - 35 = -7*o. Suppose -3*n + o*n = k. Is n > -1/2?
True
Suppose -6 - 59 = -5*d. Which is smaller: 15 or d?
d
Suppose -5*v - 13 = 2, 3*j - 6 = -2*v. Let o = -2 - -5. Which is smaller: j or o?
o
Let c be ((-6)/(-45))/((-8)/(-10)). Which is smaller: -0.4 or c?
-0.4
Suppose -5*d + 2*i + 36 = 0, 6*i - 2*i + 24 = 4*d. Let w be d/(-20) + 3/(-5). Which is smaller: w or 1/6?
w
Let a be (4/(-6))/(32/(-30)). Is a at least as big as 0?
True
Let f be (-2)/(-10) + (-1605)/(-100). Which is greater: f or 15?
f
Let z = 235/2 - 115. Which is smaller: z or 4?
z
Let t = -0.9 - 3.9. Let p = 5 + t. Which is smaller: 0 or p?
0
Let d = 11 - 7. Let u = 0.4 - -1.6. Let p = u - d. Which is smaller: -1 or p?
p
Let x(p) = p**2 - 21*p + 18. Let l be x(21). Do l and 17 have the same value?
False
Let c = 16 - 15.7. Is -3 less than c?
True
Let r be ((-5)/25)/((2 - 0)/4). Is -6 greater than r?
False
Let p = -1928884245/767 + 2514842. Let s = p + 15/59. Which is smaller: s or 0?
s
Let r be ((-6)/(-8))/(3/(-24)). Let h be (-1)/6*r/(-9). Suppose -5*t + 2 = -3*j, 4*t + 0*t = 4*j. Is h at most as big as j?
True
Suppose 0 = -h + 4*z - 9*z + 3, -2*h + 4*z = -6. Let b = -4 + h. Let s = 1298/7 - 186. Is b bigger than s?
False
Let d = -3 - -6. Let g(z) = z**2 + 3*z + 3. Let f be g(-2). Which is greater: f or d?
d
Let i(y) = y. Let n be i(2). Suppose l + n = -l. Let f = -1 + 0. Is f greater than or equal to l?
True
Suppose 3*g + 8 = -16. Is g not equal to -9?
True
Let d = 5 - 9. Let s be -2 + (-6)/(1 - -1). Let y = d - s. Which is bigger: y or -3/8?
y
Suppose 3*x - 6*x + 4*r = 5, -7 = 4*x - 5*r. Let m = 283 - 281. Does x = m?
False
Suppose 32 = 7*y + 4. Let o be ((-4)/6)/((-2)/9). Is y <= o?
False
Let c = -14 - -22. Which is smaller: 7 or c?
7
Let q(h) = h**3 - 8*h**2 + 3*h + 5. Let l = -15 + 23. Let o be q(l). Suppose -5*i + i = -5*j + o, -2*j + 14 = -4*i. Are j and 7 unequal?
True
Let x = 1 + -4/3. Suppose 4*r - 4*d = 12, -4*r - 4*d + 23 = -r. Suppose 0 = -2*l - j - 7, r*l = -4*j + 5*j. Which is smaller: l or x?
l
Let c = 1 - 26. Let x = c + 24.8. Let l(k) = k**3 + 2*k**2 + 2*k + 1. Let m be l(-1). Which is greater: m or x?
m
Let l be (0 - -2)*2/(-4). Let v = l - -5. Which is bigger: 5 or v?
5
Let i(c) = -2*c**2 + 5*c + 6. Let r be i(6). Let w be (4/(-18))/(r/(-135)). Which is smaller: 0 or w?
w
Let t be (-36)/(-28) - (1 + 0). Let m = 19/42 - t. Suppose 2*r = -3*r + 5. Which is smaller: m or r?
m
Let y = 32 - 33. Do y and -10/7 have the same value?
False
Let s = 1 + 3. Let m = -3.96 + s. Let b = -21/2 - -11. Is b greater than or equal to m?
True
Let z(b) = 2*b**3 + 3*b**2 - b - 1. Let i be z(-3). Let w be ((-2)/(-5))/(30/i). Do w and 0 have the same value?
False
Suppose 15 - 5 = 5*k. Suppose 0 = y - k*l - 9, 5*y + l + 2*l = -20. Which is smaller: y or -1/5?
y
Let b be 4/18 - (-80)/45. Suppose 4*f - 6 = b*f. Suppose 2*t = f*t - 2. Is 2 less than or equal to t?
True
Suppose 138 = -b + 137. Are 61 and b equal?
False
Suppose 0 = -5*k + 2*r + 15, 2*r = k + r. Let d(m) = m**3 - 6*m**2 + 4*m + 5. Let a be d(k). Let x be 2 - 1 - (a + 1). Which is greater: x or -0.1?
x
Suppose 2*m - 5*b = -b + 10, -4*b - 8 = 0. Is m > -3/140?
True
Let h = 24 - 13. Let f = -11 + h. Is f greater than 3?
False
Let p = 30 + -29. Which is smaller: 0 or p?
0
Let c = -2 + -1. Let d be ((-80)/6)/5 - c. Which is smaller: d or -1?
-1
Let w = -70/3 - -23. Suppose 35 - 34 = k. Is w equal to k?
False
Let i = 0.52 - 0.82. Let k be (6/20)/(3/(-4)). Are k and i nonequal?
True
Let p = 6.1 + -3.1. Is p smaller than 0?
False
Let a(s) = s**3 - 6*s**2 + 7*s - 11. Let c be a(5). Which is smaller: -1/8 or c?
c
Let m = -17 + 18. Which is bigger: m or -2/11?
m
Suppose -4*v + 24 = 4*t, -t - 3 = 2*v - 2*t. Let j be 3 + 2 + (-68)/20. Let a = j + -7/5. Which is smaller: a or v?
a
Let u be (((-6)/(-2))/6)/((-7)/238). Let k(f) = -f**2 + 2*f - 3. Let x be k(5). Is x > u?
False
Let t be (-884)/45 - 2/15. Let h = t - -20. Do -1 and h have the same value?
False
Let n(x) = -x**3 + 7*x**2 - 8*x + 13. Let i be n(6). Is 3/11 != i?
True
Suppose 0 = -2*p - 6, 5*p - 46 = 5*i + 14. Let v be ((-2)/(-5))/((-18)/i). Let m = 1 - 1. Which is smaller: m or v?
m
Let f = -24 + 24.02. Let b = f - 6.02. Which is smaller: b or 2?
b
Let t be (4/40)/((-1)/12). Which is smaller: t or 0?
t
Suppose 0 = -5*b + 4*g + 13, 2*b + 3*g - 4 = 3*b. Suppose -23 = b*j + 3*d, 15 - 1 = -4*j + 2*d. Which is smaller: j or -2?
j
Suppose -5*o + 8 = -2*i, -8*i + 4*i - 16 = 3*o. Let x = -3 - -2. Let f be ((-48)/26 - x) + 1. Which is smaller: f or o?
o
Let b be 2/(-7)*28/12. Which is smaller: b or 13/5?
b
Let d(b) = -1 + 2*b - 4*b + 2*b**2 - 4*b**2. Let q be d(-1). Is 1/8 less than q?
False
Suppose -3*l = -5*t + l + 60, -4*t + 2*l = -48. Suppose -v - 2*v = t. Which is greater: v or -2?
-2
Let n = -11.16 - -0.16. Let a be ((0 - 0) + 1)*0. Which is greater: a or n?
a
Let d = -271 + 515. Let h = 971/4 - d. Is 0 at most as big as h?
False
Let a = -1391 - -404783/291. Let c = 277/2037 + a. Let v be ((-1)/(-4))/((-4)/(-16)). Is v < c?
False
Suppose 4*p = 8*p - 4. Is 2 at least p?
True
Let c = 26493/1160 - 9/232. Let s = c + -22. Let f be 2/8 - (-35)/20. Is f >= s?
True
Suppose 5*a - 28 + 8 = -5*f, 4*f + a - 16 = 0. Suppose 5*u + i - 5*i = -56, -4*i = f*u + 16. Let g be ((-2)/u)/(2/2). Which is smaller: g or 0?
0
Let t(l) = l**3 + 7*l**2 + 5*l - 3. Let j be t(-6). Let g be ((-10)/j)/(2/(-3)). Suppose 0 = -5*v - 3*b + 5, -g*b = v - 2*v + 1. Which is greater: -1 or v?
v
Let k be -4 - 0 - (-2 + 147/(-6)). Which is greater: 23 or k?
23
Suppose -4*l - 2*w + 4 = 0, -3*w + 17 = 2*l + 7. Let g = -265/2 - -5569/42. Which is smaller: l or g?
l
Let y = -130 + 136.4. Is -2/3 at most as big as y?
True
Let r = -40 + 40. Is r greater than or equal to 1/6?
False
Suppose 12 = -0*i + 3*i. Suppose 0 = -i*n - 4 - 4. Is -5/2 smaller than n?
True
Let b = -14 - -13. Which is bigger: -7/3 or b?
b
Suppose 4*i + 95 = -9. Which is greater: -27 or i?
i
Let f = 7 - 9. Suppose v - i = -5 + 1, -1 = 4*v + i. Which is smaller: v or f?
f
Suppose 3*y = 3*n - 0 - 18, -y - 12 = -4*n. Which is smaller: n or 3?
n
Let n be -2 + 22/(-16) + (0 - -2). Are n and -2 non-equal?
True
Let v = 5 - 7. Let n be 1/v - (-8)/12. Which is smaller: -1 or n?
-1
Let a(m) = 3*m**2 - 8*m - 11. Let q be a(4). Let b be ((-2)/6)/((-2)/30). Is b at least as big as q?
True
Let j = 115/528 - -7/48. Which is smaller: j or -2/5?
-2/5
Let y = 0.03 + -0.11. Is y at most as big as -0.1?
False
Suppose -2*g + 16 = -5*x - 14, -5*g = -x - 75. Suppose -2*h = -p - 4*p + 23, -5*h = 2*p - g. Suppose -4*d + j + j = -10, 0 = -4*d - 3*j + 15. Is h >= d?
False
Suppose -o = -27 + 91. Let l = o - -127. Let m be (-3 - (-186)/l)*3. Is m <= -1?
False
Let o(s) = s + 11. Let g be o(-6). Suppose 6*f - f - 2*w = -g, f + 18 = -3*w. Which is bigger: -4 or f?
f
Let i be 6 + (-3 - -1 - 1). Suppose -n + i*n = 2. Let a(o) = -o - 3. Let u be a(-2). Is u > n?
False
Let l = -12.9 - -12.9. Is -86 greater than l?
False
Let y = -4 + 2. Let d = y + 1.9. Let l = d - -0.2. Is -1/2 > l?
False
Let r = -1284 + 12829/10. Which is smaller: r or -1?
r
Let r(x) = 0 - 2 + x + 3 + 0. Let i be r(0). Which is greater: -2/13 or i?
i
Let v = -6.1 - -1.1. Is -0.2 != v?
True
Let k(i) = -i + 4. Let h b