se
Let a(i) = 4*i**2 - 5*i - 4. Let n be a(-1). Suppose 4*o + 17 = n. Is o less than or equal to -10/3?
False
Let j(u) = 15*u - 2*u**2 + 11*u - 24*u + 3. Suppose 0 = -c - 0*z - 3*z - 11, z = -2*c - 7. Let y be j(c). Is y less than -9?
False
Suppose -4*q = 5*k - 70, 0 = k - 6*k - 5*q + 75. Suppose -5*i = -k*i + 30. Suppose -3*b = -5*h - 9, -5*h + 6 = -i*b + 8*b. Do -1 and h have the same value?
False
Let r = -9314/7 - -1336. Is r smaller than 6?
True
Let y(r) = r**3 + 2*r**2 - 18*r + 2. Let p be y(-5). Is 88/5 >= p?
True
Suppose x + 4 = 0, -h + 1 = 8*x - 3*x. Let o = 27 - h. Is o greater than or equal to 7?
False
Suppose -g + 244 = 4*d, 4*d + 8*g - 268 = 13*g. Is 57 at most as big as d?
True
Let b = 692 - 693. Let g = -0.2 + 2.2. Is g smaller than b?
False
Suppose 0 = m - 2 - 3. Let i be (m/(-10))/((-2)/(-12)). Let r = 64 - 62. Is r not equal to i?
True
Suppose -h = -2, -10677 = -8*s + 13*s - h. Which is smaller: -2136 or s?
-2136
Let w = -13 - -81. Suppose w = 2*a + 42. Which is smaller: 14 or a?
a
Suppose 170 - 30 = -20*n. Let i = 10 + -17. Is n at least as big as i?
True
Suppose 0 = -j + 2*j - 72. Let p = j + -39. Let w be p/42 - 2/4. Is -0.1 bigger than w?
False
Let l = 582/5 - 116. Let u = 2893 - 2893.4. Which is bigger: u or l?
l
Let j = 27 + -107. Let n be (j/25)/(-4)*5. Suppose -n + 7 = -3*r. Which is smaller: r or -2?
-2
Suppose -5*y + 176 = 5*a - 4*a, 2*y = -a + 191. Let k = -142 + a. Which is smaller: k or 60?
k
Let u(h) = 4*h**2 - 62*h + 38. Let a be u(15). Is a at most 0.33?
False
Let i = 0.1 - 0.2. Let m = 145 - 145. Let t = m + i. Is t <= 1/19?
True
Let m be -5 + (-7 - -10) + (-404)/(-34). Is 11 at least m?
True
Suppose q - 110 = 6. Suppose 3*l - q = -l. Is 30 bigger than l?
True
Let z = 224 + -223.7. Are 2/21 and z non-equal?
True
Suppose c + 3 = p, 19*p + 17 = 23*p + c. Let s(b) = 13*b**2 - b. Let k be s(1). Is p less than or equal to k?
True
Let a = -4/345 - 4778/4485. Which is smaller: a or 0?
a
Suppose 2*i - w = 0, 4*w + 0*w + 8 = 0. Is -13/18 < i?
False
Let k be (14 + 4)*(1/(-2) - -1). Let a = 7 + k. Which is greater: 14 or a?
a
Let j = -6433/186120 + 1/2115. Which is smaller: j or 0?
j
Let x be ((-40)/(-25))/((-1)/5). Let u = 12 + x. Suppose -2*n + u*r = 16, -5*n + 0*r - 5*r = 55. Are -9 and n equal?
False
Let u = 5 - 4.99. Let y = -1 - -0.7. Let l = y - -0.3. Is l equal to u?
False
Suppose 5*d = -4*l + 16, 3*l - 11 = -2*d + 1. Which is smaller: 2/937 or d?
d
Let a = 24.4 - 24.85. Which is bigger: -1 or a?
a
Let u be 7 - -1 - (22 + -15 + -7). Let n(v) = -v + 5. Let b be n(-4). Which is smaller: b or u?
u
Let m = 3.58 - 0.58. Let a = 84.7 - 81. Let r = m - a. Which is bigger: 0.2 or r?
0.2
Let f = -0.3 - -0.2. Let n = f - -0.1. Let r be 6 - (4/(-10) + 136/(-780)*-37). Is r at most n?
True
Let g be 14482/156 - (2 + 13/(-6)). Is g less than or equal to 93?
True
Let o = 24 + -29. Let z = o + 5. Which is bigger: 2/37 or z?
2/37
Let l(q) = -23*q - 316. Let w be l(-13). Which is bigger: -18 or w?
w
Let k = 1889 - 1154. Does 733 = k?
False
Let k(r) = -r**2 + 28*r + 17. Let x be k(28). Is 15 >= x?
False
Suppose -2*t + 3*p - 24 = -t, -23 = 2*t - p. Let w be -1*t*(-42)/18. Which is greater: -20 or w?
-20
Suppose -3*g - 4 = -g - a, -2*g = -5*a + 20. Let h(z) = -z**3 + z**2 - z - 1. Let p be h(g). Is -2/13 less than p?
False
Let g be 0 - 1/(2/(-16)). Suppose f = 5*f - 2*j - 218, 4*f - 206 = -2*j. Let r = f - 54. Which is smaller: r or g?
r
Let u be -6 + 4 + -4 + 47. Is u not equal to 44?
True
Let o be (-2050)/(-2040) - 3 - -2. Which is greater: 1 or o?
1
Let r(n) = n - 4. Let w be r(2). Let o = -1125 + 32619/29. Let c = o + -75/58. Is w less than or equal to c?
True
Suppose -3*n - 43 = -5*f, 45 = 8*f - 3*f - 5*n. Suppose -12 = 3*a - 3*d, a - d - d + f = 0. Let s be 6 + -5 - (a - 3). Which is smaller: 5 or s?
s
Let m(w) = w**2 - 6*w - 1. Let x be m(7). Suppose 0 = -5*r + 51 - x. Let z be (-6)/9 - (-3)/r. Is -6 greater than or equal to z?
False
Suppose 3*s - 32 = -5*g + 8, 5*s = -2*g + 35. Suppose g*b = -3*l - 2 + 29, 6 = -2*b + 3*l. Which is bigger: 2 or b?
b
Suppose 0 = 5*p - 4 + 19. Let m = p + -4. Let j be m/((-140)/(-32))*5. Is j less than or equal to -10?
False
Let r = -11 - -10.93. Let q = 13680 - 13686. Is q < r?
True
Let o = 100.363 - 99.4. Let q = o + 0.037. Let g = -39/5 + 161/20. Which is bigger: g or q?
q
Let c(b) = 2*b**3 - 36*b**2 - b + 24. Let p be c(18). Is p at most 64/13?
False
Suppose -4*k + 16 = -5*k + 3*b, -4*b + 16 = 4*k. Which is bigger: k or -5/6?
-5/6
Let j = 147 - 9. Let r be (-1)/(-1) - (j/(-2) + 2). Is 68 >= r?
True
Suppose -3*v - 3*m = -96, 4*v - m - 146 = m. Let w be (-3)/5 - (-1036)/v. Let u = w - 37. Is -2 != u?
True
Suppose o + 2 = 4. Suppose m + o = 3. Let v = -96/385 - 2/55. Which is bigger: v or m?
m
Let s(r) = r**3 - 25*r**2 - 25*r - 24. Let x be s(26). Suppose -3*u - 4*z - z + 42 = 0, 4*u - x*z - 30 = 0. Is u less than 68/7?
True
Let l(s) = 15*s + 117. Let i be l(-4). Which is smaller: i or 58?
i
Suppose -4*n + 13 - 35 = -5*t, -t + 11 = -3*n. Let q be 2/((-20)/38) - n. Let w(o) = o**2 + 9*o - 12. Let k be w(-10). Which is bigger: q or k?
q
Let s = 12917 - 21429302/1659. Which is greater: 1 or s?
1
Suppose -2*c = -4*v - 696, -11*v - 169 = -10*v - 3*c. Is -176 at most v?
True
Suppose 12*i = 3*i - 9. Is 1/484 > i?
True
Suppose 0 = -w + 2*w + 3. Let t be w*(1 + 1/(-3)). Let g be (6 + -1 - (-845)/(-325)) + -3. Which is greater: t or g?
g
Suppose -22*q + 26*q + 20 = 0. Let f be (132/(-20) - -7)/(7/q). Let x = 0.1 - 0. Which is smaller: x or f?
f
Let p be (1 - 0/4)*14. Is p at least as big as 2?
True
Suppose 3*c - c = 4*d - 22, 5*d = -c + 17. Suppose -14 = -5*t + 6. Let j = t - d. Are j and 1/8 equal?
False
Let v = 6122 + -3385464/553. Which is smaller: v or 0?
0
Let i = -447 + 439. Is 0.036 greater than i?
True
Let t(k) = -33*k**3 + 5*k**2 - k - 4. Let c be t(3). Is c smaller than -853?
False
Let x be 2945/1922*(-8)/(-5). Which is bigger: x or 3?
3
Suppose -3*o - 9 = 2*l, -2*l - 3*o = 2*o + 15. Let x = 175 + -171. Suppose -t + x = -l*t, m = -2*t + 27. Is m <= 18?
False
Let m be (-4 + 95/25)*1. Let l = 7 - 3. Let j = -4.2 + l. Is m at least as big as j?
True
Let c = 104 - 111. Let o = -0.3 + -0.7. Is o less than c?
False
Let a = -7934/3 + 2668. Which is smaller: 22 or a?
22
Let o(c) = c**2 - 23*c - 65. Let b be o(26). Are 0.27 and b equal?
False
Let c be (-1 + -1 + 21)/(54/210). Let s = c - 221/3. Which is bigger: 2/7 or s?
2/7
Suppose 4*q - 3*s + 13 = 0, -14 = 4*q - s + 9. Let f(a) = -a**3 + 16*a**2 - 11*a + 37. Let x be f(15). Let r = 91 - x. Which is bigger: r or q?
r
Let g = 7.9 + -8. Let r = 25 + -30. Which is smaller: r or g?
r
Suppose -2*d = 35 + 87. Let r = -35 - d. Suppose -m - 4*x + 19 = -2*m, -2*m = 4*x + r. Is -16 > m?
False
Let z(s) = s**2 - 4*s + 3. Let y be z(1). Let t be (-34)/10 + y + 2. Let l = 14 - 15. Is t at least l?
False
Let j = 1/3 + 2. Let i = j - 3. Which is bigger: i or 0.12?
0.12
Let u = 118 - 102. Let w be 9 - (-4 + u)/4. Which is bigger: w or 47/7?
47/7
Let g be -3*(-4)/6 + -4. Let r be 7/7 + g/6. Let u = 0.08 + 4.92. Which is bigger: u or r?
u
Suppose 29*t + 1 = 28*t. Which is greater: t or 1/170?
1/170
Let b(h) = 44*h - 73. Let k be b(3). Is k at most 59?
True
Let v be -1*(176/(-92) + 2). Let i = -33/115 - v. Let q = -37 + 34. Do i and q have different values?
True
Let j be 1 + -1 - (-4)/((-36)/25). Which is smaller: -2 or j?
j
Let n(u) = -u**2 - 3*u + 19. Let t(p) = -2*p**2 - 5*p + 37. Let m(g) = 7*n(g) - 4*t(g). Let r be m(5). Which is smaller: r or 3?
3
Let i(d) = d**3 + d**2 + 6*d - 257. Let c be i(0). Is -259 equal to c?
False
Let b = 477556/27 - 17690. Which is bigger: -3 or b?
b
Let g = 0.8 + -0.3. Let c = g - -0.5. Let l = 6.4 - 6.5. Is c greater than or equal to l?
True
Let n be (0*(-4 - -3)/1)/1. Which is smaller: -4/67 or n?
-4/67
Let o be (24/(-18)*1)/(-2). Is o greater than -38?
True
Let o = -9388/4265 - -1/853. Let x(b) = -8*b - 241. Let y be x(-30). Is y less than o?
False
Let w be 1 + -109 - (1 + (-4)/2). Is -109 <= w?
True
Let y = -53/7 - -307/35. Let o = -5153 - -5154. Which is bigger: y or o?
y
Let y(h) = 2*h + 10. Suppose 3*i - 3*b + 18 = 0, 2*b - 23 = 5*i + 4*b. Let a be y(i). Which is bigger: -2 or a?
a
Suppose 0*s = -2*s + 4. Let m = 107 - 80. Sup