s bigger: d or 1?
1
Let g = -416 + 859. Do 443 and g have the same value?
True
Let s = -23 - -25. Suppose -28 = 4*i + 5*j, s*i - 3*j - 4 = -2*i. Let p be i*1*(3 + 1). Is -7 < p?
False
Let x be -2 - 0 - -4 - -2. Suppose 2*k + 5*f + 12 = -k, -4*k - x*f = 8. Which is greater: k or 2/105?
k
Let r(d) = 9*d + 14. Let s(i) = -i - 1. Let v(g) = r(g) + s(g). Let h be v(-6). Are -35 and h equal?
True
Let z = 27.88 - -0.12. Let l = z - 28.06. Which is smaller: 0.2 or l?
l
Suppose -41*c = -39*c - 18. Let y be (-1)/(c/(-75))*(2 + -3). Is y less than or equal to -9?
False
Let a = 4.94 - -0.06. Let y = a + -4.99. Let u = y - -2.99. Which is smaller: u or 0.5?
0.5
Let i = 0.0813 - 0.1083. Which is bigger: 1/9 or i?
1/9
Suppose 0 = u - 4*p - 3, -4*p + 9 = -4*u + 21. Suppose 3*q = 7*q + 3*t - 67, q - u = 2*t. Which is smaller: 2/5 or q?
2/5
Suppose 18*i + 4*i = -22. Let w(x) = x**3 + 6*x**2 - x - 7. Let r be w(-6). Let h be -1 + ((-20)/26 - r). Is i greater than h?
False
Let i(c) = 2*c**2 + 33*c - 298. Let b be i(-23). Is b < -2/71?
False
Let h be (-770)/16 + 1 - 1. Let b = -48 - h. Is b > 1?
False
Let p(z) = 4*z - 8. Let q be p(4). Let j be q/(-6)*18/21. Is j less than -1?
True
Suppose 8 = -3*j + 4*g, 25 = -5*j + 5*g - 10*g. Let a be (-6 + j/(-1))/1. Let l be (2 + -1 + a)*1. Is 1/13 != l?
True
Let c = -682 + 1003. Is 323 < c?
False
Let l = 138 - 553. Let r = l - -9548/23. Is -1 < r?
True
Let m = -758.7 - -759. Which is smaller: -49 or m?
-49
Suppose d - 8 = 5*d. Let w be 43/(-4)*(-5 + -3). Let r = w - 349/4. Which is smaller: r or d?
d
Let p be (-8)/10*(-10)/4. Let w be (-14)/((-3)/(3/p)). Which is smaller: 11 or w?
w
Let i(l) = l**3 + 13*l**2 + l + 10. Let g be i(-13). Let c = -3 + g. Let r be -2*(-50)/(-12)*6/10. Is r smaller than c?
False
Let q be (-1)/4 + (-1)/4. Suppose -4*w + 18 = -3*z, -z - 5*w = -2*z - 17. Which is smaller: q or z?
z
Let r(t) = 2*t**2 + t - 1. Let o be r(1). Let p be (-3)/(6/8) + o. Is -5/7 < p?
False
Let u = 3 - 1.65. Let w = u - 0.35. Is w < 2/5?
False
Let i = 44.263 + -0.263. Is 0 equal to i?
False
Suppose -2*b + 15 = 5*y, -b + 0*b - 3*y = -9. Suppose -5*w + b*w = -15. Suppose w*a + 2*u = a + 12, -4*a + 4*u = 8. Which is bigger: a or 1/2?
a
Let h(d) = d**2 + 6*d - 16. Let i be h(-8). Let l = -333/871 - -5/67. Is i > l?
True
Let t(v) = 3 + v + 2 + 3 - 6. Let f be t(2). Suppose -3*z - 2 = -f*z, -5*b + 4*z - 13 = 0. Which is smaller: 3 or b?
b
Let x = -52 + 55. Let b = x - 4. Is b at least -6/29?
False
Let b = 6 + -5. Let d = 142 + -143.14. Let o = d + b. Which is greater: o or 0.1?
0.1
Let f(i) = 5*i - 13. Let d be f(5). Suppose -5*s + 1 + 18 = q, -4*s = -d. Suppose -q*k + b + 18 = 0, 0 = -0*b - 2*b + 4. Which is smaller: 6 or k?
k
Let g = 975/7 - 139. Let y be (-2 - 1)*(-88)/33. Let k = -9 + y. Is g bigger than k?
True
Let x(k) = -k**2 + 3. Let n be x(5). Let r = n + 111/5. Which is smaller: r or 1/4?
r
Let z(w) = 35*w + 3. Let i(m) = 71*m + 5. Let a(s) = -4*i(s) + 7*z(s). Let p be a(1). Which is greater: -39 or p?
p
Suppose -3*p = -6*p + 3. Let u = -1221 - -9777/8. Is p at most as big as u?
True
Let q(w) = w**2 + 43*w + 191. Let t be q(-5). Is t bigger than -0.033?
True
Suppose 5 = 2*s - 3. Suppose 0 = -s*p + 9*p - 5. Is -2 bigger than p?
False
Let n(k) = k**3 - 10*k**2 + 4*k + 4. Let m(p) = 2*p**3 - 21*p**2 + 9*p + 7. Let r(v) = 4*m(v) - 9*n(v). Let s be r(6). Is -6 less than s?
False
Let p = 769 - 768.9905. Is 1 bigger than p?
True
Suppose -2 - 2 = -2*h. Suppose r - q + 0*q - 3 = 0, -2*r - h*q = -18. Suppose 0 = -r*j + 8*j. Is -5/6 bigger than j?
False
Let r = -211 - -211. Which is greater: 1/113 or r?
1/113
Let s = 3783998/11 - 343772. Let k = -228 + s. Let p(m) = -m**2 + 4*m - 1. Let j be p(4). Which is greater: j or k?
k
Let c(m) = m**2 - 11*m + 10. Let y be c(10). Let b = 4 - y. Suppose -76*k = -90*k + 98. Which is smaller: b or k?
b
Let n = -22/257 + 15855/182213. Are n and 0 non-equal?
True
Let t be -1*15/1*-1. Let d = -10 + t. Is d smaller than 5?
False
Let n = -859/3 + 60169/210. Let l = n + 3/14. Which is smaller: -1/7 or l?
-1/7
Let x be (-2)/(-1*(-4)/46). Suppose j - 2*y = -8 - 7, 2 = -y. Let g = j - x. Is g smaller than 6?
True
Suppose -c + 1 = 3. Let o be 4/8*-7*c. Suppose -o + 16 = 3*h. Is 1 at most h?
True
Let u = -3.21 - -17.31. Let o = -14 + u. Let n be ((-8)/(-90))/(4/10). Do o and n have the same value?
False
Let s(x) = -36*x**2 + 4. Let n be s(-2). Let b be (8/n)/((-2)/360). Is b greater than or equal to 9?
True
Suppose -119*l + 124*l = 10. Suppose -l*f + 5*v = 53, f - 7*v + 25 = -3*v. Which is bigger: -1 or f?
-1
Suppose -6*d - 340 = -2*y, 818 = 6*y - y + d. Which is bigger: 165 or y?
165
Let o = -0.924 - -0.98. Which is greater: o or -3?
o
Let f = -3/2627 + 123490/18389. Is 6 less than f?
True
Suppose 7*u + 105 = -49. Which is greater: -26 or u?
u
Let o = 20 - 29. Let v be 2 + (-3)/((-357)/(-412)). Let m = -20/17 - v. Which is smaller: m or o?
o
Let j be 0 - (-10)/(-7) - -2. Let o = -31 - -23. Let l be 0*((-12)/o + -2). Which is smaller: j or l?
l
Let r be (2 - 17)*(-11)/55. Suppose -3*v + 12 = -3*o, 5*v + 2*o = 2*v - r. Is v < 6/7?
False
Let w(m) = 16. Let c(d) = -d. Let s(o) = 2*c(o) + w(o). Let q be s(9). Let y be q/(-1) + 1 - 2. Do y and -1 have the same value?
False
Let k = 1 - 1. Let g be 61881/66 + 2*18/(-24). Let a = 937 - g. Is a at least as big as k?
True
Suppose -14*n + 2 = -13*n. Suppose 0 = -y - 2*m - n, -y + 2*m + 6 = 4. Let q = 22/21 - 257/105. Is q at least y?
False
Suppose 4*r - 4 = 0, 8*s - 4*s + 2*r = -98. Do -23 and s have different values?
True
Let o = -1077.1 - -1077. Let y(a) = 7*a**2 + 3*a - 1. Let w be y(2). Do w and o have the same value?
False
Let z be (4/6)/1 + 40/(-15). Suppose 0 = -5*s - p - 25, -3*p - p = -20. Does s = z?
False
Suppose u = 4*l, -3*u + 12 = u - 4*l. Let t(c) = 4*c - 16. Let f be t(u). Is -10/11 smaller than f?
True
Let z = -5063/14 + -328/7. Which is smaller: z or -408?
z
Let y be 47/((-8)/(-6) - 5/15). Is 45 at least as big as y?
False
Let b be (-2)/(-1340)*(96 - 94). Is -1 equal to b?
False
Suppose -2*s = 5*m + 84, 0 = -7*m + 3*m - 4*s - 72. Which is bigger: m or -5?
-5
Suppose 5*r - 11 = m, -5*r - 61 = -71. Which is smaller: m or -1/100?
m
Let l = -306 - -305. Which is smaller: -12/5 or l?
-12/5
Suppose -4*z = -9*z. Let h = -0.05 - -0.1. Let p = 0.15 - h. Which is bigger: p or z?
p
Let b = -584 - -494. Do -87 and b have the same value?
False
Suppose 0 = 6*q - 4*q + 10, d + 2*q + 273 = 0. Which is bigger: d or -262?
-262
Let r = -0.26 - -0.3. Let t be ((-1 - -1)/(-7))/(-4). Which is smaller: r or t?
t
Suppose 8*d = 5*d + 6. Suppose -2 = -d*t - 14. Let f be 2/3*(-9)/t. Which is smaller: 7 or f?
f
Let b(q) = -3*q + 30. Let n be b(5). Let h be (n/(-36))/(12/160*-1). Which is smaller: 7 or h?
h
Let j(k) = k - 2. Let g be j(2). Let i(a) = -2*a + 26. Let d be i(11). Suppose -d = -5*s - 14. Is g bigger than s?
True
Let y = -41.47 + 41.3. Which is bigger: y or 1/4?
1/4
Let k be ((-200)/(-75))/(5*2). Which is bigger: k or 0?
k
Let c(z) = -z**3 - z**2 - z - 3. Let v be c(0). Let x = -16 - -52. Let m be x/(-6) + (-7 - -9). Which is smaller: v or m?
m
Let d be (-2)/7*(-2100)/4560. Which is greater: -0.03 or d?
d
Let q be 269/(-2) - (-154)/(-1 + -21). Which is smaller: -0.2 or q?
q
Suppose -5*s + 10 = 0, 0 = -i + 2*s - 0 - 5. Which is bigger: i or -181?
i
Let s be -3*(-4 - (-2)/(-2)). Let w be (-24)/4 - s/(-3). Are w and 2/313 unequal?
True
Let q = -1.95 - -0.65. Let y = -9 - -8.3. Let d = q - y. Which is greater: -0.2 or d?
-0.2
Let r be ((-135)/132 + 1)/((-18)/(-270)). Which is smaller: 1 or r?
r
Let f = 3/130 + -12/13. Let s be 1/1*(3 - 3). Is s < f?
False
Let d be -1 - ((-234)/82)/3. Suppose -3 = 7*i + 11. Let c be 5/30*0*i/4. Which is smaller: c or d?
d
Let j be -88 - ((-6)/3 - -1). Is j != -84?
True
Let o(s) = s**2 - 9*s + 12. Let g be o(8). Suppose 3*t = 0, 7*u + 5 = 2*u - g*t. Let d = -1810/7 + 258. Which is greater: u or d?
d
Let y(q) = q**3 + 3*q**2 - q. Let p be y(-3). Suppose 3*l - 2*s + 1 = 0, -1 = -p*l + s - 6. Let h be l/(-15)*(-2)/(-10). Is -1 not equal to h?
True
Suppose 5*o + 3*a = -162, -o = 2*o - 3*a + 78. Which is greater: -32 or o?
o
Let c be (1/2 + -1)*-2. Is 3/20 at least as big as c?
False
Let o = 2.78 + -2.7. Let m = o - -0.02. Which is greate