ess than i?
True
Suppose 0*o = 4*u - 5*o + 1, 25 = 5*o. Let m be u*(3/63 - 0). Which is smaller: m or 1?
m
Let u be 3/(-13)*(7 - 454). Let p = 103 - u. Let t(c) = -c**2 - 4*c + 5. Let o be t(-5). Which is bigger: p or o?
o
Suppose 123 = 4*z - 3*b, -15 = 3*z + 5*b - 100. Let j = 25 - z. Which is smaller: -6 or j?
-6
Let v be (-1)/3*(-155493)/99. Let k = -523 + v. Is 1 not equal to k?
True
Let t = -365 + 2573/7. Let y = 353/140 - t. Let j = y - -43/60. Is 3 >= j?
True
Let a be -10*(-1 + (-6)/(-10)). Suppose a*m - 5*f = 9, -5*m + 3*f + 8 = -0*f. Which is smaller: m or -1?
-1
Suppose -4*k + 16 = 5*o - 0*k, 0 = o + 3*k - 12. Suppose -2*m - 4*a + 4 + 0 = o, 5*m + 2*a - 18 = 0. Are m and 5 equal?
False
Let y = -49/45 + 8/9. Let d(s) = s**2 + 4*s - 1. Let w be d(-4). Let t be (-2 + 2)*w*1. Which is bigger: t or y?
t
Let x = 120 - 124. Is -0.4 <= x?
False
Let n = -328/7 + 48. Is 1 greater than or equal to n?
False
Let b be (-10)/(-115)*1*-1. Let h = -20 - -19. Is h > b?
False
Let t = 45.4 + -45. Is t != -0.17?
True
Suppose 0*t = -3*t - 3. Suppose 0 = -p - p - 2. Are p and t non-equal?
False
Let u(h) = h**2 + 4*h + 3. Let o be u(-4). Suppose -3*s - 2 = -2*l, 0*l + 5 = 5*l - o*s. Let q be 2/l*(-3)/(-18). Is q at least as big as 1?
False
Suppose -27 = -4*d - 143. Is d smaller than -30?
False
Let j = -2 + 3. Suppose -6*t + 2*t = 40. Let s = t + 31/3. Which is smaller: s or j?
s
Let d = -6 - -12. Let j(c) = -3*c - 2. Let t be j(d). Let n be (t/(-6))/((-28)/(-12)). Which is smaller: 0 or n?
0
Let u be (0 + 0)/(-5 - -4). Suppose -3*a = -u*a + 15. Is -5 greater than a?
False
Let h = -19 - -20. Are h and 1 unequal?
False
Let c = 2 - 2. Let a = 6 - c. Let q = -6 + a. Which is greater: q or -0.2?
q
Suppose -3*m - 3*s = -9, 2*m + 0*m = 4*s - 24. Let n = 2 - m. Suppose f - i = 7, 5*f - i + n*i - 3 = 0. Is 3 > f?
False
Suppose 3 = -s + 2. Let k(q) = 2*q - 1. Let g be -2 + 4 + (-4)/2. Let h be k(g). Is h at least s?
True
Let u = 12095732 + -7511451226/621. Let k = u - 2/621. Which is greater: k or -3?
k
Let l = -609 - -3034/5. Which is smaller: l or 0.1?
l
Let a = 0.26 + 0.84. Let o = 6 - 5. Let d = a - o. Does d = -0.1?
False
Suppose t = -5*j - 3*t - 2, -5*t - 17 = -j. Suppose -3*u + j = -2*u. Let a be u/5 - (-26)/(-40). Is a smaller than 0?
True
Let h = 2528/45 + -292/5. Suppose 4*x - x = -3. Which is bigger: h or x?
x
Let w be (2/4)/(-1) + 0. Let b = 7 - 17. Let z = b - -10. Is w less than or equal to z?
True
Let v = -13/4 + 5/2. Which is smaller: v or -2?
-2
Let g(z) = -z**3 + z + 5. Let j be g(0). Suppose j*s = -2*d - 5, 2*s - 26 = s + 5*d. Let a = 12/5 - 2. Which is smaller: a or s?
a
Let c be -2 + 0 + 6 + -3. Is -1/7 greater than or equal to c?
False
Let l = 32/123 - -3/41. Let q be (0 + 1)*0/(-3). Let s(o) = -o + 1. Let f be s(q). Which is smaller: l or f?
l
Let i be (-10)/25*50/(-16). Suppose -2*l = s + 3, -2*l + 5*s + 3 = 4*s. Which is smaller: l or i?
l
Let w = 59 + -63. Are w and -0.3 equal?
False
Let w = 0.2 + -0.4. Does w = 3/7?
False
Let v(x) = x**3. Let m = 5 + -4. Let i be v(m). Is i at least as big as 1/7?
True
Suppose 4*a - 78 = 17*a. Are -6 and a equal?
True
Let i be ((-100)/(-15))/((-2)/(-6)). Let t = -4 + i. Suppose -5*m - 4*u = 2, 5*m - m = 4*u - t. Is -2 bigger than m?
False
Let v = 2 + -1. Let n(s) = 2*s + 3. Let c be n(-2). Does v = c?
False
Let l be (-38)/8 - ((-7)/7 - -3). Which is smaller: l or -7?
-7
Let s = -3 - -3. Let l be s + -1 - (1 - 1). Let n be ((-3)/6)/((-11)/(-2)). Which is greater: n or l?
n
Suppose -12 + 2 = -2*d + 2*k, -27 = -5*d + 4*k. Let p = d + 2. Does 8 = p?
False
Let p(o) = -o**3 - 22*o**2 - 21*o + 6. Let t be p(-21). Is t < 5?
False
Let r = -2/459 + -860/13311. Suppose -6*v + 15*v = 0. Which is smaller: v or r?
r
Let z be 16/72 - (-25)/9. Is 13/5 greater than z?
False
Let l be (-2)/(1 + 4 + 0). Suppose -3*t - 3 = -0*t. Let n = t + 2. Is l greater than n?
False
Suppose 0 = 4*s + 5 - 1. Let w(h) = h**2 - 8*h + 1. Let z be w(8). Suppose 5*a = i + 6, 5*a = -i - z + 5. Which is smaller: s or a?
s
Let b = 52 - 52. Which is smaller: b or 1/77?
b
Let s be (36/15 + -2)/(6/(-240)). Do s and 0 have different values?
True
Suppose -40 = -5*w + c, -3*w - 6*c = -c + 4. Suppose -2 = -w*f + 9*f. Let y be 1*-2*1/(-16). Do y and f have the same value?
False
Let h be 0/(-2) - (-8 - 1). Suppose 4*i = -h + 25. Let y be 1 + (-1 - -2) + i. Which is smaller: 5 or y?
5
Let u = -24.75 - 0.25. Let n = u - -23.7. Let q = -0.8 - n. Which is smaller: 1 or q?
q
Suppose 5*y + 21 + 39 = 0. Let g = -12 - y. Is g not equal to -1/22?
True
Let a be (-3)/5 + (-5054)/(-5665). Let v = a - 2/103. Let h be (-15)/25 - 16/(-10). Is v at most h?
True
Let h(a) = -a - 8. Let b be h(-19). Which is greater: 10 or b?
b
Let z be (9/4)/(2/(-8)). Let k = -9 - z. Is -1/9 <= k?
True
Suppose -3*i = 2*x + 13, 3*x = -5*i + 6*x + 10. Let q = 1.1 - 1. Which is bigger: q or i?
q
Let v(z) = -4*z - 14. Let n be v(-5). Suppose -n*l + 9*l = 12. Is l < 4?
False
Let s be 3/(((-108)/(-128))/9). Let h be 16/s*(-4)/(-2). Let d = -0.42 + 0.5. Which is smaller: h or d?
d
Suppose 3*p + 3 = 4*p. Suppose -13 = p*r + 4*j, -3*r - 5*j - 14 = 3. Which is bigger: 2 or r?
2
Let f = 6.47 + -6.42. Let g = -6 - -4. Which is smaller: f or g?
g
Let n be (-2 + 4 - 2) + -1. Is n less than or equal to 2/21?
True
Let t = -9 - -15. Let s = 43 - 38. Let r = s - t. Which is greater: r or -0.4?
-0.4
Suppose 4*i + 6 = 2*i. Let n be (-3)/(-3)*(i - -2). Which is smaller: -2/15 or n?
n
Let q = -23 - -14. Let h(p) = 3*p - 2. Let c be h(3). Let g = c + q. Is g equal to -2?
True
Let c(t) = t**2 + 24*t + 7. Let d be c(-24). Let g be 0/(1*-1) + 7. Do d and g have different values?
False
Let h be (-4)/12*-3*9. Suppose 15 = 4*b - h. Let d = b - 3. Is -2 greater than d?
False
Let q be (-36)/(-60)*(-5)/(-4). Which is smaller: 2 or q?
q
Suppose -7*t - 5 = -2*t. Let b be t*2*9/6. Are -3 and b unequal?
False
Let d = 9.24 - 1.14. Let g = -8 + d. Is 1 at least as big as g?
True
Let j = 2.93 + 0.07. Let m = j - 3. Is -1 greater than m?
False
Let m = -1 - -6. Let l be (-3)/1 + 9/m. Which is greater: -2 or l?
l
Let t be ((-2)/(-4))/(35/182). Which is bigger: 3 or t?
3
Suppose 4*s + 4*y = 3*s - 22, 3*y + 5 = 5*s. Suppose -5*k - 5*r = -10 - 0, 10 = -4*k + 2*r. Is k not equal to s?
True
Let f be (0 - 1)/((-2)/(-2)). Suppose 2*k + 3*i + 21 = 0, 0*k = -2*k + 3*i + 9. Which is smaller: k or f?
k
Let w = -9.1 + -2.9. Which is bigger: 0 or w?
0
Let a = 1 + -2. Let m(u) = -u**3 - 13*u**2 - 13*u - 13. Let l be m(-12). Is a <= l?
True
Suppose 1 = -5*l + 71. Let n = l - 10. Which is greater: n or 3?
n
Let r be ((-108)/15)/(6/140). Let u = 1178/7 + r. Which is smaller: u or 4?
u
Let s = -0.14 + -0.26. Let y(r) = r - 9. Let k be y(7). Is k equal to s?
False
Let h(f) = 2*f**2 + 4*f + 2. Let x be h(-2). Which is greater: x or 3/5?
x
Let o = 0.21 - 0.31. Which is smaller: 1/18 or o?
o
Suppose y = -0*y. Let j be (-2 - (-2 + y))*-1. Let f = j - 0. Which is smaller: f or 1/2?
f
Let f = -9 + 9. Suppose f = -5*g + 82 + 23. Let k be 2 - 1 - g/18. Is -2/5 != k?
True
Let h be (-3)/6 + 35/2. Let c = -69/4 + h. Let p be 0/6 - (-1)/(-1). Is p smaller than c?
True
Let y = 0.931 - -0.069. Is 28 at least y?
True
Let y = 12 + -8. Is y bigger than -3/4?
True
Let y be 333/(-84) - -1*4. Which is smaller: y or 0?
0
Suppose -g = -3*g. Suppose -3*u + 2 - 17 = 0. Let y be 6/2 + g/u. Is y <= 3?
True
Let l be (2/6)/((-4)/(-72)). Suppose -4*q + 4*f = -20, -2*q + 2*f = -q - 5. Suppose q*a + l = -4. Which is smaller: a or 2?
a
Let t = -2/211 + -203/844. Suppose 4*j = 2*j. Which is smaller: t or j?
t
Let f = 18 + -9. Let g(k) = -k + 9. Let u be g(f). Which is smaller: u or 0.5?
u
Let i = 95 - 20. Let a be ((-2)/2)/(i/6). Which is greater: a or 1?
1
Suppose i - 4 = 0, -3*i = 2*v - 0*i - 20. Suppose v*g + y - 5 = 0, 3 - 5 = -g - y. Let b(s) = -s**2 + 5*s - 3. Let m be b(4). Is g greater than m?
False
Let s be (-3 - 2 - 0) + -5 + 5. Is s >= -6?
True
Let z = -9/29 + 199/174. Is z greater than 0?
True
Let u = -4 - 23. Is -27 >= u?
True
Let b = 5 + -4. Let p be (-20 - -2)*1/2. Let q be (-2)/p + 10/36. Which is greater: q or b?
b
Let s be 3*2/21*(2 - 1). Which is smaller: s or -9?
-9
Let d = 34 + -35. Let n = 1.6 - 2. Let v = n + 0.2. Is d >= v?
False
Let g = 47 - 6. Suppose -g