r(6). Suppose 5*v - 2 = -4*z, 3*v + 2*z + 3*z + 4 = f. Do 5/4 and v have the same value?
False
Let m be (-2)/(-5) - 14/10. Let q = 1 + m. Suppose 2*z + q = 2. Is z bigger than 1?
False
Let k be 1/3 + 1/(-3). Let w be (1 - 3) + k + 3. Let f be -1 + 3 - (w + 2). Is -1 smaller than f?
False
Let l = -23 + 21. Which is bigger: -10/13 or l?
-10/13
Let f = -15.1 - -15. Are f and -104 unequal?
True
Let j(v) = v**2 - 13*v - 3 - 12 + v. Let m be j(13). Which is smaller: -1/2 or m?
m
Let l(g) = g**3 - 7*g**2 + 6*g + 4. Let w be l(6). Let x be 6/4*(-32)/(-12). Is x less than or equal to w?
True
Let w = -5/111 - 133/333. Let h(y) = y**2 - 12*y + 12. Let l be h(11). Is w less than l?
True
Let r = 0.7 - -0.3. Let f = -1.01 - 0.09. Let t = f - -1. Which is greater: t or r?
r
Let d(m) = -m**3 + 2*m**2 + 4. Let s be d(3). Let q(i) = i**3 + 5*i**2 - 2. Let k be q(s). Is k equal to -1/6?
False
Suppose 2*x + 28 = -2*j, -2*x = 4*j - 0*j + 36. Which is smaller: -11 or x?
-11
Let h be 2*(5/(-2) + 3). Let x be ((-77)/(-3))/7 - 2. Which is smaller: x or h?
h
Suppose 5*j - 4*a - 1 = 0, -j - 2 = -5*a + 2. Which is smaller: -0.7 or j?
-0.7
Let g be ((-60)/(-234))/(3/9). Which is bigger: g or 0?
g
Suppose -2 = z + 3. Let u = 3 + -5. Let b be 5 + z/((-5)/u). Do 3 and b have the same value?
True
Suppose -b + k = 2*b - 3, 3*k = -4*b + 4. Is b < 1/17?
False
Let a = -30 + 1. Let i be (7/(-35))/((-12)/1750). Let y = i + a. Which is greater: -1 or y?
y
Let t be 2 - 12/(0 - 3) - 3. Which is smaller: 5 or t?
t
Suppose -3*b - 13 + 37 = 0. Let x = -118 - -127. Are x and b unequal?
True
Let l(s) = -3*s - 75. Let t be l(-25). Is 2/355 less than t?
False
Suppose 2*p + 2*p + 8 = 0. Suppose -2*z = -2*i - 12, 2*z = -0*i + i + 7. Let o be 3*z/(1/(-1)). Is p greater than o?
True
Let z(q) = 2*q. Let y be z(-2). Which is bigger: 1 or y?
1
Let x = 3 - 0. Suppose -3*r = -6*r + x. Let c(z) = -z + 8. Let k be c(8). Which is smaller: k or r?
k
Let h be 10/2 + 1 + -1. Suppose 0 = -4*y + h*y. Let v be (-1 - 1) + 2 + 0. Is v != y?
False
Let v = 0 + 0. Let t(x) = -x**2 + 6*x + 12. Let z(j) = j**2 - 6*j - 13. Let q(o) = 7*t(o) + 6*z(o). Let d be q(7). Are d and v equal?
False
Let j be (0 + -1)/(-1 - -2). Let k(l) = -4*l + 1. Let u be k(-5). Let o be (-24)/u + (1 - 0). Is j smaller than o?
True
Let h(p) = -2*p - 4. Let w be h(-2). Which is smaller: w or 1/3?
w
Let t be (-1 + -1)*9/6 + 10. Is t at most -3?
False
Let h be (0 - -1)*-1 - -1. Suppose -4*r + 9*r - 3*z = h, 0 = -r - 3*z + 18. Suppose 2 = -r*u + u. Is -1 >= u?
True
Let k = 3 - 3. Suppose -3*d + 3 = 0, 0*q = 4*q - d - 19. Let m = -3 + q. Which is bigger: k or m?
m
Let z = 0.01 - -0.19. Let o = 1.6 + -0.8. Let h = o + z. Is h bigger than -4?
True
Let v = -50 - -80. Let m be 6 + 2*(-6)/4. Let c be 2*(m/v - 0). Which is greater: -1 or c?
c
Let c(d) = d**2 + 11*d + 15. Let r be c(-9). Which is smaller: r or -2?
r
Let p = 154 + -3543/23. Which is smaller: -2 or p?
-2
Suppose -5*t + 2 = -2*j - 6, 2 = -t + 4*j. Let c = t + 8. Is c less than or equal to 10?
True
Let q be (-40)/(-6) + (-2)/3. Suppose -m + q*m = 10. Let p(o) = o**2 + 5*o + 2. Let y be p(-5). Is y at most m?
True
Let g be 13/3 + (-1)/3. Suppose -4*b + 4 = -2*o - 2, -9 = g*b + o. Is 4/13 < b?
False
Let l(n) = -n**3 - 5*n**2 - 5*n - 1. Let i be l(-4). Suppose -m - 3 - i = 0. Let j be ((-9)/(-6))/(m/(-8)). Which is greater: j or -2/5?
j
Let i be (-6974)/(-72) - (-3)/12. Let p = 97 - i. Is 0 > p?
True
Suppose -4*s - 16 = -8*s. Which is greater: s or 2?
s
Let s = 8 - 31/4. Let c be (1 - 15/27)/((-10)/15). Is s greater than c?
True
Let i = -34/15 - -8/5. Which is greater: 1 or i?
1
Suppose 0 = s - 2*w, 0 = -4*s - 2*w - 2*w. Suppose s = 3*u - v + 5*v, u + 2*v = 0. Which is bigger: 4/3 or u?
4/3
Let s = -8 + 8.003. Let j = 2.897 + s. Let p = 3 - j. Which is smaller: 4 or p?
p
Let p = 2.8 - 1.6. Let u = p + -0.4. Let c = u - 0.7. Which is smaller: c or -0.04?
-0.04
Suppose 3*d = -3*f + 6, -3*f - 3*d + d + 10 = 0. Let u = f + -4. Suppose -5*w + 7 = u. Is w bigger than 1/13?
True
Let t be ((-808)/(-19152))/(2/(-6)). Let s = 5/57 - t. Is s > 1?
False
Let x = -5 + 9. Let s be 7 + -1 + -2 - -2. Let c be (s/x)/(1/2). Does c = 3?
True
Let d = 56 + -53. Which is smaller: d or 7/2?
d
Let m = 57 + -38. Is 18 not equal to m?
True
Let g = 52 - 678/13. Does 0 = g?
False
Let n be (60/(-16) - -3) + (-5)/(-12). Which is smaller: 41 or n?
n
Let v be ((-4)/3)/(2 + 4). Let c = 2.81 + 0.19. Is v > c?
False
Let h = -1.3 + 0.8. Let g = h - -0.1. Which is greater: 2 or g?
2
Let i = -0.065 + -0.975. Let y = i - -0.04. Is y less than -1?
False
Suppose -60 = -4*z + 12. Let s = z + -17. Do s and 3 have the same value?
False
Let c be -39*(-10)/105 - 0. Which is smaller: c or 4?
c
Let j = -499/6 - -83. Let t(r) = r**2 - 2*r + 1. Let z be t(2). Which is smaller: z or j?
j
Suppose 0 = -0*a + 3*a + 24. Let u be ((-4)/a)/(2/60). Suppose u = g - 6*g - 5*x, -2 = 3*g - 4*x. Which is smaller: g or -3?
-3
Suppose -5*z - h = 10 + 24, 0 = -h + 1. Let y = z + 6. Are y and 2/15 equal?
False
Let k(d) = d**3 + 6*d**2 + 5*d - 2. Let y be k(-4). Let h = y + -10. Let j be 2/(-2) - (-7)/8. Which is smaller: j or h?
j
Let n(t) = t**3 + 17*t**2 - 29. Let m be n(-17). Is -28 at most m?
False
Suppose -3*h = -8*h. Let f be (-7)/(-4) - (-6)/24. Which is smaller: h or f?
h
Let t = -1.41 - 0.19. Let r = t + 2.6. Which is bigger: r or -2?
r
Let g = -22 - -25. Let b = 1 - g. Which is smaller: 2 or b?
b
Suppose 3 = -3*x - 2*a, -x - 5*a = -0 + 14. Let v be -2*x*3/(-6). Let c = 1/203 - 213/2030. Which is smaller: v or c?
c
Let d = -3 + 1.96. Let c = d - -0.04. Let w = 1 - c. Does w = -1?
False
Let h(v) = v**3 + 2*v**2 - v + 2. Let g be h(-3). Let w be (g/(-15))/((-6)/(-15)). Let d = 2 + 0. Which is bigger: w or d?
d
Let a = 847 - 1729/2. Suppose -5*t + 13 = -3*l + l, -2*l + 3*t = 23. Let m = a - l. Which is smaller: m or 2?
m
Let p be 45 - ((3 - 0) + -2). Is p != 43?
True
Let p be (-20)/30 + 10/(-3). Let q = 1 + -1. Which is smaller: p or q?
p
Let z be (-222)/(-8) - 4/(-16). Suppose 3*t = -5*j - z, 0*t + j + 2 = 3*t. Let y be (1 - t) + (-2 - -1). Which is smaller: y or 2/5?
2/5
Let i = -0.04 + 2.04. Let a = 26 - 37. Let w = a + 11. Is w greater than or equal to i?
False
Let x(t) = -3 - t - 4 + 2. Let c be x(-5). Let w = 0 - -0.2. Is w greater than c?
True
Let s be ((0/1)/(-1))/2. Which is bigger: -1/47 or s?
s
Let v(b) = -b**3 - 16*b**2 - 12*b + 30. Let f be v(-15). Is f at least -16?
True
Let i be (83/10)/(1/2). Let h = -6347849/40 - -158680. Let p = h + i. Which is bigger: 0 or p?
p
Suppose u - 1 - 3 = 0. Let c be 4/(-14) - 51/(-7). Let f(v) = v**3 - 7*v**2 + v - 4. Let w be f(c). Is u bigger than w?
True
Let c = 7 - 5. Let a be c/(-5) + (-112)/20. Let h be (0 + 1 - 7) + 0. Is a at most h?
True
Let p = 4 - 2. Let x = -3.96 + 4. Let b = x - -0.96. Is p at most b?
False
Suppose 4*l - 8 = 0, -3*i - l = 2*l + 21. Is i > -7?
False
Let l(k) = -2 + 5*k + k**2 - 4 - 2. Let b be l(-7). Is 5 at most b?
True
Let q = 14 - 8. Let o = 4 - q. Let a = 3 + o. Which is bigger: -2 or a?
a
Let v be 8 + -11 - (-1)/(-1). Is v bigger than -23/7?
False
Suppose 585 = 5*r + 4*n, -45 - 545 = -5*r - 5*n. Is r smaller than 113?
False
Let l(p) = -p. Let w be l(-5). Is 4 < w?
True
Let x be 3*6/(-18)*1. Is -6/19 at least as big as x?
True
Suppose 5*x = -2*g + 3*x - 6, -5*g + 2*x - 8 = 0. Suppose 4*k + k = 15. Suppose -4*f - k = -f. Are f and g nonequal?
True
Let u = -10862/97 + 112. Which is greater: u or 0?
u
Suppose -2*l = -u + 7, u + 4*u + 5*l = 5. Suppose -2*q + 28 = 4*a + 2*q, a = u*q - 9. Suppose -5*y - 20 = a*w, 2*y + 16 = 5*w - 2*y. Which is smaller: w or -1?
-1
Let w be 2*163/82 + -4. Which is smaller: w or 1?
w
Let s be ((-2)/(-5))/(-4*3/(-60)). Which is bigger: s or -4?
s
Let v(s) = -5*s**2 + 3*s + 8. Let w(x) = -9*x**2 + 6*x + 15. Let t(j) = 11*v(j) - 6*w(j). Let k be t(-2). Which is greater: -2/5 or k?
k
Let y = 0.2 - -1. Let p = -0.2 + y. Which is bigger: 0.5 or p?
p
Suppose 5*a + 4*d = -488, -2*d - 303 = 3*a - 3*d. Let j be (-2)/8 - a/16. Do 6 and j have different values?
False
Let i = -11 + 23. Let x = 7 - i. Let c = -5 - x. Is 0 less than c?
False
Let i be (1/5)/((-2)/65). Which is smaller: -6 or i?
i
Let k = -8 - -13. Suppose -9 = -4*l + 7. Are k and l nonequal?
Tru