rue
Suppose 0 = 4*q - b - 2, 2*q = 6*q - 2*b - 4. Suppose q = n + 3*n + 3*k + 173, -3*n = -2*k + 134. Is n < -43?
True
Let s = -35210/9 + 3912. Let k(t) = -t**3 + 5*t**2 - 3*t - 4. Let z be k(4). Does z = s?
False
Let a = -73609/12341 + 247/41. Let l = -1/86 - a. Does 1 = l?
False
Let y be 0/(3 + 0) - 0. Do 2/7 and y have the same value?
False
Suppose -2*q - 10 = -2*k - 4*q, 4*k - 4*q = -4. Let c(o) = -3*o**2 - 12*o - 8. Let g be c(-2). Which is greater: g or k?
g
Suppose -5063 = -74*x - 1289. Is 50 greater than or equal to x?
False
Suppose 0*r + 8 = 2*r. Suppose 16 = r*g - 12. Suppose 39 = -4*m + g*m. Is m not equal to 13?
False
Let j be 14/28 - (-10)/4. Suppose -2*v = 2*g - 2, 3*g + 5*v = j - 2. Is g greater than 36/11?
False
Suppose -5*n + 15 = -3*a, -3*n + 9 = -3*a + a. Suppose 6 = c + 2*b + 1, a = -3*c - b. Which is smaller: c or -4/31?
c
Let f = -21.8 - -21.1. Let d = 3.7 + -0.7. Are d and f unequal?
True
Let n = -228 - -628. Which is smaller: 399 or n?
399
Let o = -4780 - -28775/6. Is 17 at least as big as o?
True
Let x be -2 + (6/21)/(66/434). Which is smaller: x or -1?
-1
Let v(j) = 5*j - 2. Let h(g) = 11*g - 5. Let k(m) = 6*h(m) - 13*v(m). Let w be k(5). Let f be 2*w/(-12)*2. Which is smaller: -5/3 or f?
-5/3
Let z(q) = -q**2 - 14*q + 3. Let y be z(-12). Let i be 2 + -3 - 4515/y. Let s = i + 168. Which is bigger: s or 1?
1
Suppose 104 = -13*o + 14*o. Let y = o + -104. Which is greater: 2/29 or y?
2/29
Suppose -26 = 14*l - 26. Let r = 4 + 1. Let o be (-2)/(-6) + r/30. Which is greater: o or l?
o
Suppose 4*s - 3*w = -1687, 0 = 5*s + 15*w - 14*w + 2085. Is s at least -418?
True
Let w = -45 + -18. Let l = -23 - w. Let n be 2/(l/(-14))*-2. Is n bigger than 1?
True
Let v = 1770 + -1768. Is v < 0.1223?
False
Let o = 485 - 524. Are -43 and o equal?
False
Suppose 0*i + 18 = 3*i. Let t(f) = -f**2 + 6*f + 5. Let p be t(i). Let y(k) = -k**2 + 2*k + 6. Let q be y(p). Do -8 and q have the same value?
False
Suppose 49*m - 44*m + 3*p = -6, 0 = 3*m + p + 2. Is -2/4335 at most m?
True
Suppose z = -2*s - z + 30, -4*z = -5*s + 66. Suppose 10 = r - 5. Let b = r - s. Is b equal to 4/15?
False
Suppose -7*s = 9*s. Which is smaller: -3/370 or s?
-3/370
Let q be -2 + (6 - (-4)/(-2)). Let p = 196/5 - 40. Which is smaller: q or p?
p
Let a = -237 - -360. Let h = 94 - a. Is h at most -1/2?
True
Let d be 408/(-748) + -2*(-3503)/(-22). Is -318 at least d?
True
Let v be 64/3 - 6/(-9). Suppose -96*i = -168*i + 1584. Is i at most v?
True
Suppose -10*z + 8*z = 140. Let q be (-4)/(-14) - (-20)/z. Is q at most -6?
False
Let o(l) = l**2 - 5*l - 6. Let z be o(3). Is -13 at least as big as z?
False
Suppose 121*h - 539 = 114*h. Which is smaller: 0.1 or h?
0.1
Let b = -9 - -58. Which is bigger: b or 51?
51
Let t(l) = l**2 + 6*l + 2. Let i(u) = -u + 2. Let w be i(7). Let m be w - (-2 + 1 + 2). Let o be t(m). Is 2 >= o?
True
Let l be -6 + (7 - 37)/(-6). Let u = -53/2 - -26. Is l > u?
False
Let z be (-1394)/(-9568) - (-8)/(-52). Is 1 greater than z?
True
Let k be 5 - ((-8)/18 - (-2138)/(-9)). Is 243 equal to k?
True
Let r = -244 + 243.6. Are 7 and r unequal?
True
Let u = -11.4 - -9.6. Which is smaller: u or -0.5?
u
Let h be 3 + -1 + 3/(-3). Suppose -5*i = -4*t + 133, -3*i + 2*t = i + 110. Let a be (-28)/(-7) - i/(-8). Which is smaller: a or h?
a
Let q = -45050618/1365 - -33004. Let g = -4/105 + q. Which is smaller: g or 1?
g
Let b = 23 + -50. Let j be (5 - -1)/(-2) - b/7. Which is smaller: -0.1 or j?
-0.1
Let d be (50 + -5)*4/6. Suppose -5*r + 5*o - d = 0, -3*r - 2*o = -2*r + 12. Let l be (-55)/(-4) + (-2)/r. Is l >= -1/3?
True
Let l be 2 + (4 - (78/10 + 2)). Let t = l + 389/105. Which is greater: -1 or t?
t
Let f(b) = -b + 3. Let h be f(-23). Is h greater than 27?
False
Suppose 5237 = 34*w - 7921. Is 388 > w?
True
Let b(c) = -c**2 + 7*c + 7. Let y be b(6). Let o(d) = d**3 + 8*d**2 + 14*d + 9. Let g be o(-5). Is g at most y?
False
Let h(s) = s**2 - 2*s - 8. Let m be h(4). Suppose m = -5*f + 31 + 169. Let c be ((-6)/15)/((-4)/f). Is c less than or equal to 1/4?
False
Let h be -147*1*5/40. Is h at least -19?
True
Suppose 5*o = -4 - 16. Which is smaller: o or -22/7?
o
Suppose 0 = -3*f - f - 4. Let w(r) = r**3 - 9*r**2 - 22*r - 5. Let c be w(11). Are c and f equal?
False
Let n = -41.7 - -41.67. Let x = -0.4 + -1.6. Which is smaller: n or x?
x
Suppose 3*w + 21 - 3 = 0. Let x = 10 + w. Suppose x*j + 4 = 16. Do 4 and j have the same value?
False
Suppose 0*f - 54 = 2*f. Let x be f/(-45) + 6/(-10). Let p(m) = m**3 - m + 6. Let z be p(x). Which is smaller: 7 or z?
z
Let r be 7/((-28)/(-296)) - 3. Suppose -x - 70 = -r. Let s be (-2)/4 + 14/36. Which is smaller: x or s?
s
Let b(g) = 3*g + 8. Let j be b(-3). Let q(k) = 3*k**3 + 2*k**2 - 1. Let x be q(-1). Let c be -5*3/((-285)/x). Are j and c equal?
False
Let j(i) = -i**2 + 5*i + 22. Let y be j(8). Let h = 0.5 - 0.2. Let s = -0.2 - h. Is s < y?
False
Let n = -31 - -25. Let k(x) = -2*x - 13. Let i be k(n). Is i > 6/25?
False
Let z = 31.67 - 31.7. Is -0.25 at least z?
False
Let n be ((-1)/(-4))/((-2)/104). Are -11 and n equal?
False
Let f = -3774/275 + 434/25. Which is bigger: 3 or f?
f
Let j = 61 - 64. Let a be ((-8)/(-3))/((-5)/j). Suppose 5*c - c - 12 = 0. Is c equal to a?
False
Let g be 8/36 - 392/(-18). Suppose g*m = 27*m + 40. Are m and -6 equal?
False
Suppose -3*w + x = 4*x - 228, 0 = -4*x. Suppose -2*q = -5*u - 19 - w, 4*q - 2*u - 182 = 0. Suppose -q = 5*g - 0*g. Which is greater: g or -7?
-7
Suppose -14 = -5*q - x, 6*x = -5*q + 2*x + 11. Suppose 0 = 4*s - o - 3*o + 12, -4*o = q*s - 26. Let a be 0 - (-46)/(0 + s). Which is greater: a or 22?
a
Let r be 7371/(-2470) - 5/10*-6. Which is bigger: -1 or r?
r
Suppose 4*f = 3*f - 63. Let l = -23 - f. Do 41 and l have the same value?
False
Let r be (-48)/(-44) - 8/(-44). Let s = -188 + 188. Is r smaller than s?
False
Suppose y = 2*y - 4. Suppose 0*b - 16 = -y*b. Is b <= 13/5?
False
Let c be (((-3)/(-10))/3)/((-6749)/794). Is 1 greater than or equal to c?
True
Suppose -6 = 9*n - 6*n. Let v be ((-354)/(-60) - 6)/((-4)/10). Is n at least as big as v?
False
Let z = 729 + -731. Is -111 at least z?
False
Let d be -5*5/475*(-2)/(-1). Is d <= -3.4?
False
Let h = 10 - 6. Let r be 20/6*(-3)/(-2). Let p be ((-10)/r)/(h + 2). Are p and 1 non-equal?
True
Let v be (2 - 9/4)/1*-1. Which is smaller: v or -134?
-134
Let u = -344752478/1139 - -302680. Let q = u - 1/134. Is 1 at least q?
True
Let o = 44293/15 + -2950. Which is bigger: o or 4?
4
Let g = 0.14 + 3.36. Let o = 2.5 - g. Which is smaller: o or 0?
o
Let g = -3 - 7. Let w be 4/6*(-15)/g. Suppose 4*x - l = -2, 3*x - 4 = -2*l - 0. Which is bigger: w or x?
w
Let l = 343 + -325.1. Let q = 17 - l. Let u = q - -0.7. Is u < -2/7?
False
Let n(i) = -73*i + 738. Let d be n(35). Which is smaller: d or 0.1?
d
Let d(u) = -4*u - 4. Let v(i) = -2*i + 18. Let n be v(9). Let c be d(n). Suppose -s = 4*s + 10. Which is smaller: s or c?
c
Let m(a) = -41*a - 532. Let l be m(-13). Is 1/177 smaller than l?
True
Let n = -442 + 271. Which is smaller: n or 1?
n
Let p = 1833 + -1842. Is p equal to 25?
False
Let h(f) = -f**2 + 15*f - 11. Let t(m) = -2*m**2 + 23*m - 17. Let r(b) = -8*h(b) + 5*t(b). Let j be r(2). Is -14 less than j?
False
Let g be (4 - 1)*1/3. Let l = 8/855 - -77/22230. Which is smaller: l or g?
l
Let u(j) = 6*j - 1. Suppose 0 = 2*k - 4*w - 26, 4*k - 12 = -4*w + 2*w. Suppose -3*o + y = -0*y + 6, -k*y = 15. Let c be u(o). Which is smaller: -18 or c?
c
Let o(g) = 5*g + 1. Let u be o(2). Let i = 4 + u. Let n be (((-80)/8)/(4/6))/(-1). Is i equal to n?
True
Let i = 47 - 11. Suppose -i = -10*a + 14*a. Is a at least -8?
False
Let j be (2*1)/((-1)/(-2)). Let b = 4 - j. Let k = -37 - -37. Is b bigger than k?
False
Let x = 204 + -67. Suppose -2*k - 82 = -3*c, -5*c = -k - 2*k - x. Is c at most 28?
True
Let w = 5 + -1. Suppose 4*b + 0*a - 5*a + 12 = 0, -5*b = w*a + 56. Which is greater: b or -9?
b
Let a(x) = -x**2 - 16*x - 15. Let s be a(-15). Is -7/64 less than s?
True
Let i = 71/270 - -1/27. Which is bigger: i or -1?
i
Let j = -444 - -94. Let f = -353.14 - j. Let n = f - -0.14. Which is smaller: n or -2/5?
n
Let d = 22860 + -43525439/1904. Which is smaller: d or -0.1?
-0.1
Let j(z) = -7*z**2 + 2*z + 3. Let l be j(-1). Let x be -3 + 5 + 0 - l. Is 6 smaller than x?
True
S