ater: -1 or h?
h
Let w(c) = -379*c - 6. Let a be w(-2). Let s be a/(-264) + 4/22. Suppose 3 = -2*p + p. Is s smaller than p?
False
Let r be (-2 - -5)*(-3)/9. Let m be ((-2)/(-4)*1)/(-148 + 171). Which is smaller: m or r?
r
Let v = 86 - 15. Suppose -4*s + 23 = -x, 0 = -5*x - 0*x - 2*s - v. Let o be 7 + (-5)/(x/6). Is o <= -2?
False
Let f = 186 - 164. Which is smaller: f or 23?
f
Let g(d) = -3*d**2 + 22*d + 230. Let y be g(-6). Let r be (-175)/15 - -1*1. Is y != r?
True
Let x be (-3)/(-13)*(-2418 - 10). Let o = x - -560. Are -1 and o equal?
False
Let a = 144 - 143. Let w be (3 - a)/(-10)*1. Let c = -0.07 - 0.23. Which is smaller: w or c?
c
Let z = -1224 - -1224. Let k(n) = 3*n - 1. Let b be k(1). Which is smaller: b or z?
z
Let x = -441.2 - -417. Is 2 equal to x?
False
Let n = -7.2 + 8. Let a = 1 - n. Is -2/9 at most a?
True
Let g(w) = w**2 + 9*w - 16. Let n be g(-11). Let d be (-2 - 5112/(-20))/n. Let v = -128/3 + d. Which is greater: v or 2/7?
2/7
Let a(u) = u**3 - 8*u**2 + 14*u - 9. Let k be a(6). Suppose k = w - 0*w. Which is greater: 4 or w?
4
Let o be 1/(30/(-50) + (-2)/(-5)). Is o <= 33?
True
Suppose 102 = 8*s - 6*s. Let b be s + (-1)/(-3 - -2). Let x be (-400)/b + 4 - -4. Which is smaller: 1 or x?
x
Let t = -0.9 + 0.8. Let s = t + -0.3. Which is smaller: 1/4 or s?
s
Suppose 0 = g + 2*g + 15. Let r be (-4)/(-21)*765/(-34). Which is greater: g or r?
r
Let s = 1/6158 + -172465/252478. Let w = s + 2/123. Are 0 and w equal?
False
Suppose 3*x - 11 - 46 = 4*q, 33 = 3*x + 4*q. Let z = 221 - 205. Is z smaller than x?
False
Let q(b) = -2*b**2 - 6*b - 4. Let k be q(-7). Let a = k + 34. Let s = -27 - a. Is 3/7 equal to s?
False
Let n = -96 - -145. Let w = n + -35. Let q = 14.2 - w. Are q and 0.3 equal?
False
Suppose -4*b + 17 = -27. Let o be (-2)/b + (-18)/(-99). Suppose -2*c + 10 = 3*c - 2*a, o = c + 5*a - 2. Which is smaller: c or 0?
0
Let j = 1 - -1. Let g = 8.1 - 10. Let l = g + j. Which is greater: l or -0.06?
l
Let k be (1/2 - 2)/((-6)/8). Is -5 > k?
False
Let k = -0.28 - -0.17. Let t = -93 + 41. Let u = -54 - t. Which is bigger: k or u?
k
Let a be -2*((-14)/(-35) + 1/10). Does a = 411?
False
Let q(v) = -v**2 + 3*v. Let w be q(2). Suppose -k - r = 2*k + 23, -r - 15 = w*k. Which is smaller: k or -17/2?
-17/2
Let r be -1*177*(-6)/18. Which is greater: 61 or r?
61
Let n = 1.972 - 2. Let u = n - 0.172. Is 2/3 equal to u?
False
Let m(v) = 0*v - 1 - 3*v + v**2 + 8*v. Let a be m(-6). Which is smaller: 39/7 or a?
a
Suppose 56 = -68*c + 192. Is 19/15 > c?
False
Let a = -21 + 17.9. Let o = a + -4.9. Let f = -3 - -3. Are o and f equal?
False
Let r = 23 + -18. Suppose -26 = -r*s + 3*s. Which is smaller: s or 0.1?
0.1
Let f(z) = -z - 1. Let h(p) = -3*p + 7. Let s(t) = 6*f(t) + h(t). Let u be s(1). Let a = u + 11. Which is greater: -3/5 or a?
a
Suppose -2*x - 5*v + 3 = 0, -3*x + 2 = 2*v + 3. Suppose 5*f + 75 = -5*s + 2*s, s - 15 = f. Let z be f/(-2)*(-4)/6. Is z at least as big as x?
False
Let u be ((-855)/60)/((-1)/(-4)). Is 2 at most as big as u?
False
Let m = 277 - 326.2. Let x = 49 + m. Is -0.25 >= x?
False
Let t(r) = -11*r**3 - 2*r**2 - r. Let h be t(0). Let j(y) = -y. Let o be j(-4). Suppose o*x + 2 = -s - 2, 4*x = 3*s - 4. Which is smaller: x or h?
x
Let j = 5.489 + -0.489. Which is bigger: 0.001 or j?
j
Let b = -0.04 - -0.84. Let h = b - -1.2. Let a = -1.02 + 1.42. Is a equal to h?
False
Let h = -0.1 + -0.3. Let i = -0.2 - h. Let d = 19/24 + -1/8. Is i bigger than d?
False
Let o = -80 + 84. Suppose o*i = -8, -3*i - i = -a + 6. Which is bigger: -5/3 or a?
-5/3
Suppose -k - 153 = 2*k + 3*c, 3*k - c = -137. Let n = 53 + k. Which is smaller: n or 7?
n
Suppose 12*i - 5*i = i. Is i less than -4/143?
False
Suppose 0*o = 4*o + 20. Let v = o - -4. Let r = -9 + 11. Which is greater: v or r?
r
Suppose 3*l + 0*l = 96. Suppose -l*z + 40 = -27*z. Which is greater: z or 12?
12
Suppose m - 30 = -z + 29, 0 = 2*m + z - 121. Suppose -m - 53 = 5*x. Do x and -45/2 have the same value?
False
Let x = -5 - -7. Suppose 0*i - 28 = -x*i. Let p = -25 + i. Is p less than -11?
False
Suppose 21*f = -f + 396. Is f greater than or equal to -0.1?
True
Suppose 95 = -3*j - 2*j. Let f = 14 + j. Which is smaller: f or -4?
f
Let u be ((-12)/30)/(-2 - 4/(-10)). Which is bigger: u or -6/7?
u
Let w = -14 - -14. Let n be 0 + w - (18/(-87))/6. Let x = 4 - 4. Which is smaller: n or x?
x
Let k be 2/(-4)*(1 + -1). Let v = -275 + 3028/11. Which is bigger: v or k?
v
Suppose 14*c - 13251 - 2961 = 0. Do 1159 and c have the same value?
False
Let t(i) = i**2 + 14*i + 3. Let z be t(-13). Let w be (z/2225)/((-2)/10). Let x = -228 + 228. Which is greater: w or x?
w
Let v be (-9)/6*136/6. Let t be (-21)/v - (-1)/(-2). Is 2/7 smaller than t?
False
Let z(w) = w**2 + 2*w - 198. Let j be z(0). Is -198 bigger than j?
False
Suppose x - 652 = -3*w, -x - 395 + 1265 = 4*w. Is 216 != w?
True
Suppose 4*r = 4*t + 32, 4*r - 5*t - 28 = r. Let w(k) = -k**2 + 5*k + 6. Let z be w(r). Which is smaller: z or 1?
z
Let s = 295 - 284. Which is bigger: 12 or s?
12
Let q(o) = 39*o - 78. Let p be q(6). Let w = 156 - p. Is w greater than or equal to 2/85?
False
Let a = -416 - -384. Which is bigger: a or -157/5?
-157/5
Suppose -350*f = -338*f + 96. Is 6/19 > f?
True
Let r = 167.3 + -268.3. Which is greater: r or 0.03?
0.03
Suppose 15*a + 4392 = -9*a. Which is smaller: -182 or a?
a
Let j = -247 + 241. Which is greater: -9/2 or j?
-9/2
Let t(x) = -3*x**3 - 4*x**2 - 9*x - 13. Let k be t(-5). Is 308 greater than k?
True
Suppose k + 60 = 3*g, 7*k - 4*k = 0. Let v be (2/g)/(15 + -13). Let f be (-1)/2*0*(-4)/28. Which is greater: f or v?
v
Suppose 2*i + 8 = 4*r - 2*i, 0 = -2*r + 3*i + 1. Suppose -r + 5 = 4*l. Which is smaller: l or 1/8?
l
Let i be (-222)/132 + 6/33. Let d = -51 + 50. Which is greater: i or d?
d
Suppose -15*q - 3097 = 5063. Does q = -546?
False
Let h = -12/5 - -34/5. Are -8 and h nonequal?
True
Suppose -a + 17 - 14 = 0. Let k(o) = o - 13. Let w be k(a). Is w <= -10?
True
Let v = 644.5 - 673. Is -0.1 > v?
True
Let z = 1.75 - 2. Let t = 0.09 + z. Which is bigger: -1 or t?
t
Suppose -351 - 339 = 23*m. Is m greater than -36?
True
Let u = 3 - 1. Let w = 1.9 - u. Let j be (-6)/10 - (572/180 - 4). Which is smaller: w or j?
w
Let c = 88.4 + -88.5. Let l = -0.8 + -0.2. Is c <= l?
False
Let w = 29 + -57. Let u = -27.89 - w. Let p = u + -0.31. Which is greater: 2/3 or p?
2/3
Let x = 0.1 + -0.1. Let n = 0 - 1.8. Let p = n + 1.74. Which is smaller: x or p?
p
Let t(n) = -n + 8. Let y be t(4). Suppose -3*a - y - 16 = -2*d, 8 = 2*a + 4*d. Let w be (-148)/(-18) + a/18. Which is bigger: 9 or w?
9
Let k(f) = 3 + 9*f - 2*f**2 - 2*f**2 - f**3 + 2*f**2. Let d be k(-4). Which is bigger: -6 or d?
d
Let q = 7804/21 + -1168/3. Which is greater: -18 or q?
q
Let a be (-351153)/405 - 6/(-2). Let h = 864 + a. Is h bigger than 1?
False
Let h be 54/8 + -4 - (-4 - -7). Is 333 less than or equal to h?
False
Suppose -7*m + 2 = -19. Suppose -2*l - m = -3*z, -z - 5 = 4*l - 6*z. Do l and 0 have the same value?
True
Let k = 452.8 + -453. Let w = 267/4633 + -1/113. Are w and k non-equal?
True
Let m = 801 + -729. Which is greater: -2/7 or m?
m
Let v(i) = 4*i**3 + 22*i**2 - 11*i + 5. Let s be v(-6). Which is bigger: 2/39 or s?
2/39
Let x be (-2 - (-4 + 1))/5. Suppose -w = -6*w. Suppose w*o = -3*o. Are o and x unequal?
True
Let a = -1 - 0. Let z be -2*1/(-2)*3. Let b be (-2)/4*z/12. Which is bigger: a or b?
b
Suppose 51*p = 56*p - 40. Suppose -2*o = 3*a + a + 8, 3*o = -4*a - p. Let f = -4/3 - -1. Which is smaller: o or f?
f
Let f = -200 + 168. Is f < 2?
True
Let v be (-14)/(-5) + (7 - 4). Are v and 5 equal?
False
Let q be 3/(((-36)/8)/(-3)). Let l be 3 - ((-23)/2 + q). Let x = 73/6 - l. Which is smaller: 11 or x?
x
Let n(r) = r + 14. Let z be n(-8). Let h = -78 + 77.6. Is h greater than z?
False
Let g = 0.2 + 0.8. Let b = 8.48 - 25.48. Which is smaller: g or b?
b
Let g = 62 - 57. Suppose -6*w - g = 1. Which is greater: 7/15 or w?
7/15
Let c(l) = -l**2 + 16*l + 192. Let o be c(-8). Which is smaller: -12/43 or o?
-12/43
Let o = -29 + 32. Let p be 79/(-152) + o/24. Let m = 339/152 - p. Are m and 4 unequal?
True
Let m = -57 + 35. Let i = m + 21. Which is smaller: 0 or i?
i
Let m be (-48)/(-80) - (-186)/(-10). Which is smaller: -192/11 or m?
m
Let f = -9736/9 - -10