rue
Let o = -3.09 + 0.01. Let h = 0.08 + o. Let f = -1474/9 + 164. Which is smaller: f or h?
h
Let t be 5 + -2 + (3 - -3). Suppose 5*j + 6 = -t. Is -2 greater than or equal to j?
True
Let n = 2 - 1.4. Let c = n + -0.63. Let g = c - -1.03. Are -1 and g equal?
False
Let k = 816 - 811.97. Let i = -7.04 + k. Let t = i + 0.01. Which is smaller: -1 or t?
t
Suppose 13 = 3*s + 4. Suppose -s*q = -6*q - 9. Let x be ((-9)/(-6))/((-26)/(-16) - 2). Is x bigger than q?
False
Let z be -3 - (1 + -3 + -4). Let x = z - -2. Do x and 0 have the same value?
False
Suppose -d = d. Suppose d = -4*z + 2*t, -3*t = -0*t - 6. Let b = -15/52 - -1/26. Are b and z equal?
False
Suppose 5*o = 3*c - 37 - 30, -5*c = 5*o + 35. Let q = -127 + 117. Which is bigger: o or q?
q
Let p = 17 - 17.4. Is 2/11 equal to p?
False
Let c be (-1)/(-2)*1418/(-309). Let g = 4/103 - c. Let r = 2 - g. Are -1 and r non-equal?
True
Suppose 5*o - 80 = 5*t, -t - 44 = -3*o - 0*t. Let i be (-10)/30 - o/(-6). Which is greater: 6 or i?
6
Let x = 2.7 - 2.81. Let u = x - -0.1. Is u less than -2/3?
False
Let d(h) = -h**3 - h**2 + 5*h + 2. Let x be d(-3). Let u be x*(48/15)/4. Let c = 5 - u. Which is smaller: c or 2?
c
Let l = 13 + -9. Let d = -6 - -10. Let n be (1 - d) + -4 + 10. Is l >= n?
True
Let d(s) = s**2 - 8*s - 3. Let a be (-2)/7 - 92/(-28). Let k(w) = -2*w**2 + 9*w + 2. Let l(m) = a*d(m) + 2*k(m). Let o be l(-4). Do o and 3 have the same value?
True
Let f = -26/3 - -9. Let q(a) = a + 14. Let c be q(-9). Suppose -j = 4*j + c. Is j < f?
True
Suppose -4*h - 3*s = -19, h - 7*s + 1 = -2*s. Is h < -3?
False
Suppose d = -5*c + 2, 5*d + 3 = -3*c + 13. Let i be (-4)/6*(-15)/20. Which is bigger: i or c?
i
Let g = 12 - 0. Let y be g/(-28) + 3 + -2. Is y at least as big as 0?
True
Let p = -44 - -43. Which is greater: 2/23 or p?
2/23
Suppose 0 = -2*n + 4, -3*z - 5*n - 9 = -4. Which is bigger: z or -6?
z
Let y = 1964/9 + -218. Let q = -0.1 + -0.9. Let m = -1 + q. Which is smaller: m or y?
m
Suppose 5*d + d - 120 = 0. Let g = d - 17. Are g and 15/7 non-equal?
True
Let l = -1 - -1/2. Let j = -7 - -2. Let f be 15/6*4/j. Which is smaller: l or f?
f
Suppose -3*k + 2*v = -24, -4*v - 18 = 4*k - 5*k. Let o be (44/k)/(2/6). Let c = o - 45/2. Which is smaller: -2 or c?
-2
Let f(o) = o + 1. Let n be f(-2). Let x be n/(-4) + 26/(-40). Let r = 0 + 0.1. Which is smaller: x or r?
x
Suppose -10*t + 12*t + 6 = 0. Let q(p) = -6*p + 3. Let z be q(5). Let y be 114/z - 2/(-9). Is t at least y?
True
Let p be 3 + -2 + (-14)/5. Are p and -2 equal?
False
Suppose 4*q - 48 = 8*q. Is q smaller than -13?
False
Let v = -2 - -1. Let h be 1*((-1)/6)/(5/50). Which is bigger: v or h?
v
Let x(i) = -i + 10. Let a be x(9). Are 4 and a nonequal?
True
Let v(h) = -h + 1. Let y be v(2). Let c = -2 - y. Which is smaller: c or -2/9?
c
Let y = 30 - 29.9. Let k = 0.2 - 0.2. Which is greater: k or y?
y
Let l(c) = -3*c + 1. Let k be l(0). Is k >= 2/3?
True
Let i(k) = -2*k + 3. Let s be i(3). Is s less than or equal to -15/8?
True
Let p = -20.13 - -20. Let a = 0.07 - p. Is 2/11 at least as big as a?
False
Let h be (44/(-55))/(6/45). Is 2/5 at least as big as h?
True
Let j = -0.2 - 3.8. Let v = 1.39 + -0.39. Which is smaller: v or j?
j
Let v be 1 + (-7 - (-1 - 1)). Let d = v + 3. Let s = d - -1. Which is bigger: 1/3 or s?
1/3
Suppose -2*o - 4*v = -v - 6, 2*o - 3*v + 6 = 0. Let r = o + 2. Suppose 0 = -r*s - 0 - 8. Does s = -4?
True
Let x = -3/38 + 25/76. Let i = 29 + -19. Let m be (-7)/(-28) - i/8. Which is smaller: m or x?
m
Let u be 2*((-9)/6 - -2). Let k be u - 4 - (1 - 1). Let s(g) = g**3 - 6*g**2 - g + 5. Let z be s(6). Which is smaller: z or k?
k
Let a = -13 + 15. Is 4 greater than a?
True
Let g = 17 - 69/4. Let w be 15/10 - (-2)/(-4). Let y be (-1)/w - (-3 + 1). Is y at least as big as g?
True
Let u be (1 - 5)/(4/(-2)). Suppose -3 = 4*h + 1. Which is bigger: h or u?
u
Let k = -3.6 + 4. Suppose t - 10 = -4*t. Let h = t - 2. Which is bigger: k or h?
k
Let k(y) = -y + 8. Let g be k(9). Let m be 2/((-6)/45) + 0. Let a be ((-2)/5)/(16/m). Is g smaller than a?
True
Let c be (40/21 + -2)*39. Let n = 272/77 + c. Which is bigger: n or -1?
n
Let y = -13 - -8. Suppose 4*s + 0*s = 0. Suppose 3*w - w + 12 = s. Is y >= w?
True
Let a = -12 + 133/10. Is 2 less than a?
False
Let k(f) = -f**3 + 3*f**2 + 4*f + 5. Let s be k(4). Let n = s - 5. Let o be -1*(-3)/(-12)*1. Is n greater than or equal to o?
True
Let z = 0.963 - -0.037. Which is bigger: -2 or z?
z
Let r = 0.06 + -0.04. Let c = 0.01 + r. Let z = c + 0.07. Which is greater: z or 1/3?
1/3
Let c = 4 - 6. Let s be 1/3 - c/3. Let q be (-24)/(-18) + (-1)/3. Is s bigger than q?
False
Let g be 3/(-36)*-2*4. Let i = -1.43 + 1.4. Is g != i?
True
Let g be 1 - ((-3)/6 - (-1)/(-2)). Which is bigger: 5/2 or g?
5/2
Let s = -1.83 + 2. Which is greater: -1 or s?
s
Let z = 19.1 - 19. Suppose -4*i = -8*i - 8. Let s be 4/(-9)*i/4. Is s at most as big as z?
False
Let x = 3.63 + -0.63. Is x less than -2/9?
False
Let l be (-12)/15*(-30)/(-4). Which is bigger: -8 or l?
l
Let i = -48/1111 - 132169/206646. Let l = 1/62 + i. Let r = -24 + 145/6. Is l greater than r?
False
Suppose -h = -f + 10, -2*h + h - 5*f + 20 = 0. Let l(z) = -z**3 - 10*z**2 + 11*z + 2. Let w be l(-11). Suppose -2 = w*u - 0. Are h and u equal?
False
Let c = -1308/221 - -98/17. Suppose -3*u - 3 = -0*u. Is c bigger than u?
True
Let i = 5 + -7. Let f be (5 + -2 - 2) + i. Let j be 2/2*2/(-20). Is j >= f?
True
Let i = -33/7 - -929/203. Which is smaller: i or 1?
i
Let h = 87 + -86. Do h and -0.7 have the same value?
False
Let x be ((-1)/(-3))/((-7)/(-42)). Suppose 4*q - 1 = 3*q. Is x at least as big as q?
True
Let l(v) = v**3 - 4*v**2 + 3*v + 3. Let s be l(3). Are s and 3 equal?
True
Let t = 53 - 50. Suppose 3*p + 0 = 3. Let s = t - p. Does s = 2?
True
Let p(r) = 5*r + 11. Let t(y) = 11*y + 23. Let n(k) = 13*p(k) - 6*t(k). Let b be n(6). Which is greater: b or 1/3?
1/3
Let j be 3 + ((-195)/(-14))/(-5). Let w be 3/15 + 16/20. Is j smaller than w?
True
Let t = -2 - -2. Let g = 147 - 146. Which is bigger: t or g?
g
Suppose 0 = -5*w + 2*c - 0*c + 71, 36 = 3*w + c. Let v = 21 - w. Let o = v + -5. Which is bigger: -0.2 or o?
o
Let s = 839/4 + -211. Is s <= -2?
False
Suppose m - 5 - 10 = 3*g, 0 = -4*m + 5*g + 25. Let r(w) = -2*w + 42. Let x be r(19). Suppose 0 = -3*j - m*v - v - 6, x*j - 4*v + 24 = 0. Is -4 bigger than j?
False
Suppose 2*j - 4*j - 54 = -5*q, -5*q + 51 = -3*j. Is q at least -2?
True
Suppose 0 = 11*x - 13*x. Let p be 18/14 - (-8)/(-28). Is x <= p?
True
Let b be 140/(-54) + 1/3. Let q = 5/54 + b. Let t = q + 5/3. Are t and 0 nonequal?
True
Suppose -3*y + 34 = -4*k + 2*k, -3*k + 4*y = 49. Is k equal to 1?
False
Let y be (65/10 + -3)*6. Which is smaller: y or 22?
y
Let o = 130/3 + -46. Let w = 76 + -79. Which is greater: o or w?
o
Suppose 3*r + 2*s + 0*s = 5, 2*r - 5*s + 3 = 0. Let a = 9/4 - 107/44. Which is smaller: r or a?
a
Let z = 0.2 - 1.1. Let q = z - -0.7. Is 0 at most as big as q?
False
Let i = -0.24 - 3.76. Let k = -15 - i. Which is greater: k or -1?
-1
Let n = 3.4 - -0.6. Let x = 0 + -3. Let c = x + n. Which is smaller: c or -1?
-1
Let b be 0 + (-3)/((-6)/(-4)). Let z(x) = x**2 - 3*x - 6. Let w be z(5). Suppose -5 = w*i - 1. Is i < b?
False
Let t be 1 - (0 + 4/3). Let g = -0.7 - 3.3. Let y = 2 + g. Is t bigger than y?
True
Let l = -1/80 - 9/80. Are l and -1 equal?
False
Suppose -t - 2*t = 3*a + 21, 0 = -a - 3*t - 17. Let n = -3 - a. Let d(x) = 3*x. Let b be d(n). Which is bigger: b or -1?
-1
Suppose -2*s = 2*s - 144. Let i be 4/18 + (-8)/s. Is i less than or equal to -1?
False
Let w(q) = 3*q + 10. Let m be w(7). Let g be 9/6 - m/18. Is -1 bigger than g?
False
Let i be (-890)/(-14) - 33/(-77). Is i < 63?
False
Let g be 4/14 + (-18)/14. Let j be -1 - (g - -1) - -5. Let p = j + -9. Is -5 not equal to p?
False
Suppose 0 = 2*k - 3*k. Let z = k + 2. Suppose 2*t + z*t = -24. Which is smaller: t or -5?
t
Let l be (-10)/(-24) + (-12)/16. Let w = -39 + 39. Which is bigger: w or l?
w
Let k be (-8)/(-20)*(0 - 10). Let y = k + 2. Is -3 less than y?
True
Let a be 6/9 + (-30)/9. Let z = 0 - 2. Which is greater: a or z?
z
Let w be 3*1 - (-6)/(-6). Suppose 3 = n + w. Suppose 2 = 2*k + f + 7, 0 = 4*k - f + n. Is k not equal to -2/7?
True
Let b(f) = -2*f**2 + 6*f - 6. Let p be b