 same value?
False
Let l = 2 - -1. Let a be (-13)/(-1) + l*-1. Let f be (-13)/21 - a/(-35). Which is smaller: 0 or f?
f
Let q be ((-3)/9)/((-22)/36). Which is smaller: q or -2?
-2
Let t = 20.1999 - 0.0299. Let y = -20 + t. Which is smaller: 1/3 or y?
y
Suppose 5*i - 18 + 6 = -4*k, -4*k + 12 = -4*i. Which is bigger: 2/71 or i?
2/71
Let u be (-2 + 4)*(-1)/2. Which is smaller: -7 or u?
-7
Let k = 2149/13 - 165. Which is greater: 1 or k?
1
Let q = -12 - -1. Let n = 10.7 + q. Is -0.1 <= n?
False
Suppose 4 + 2 = -3*p. Let x be -3628*p*(-1)/(-36). Let o = x - 202. Which is smaller: o or -1?
-1
Let t = 33 - 32. Suppose -l + 4*k = -2*l - 18, -5*l = 5*k + 15. Let m = l - 0. Which is smaller: t or m?
t
Let n = -18/5 + 172/45. Let x = 6 + -6.6. Let l = x + 1.6. Is n greater than l?
False
Let v be ((-10)/5 - -1)*(-2 + 9). Is v >= -8?
True
Let v = 25/2 - 13. Is 25 at least v?
True
Suppose k = 4 - 7. Suppose -7*v = -2*v + 20. Which is greater: k or v?
k
Let s = -28 - -27. Which is smaller: s or -2?
-2
Let b = 1.13 + -0.13. Let c = 78 + -85.2. Let w = c - -7. Which is greater: b or w?
b
Let g = 19 - 20. Are g and 6 unequal?
True
Let o = -9 - -9. Suppose 3*y - 4*y = -4*c - 549, -5*c = -4*y + 2141. Let g = 11111/21 - y. Is g <= o?
False
Let l(o) = -6*o + 13. Let z be l(4). Let b = 20 + z. Which is greater: b or 10?
10
Let a(h) = h**2 - 6*h - 5. Let i be a(6). Let x = 9 + i. Suppose y = x*y. Is 1/3 smaller than y?
False
Let x = -41 + 23. Let w = x - -33. Let d be 27/w*1/(-3). Is d at least 0?
False
Let i(y) = -y**2 - 9*y - 16. Let c be i(-6). Let j = 9 + -25/3. Is c bigger than j?
True
Let n = 0.9 + 0.05. Let b = -0.45 - -0.4. Let y = b - n. Are y and -0.1 unequal?
True
Suppose 0 = -q + 2*q + 3. Which is greater: q or -5?
q
Let s = 15.21 + -15. Let x = 0.01 - s. Which is greater: x or 0?
0
Suppose 10*y = 4*y + 42. Is y less than 9?
True
Suppose -9 = 3*k, -4*y + 2*y + 4*k + 18 = 0. Suppose -3*f = y*u + 12, -2*f - 3*u = -0*u + 11. Which is greater: 0 or f?
0
Let a be 0/(-2) + (16 - 11). Which is greater: 9 or a?
9
Let l = 0.06 - 2.06. Let b be ((-28)/(-294))/((-1)/3). Which is greater: b or l?
b
Suppose -x - 65 = -5. Is -59 at most x?
False
Let l be (-13)/13 + (3 - 0). Suppose -l = -0*q + 2*q. Are q and -2 unequal?
True
Let u = -0.13 - 0.87. Is u > -4?
True
Let p be ((-4)/(-12))/(1/9). Let j be 5/(-7) + 4/(-14). Are j and p equal?
False
Let v = 1067/18824 - 12/181. Which is greater: 1 or v?
1
Let u be (-85)/(-25) - (-4)/(-10). Let p = 258/5 - 202/5. Let t = 137/10 - p. Is u greater than t?
True
Let r = 1010/9 + -112. Let z = -4 + 7. Let a = z - 2.8. Which is bigger: r or a?
r
Let g = -8 + 9. Is g < 6?
True
Suppose 2*k = -2*w + 6*w - 16, -20 = 2*k - 5*w. Which is bigger: -6/31 or k?
k
Suppose l = 3*c - 27, 39 + 41 = -4*l + 5*c. Is l >= -14?
False
Suppose -i = -14 - 4. Which is greater: i or 2?
i
Let u be -1 + (-3)/(27/(-15)). Suppose 4*z = 3*t - 4*t - 1, 5*t - 3*z = 18. Suppose -t*k - x + 3*x = -10, k - x = 5. Which is smaller: u or k?
k
Let n = -63 - -44. Let s = n - -56/3. Let t(z) = z**3 + z**2 - z. Let m be t(0). Is s at most as big as m?
True
Let z be (1/2)/((-5)/150). Let k = z - -17. Is 3 <= k?
False
Let y be (-9)/(-6)*(-2)/3. Which is greater: 0 or y?
0
Let x = -8 + 7. Let m = 2 - x. Is 3 greater than or equal to m?
True
Let l = 105/74 - -3/37. Is 1 smaller than l?
True
Suppose 6 = 33*s - 39*s. Let w = -6 - -1. Is s not equal to w?
True
Let v = -107 - -414. Let j = v - 5215/17. Do -1 and j have the same value?
False
Let j = 25 + -58. Let o be (-24)/(-11) + 6/j. Let n be (1 - (-2)/(-1))*-1. Is n > o?
False
Let n = 0.7 + -0.7. Let c = -0.4 + n. Is c greater than or equal to 1?
False
Suppose -21 = g + 4*g + 4*p, 2*p = -2*g - 10. Let y be 2/5 + 26/(-65). Is y equal to g?
False
Let y(t) = -t**3 - 3*t**2 + 1. Let b be y(-3). Which is smaller: b or 5/4?
b
Let k = -7 - -10. Suppose -o = 2*o + 3*f + 12, -5*o - 12 = -k*f. Let b = 4 + o. Do 1/2 and b have the same value?
False
Suppose p - 6 + 0 = 0. Let o = p + 1. Suppose 2*y - 9 = 5*s + 3, -y - 3*s = -6. Which is bigger: o or y?
o
Let z(x) = 3*x + 32. Let r be z(-11). Is -10 at most as big as r?
True
Let p be (4/(-5))/((-1)/(-10)). Let x(m) = -9*m**2 - m + 1. Let i be x(1). Is i greater than or equal to p?
False
Suppose -3*q + 0*k - 4*k = 3, 3*k + 1 = -q. Let y = 3/313 + 2176/1565. Let t = q + y. Which is smaller: 1 or t?
t
Suppose 2*m - 5*m = 0. Let z be ((-1)/12)/(1/(-3)). Which is smaller: m or z?
m
Let g(u) = -u + 4. Let o be g(0). Suppose -7*x - o = -3*x. Which is bigger: -1/6 or x?
-1/6
Let f(s) = s**3 + 3*s**2 - 3*s - 3. Let w be f(-4). Which is greater: w or -8?
w
Let r be (400/28)/5 + -3. Which is bigger: 0 or r?
0
Suppose -2 = 4*c - 6. Suppose 0 = 2*p + 2*d + 38, -4*p - 5*d + 5 = 86. Let a be (2/p)/(1/3). Is a not equal to c?
True
Suppose -7*y + 4*y = -6. Is 1/2 at most as big as y?
True
Let u = 13 + -53/4. Which is greater: u or 1?
1
Let i = 45 - 136. Is -91 less than i?
False
Let p be (-3)/(6/(-4)) - (-1140)/(-585). Is p equal to -1/2?
False
Let c(n) = -5*n + 36. Let a be c(9). Is a at most -9?
True
Let n = 9 + -7. Let f = 3 + n. Suppose -4*h = 2*y + y - 6, -f*y - 1 = 3*h. Which is greater: h or 2?
h
Suppose -22*p = -10*p - 36. Does p = 1?
False
Suppose -4 = -2*i - 0. Let g be (4/6)/(3/9). Do i and g have the same value?
True
Let d = -10 + 35. Let w = 9 - d. Are -15 and w nonequal?
True
Let w be (1/2)/((-90)/72). Let h be ((-12)/8)/(6/(-8)). Suppose -5*z = h*u + 2, 0 = 2*z - 4*u - 5 + 1. Which is bigger: z or w?
z
Suppose 0 = 5*r - 5*z + 55, 9 = -r - 2*r - 3*z. Which is bigger: r or 0?
0
Suppose -5*g = 3*u - 3 - 0, 2*u + g = 2. Suppose 4*x - u - 151 = 0. Let o be -1*34/x + 1. Are 1 and o nonequal?
True
Let t = 15 - 12. Do t and 9/5 have the same value?
False
Suppose 0*w + 2*w = 35594. Let o = w - 88699/5. Let b = o - 57. Does -1 = b?
False
Suppose 0*n - 2 = -n. Let z = n + 1. Suppose i = 3 + z. Which is smaller: i or 7?
i
Let o(w) = w**3 - 6*w**2 + 4*w + 2. Let x be o(5). Is -3/2 at least as big as x?
True
Let m = 7 + -14. Let z be m/21*(-3 + 0). Let a = 0 + -0.1. Are a and z non-equal?
True
Let b = 7 + -13. Suppose g + 6 - 1 = 0. Which is smaller: g or b?
b
Let f = -0.28 - -0.08. Is f at most as big as -1/2?
False
Let u be 2*-1 - (-10)/6. Suppose -2*s - 2*r = -11 + 1, -3*r = -3*s - 9. Which is smaller: s or u?
u
Let f = 9 - 12. Which is smaller: f or -4?
-4
Let g be (-4)/1 + -9 + 7. Let o be ((-2)/2 - 1) + 8. Let b = o + g. Is b greater than -2/13?
True
Let u be (1 - 0) + (-5 - -4). Let p = 0 - 1. Let i be p*1 + (-15)/(-25). Is u < i?
False
Suppose -5*z + 6 = -4*c, -10*z + 10 = 2*c - 6*z. Let x be 4/450*3*5. Which is smaller: x or c?
x
Suppose 0*p + 3*p = 0. Let d = -88 + 967/11. Does d = p?
False
Let i = 39 + -68. Are -0.3 and i nonequal?
True
Let h be 3 - ((-12)/(-2) + -4). Are 0 and h non-equal?
True
Suppose -i + 4*i = -9. Is 2/31 equal to i?
False
Let i(o) = o**3 + 12*o**2 + 10*o - 10. Let b be i(-11). Is b <= 2/93?
False
Let m be -3*8/(-36)*3. Suppose -y - 3*y - 2*p - 92 = 0, -2*p + 108 = -4*y. Let l be (-6)/(-10) - 10/y. Is l bigger than m?
False
Let s = 17.6 + -15.6. Suppose -p = 3*p - 12. Let t(y) = y**2 - y - 4. Let n be t(p). Is s bigger than n?
False
Let j = 4.1 + -19.2. Let g = -15 - j. Let p be ((-8)/10)/(1 - -1). Are g and p equal?
False
Suppose -2*k - 40 + 16 = -4*b, -b - 5*k = -6. Let d be (4/b)/(28/21). Which is greater: 1 or d?
1
Let c = -155 - -2633/17. Is c < -1?
False
Let j be 15/4 + 24/(-32). Let i(c) = c**2 + 5*c + 6. Let y be i(-4). Let t be (6/(-9))/(y/j). Which is smaller: t or -2?
-2
Let k(u) = 2*u. Let b be k(3). Is b bigger than 6?
False
Let x(q) = -98*q**3 - 4*q**2 - 2*q + 5. Let z be x(4). Let d = 278871/44 + z. Let i = 3/11 + d. Is 0 >= i?
True
Suppose -s - 23 = -5*r - 0*s, -2*s = 3*r - 6. Is 6 at least r?
True
Let k = -37 - -36.77. Let z = 3.23 + k. Which is smaller: z or -0.2?
-0.2
Let y = -2.041 - -0.041. Are 3/2 and y nonequal?
True
Suppose 0 = 11*f - 0*f + 154. Which is bigger: f or -0.4?
-0.4
Suppose -2*x = -9 - 3. Let q be -1 - (-32)/12*3. Which is smaller: x or q?
x
Let c be 2*4/(160/(-76)). Which is greater: -3 or c?
-3
Suppose 3*s - 11 - 1 = 0. Suppose -5*b = -2*i - 6, 5*b = i - 1 + s. Suppose b = -4*g - g. Which is smaller: -2/5 or g?
-2/5
Let b = -184 + 12