 greater: q or u?
u
Let i be (156/(-130))/(4*(-1)/(-10)). Which is greater: -33/10 or i?
i
Suppose -3*f = -100 + 10. Let h be (-9)/(-5) + (-18)/f. Let n = -1.1 - -1. Which is greater: h or n?
h
Suppose 2*u = -2, -5*u - 2 - 3 = 5*b. Suppose -5*d - 5 + b = 0. Does d = -3/2?
False
Suppose 0 = 2*q - 5*q + 57. Suppose -1 = 9*c - q. Is -13 <= c?
True
Let g be (39/(-6) - 2) + 2/(-4). Let b = g + 23. Is 14 < b?
False
Let c(w) = 2*w**2 + 2*w - 4. Let k be c(-3). Let i = k + -6. Let y = 0.7237 + -1.7237. Is i less than or equal to y?
False
Suppose -2*n + 2*b = 52, -19*n + 22*n + 4*b + 43 = 0. Is -28 <= n?
True
Let w = 2/201 + -235/3417. Let y = 32 + -53. Let k = 22 + y. Which is bigger: k or w?
k
Let k(p) = 2*p**2 + 3*p - 1. Let i be k(-3). Let w(v) = 5*v**2 + 4 - v**3 + i*v - 10*v + v**2. Let t be w(6). Which is smaller: t or -10?
-10
Let a = 2 - 1. Let x = -8.9 + 8. Let t = x - -7.9. Which is bigger: a or t?
t
Let k = 171 - 188. Do k and -17 have the same value?
True
Suppose -4*h - 4*b - 24 = 0, 0 = 2*h - b + 2*b + 11. Let t be 3 + 5/(h/11). Let s = t + 11. Are 2 and s nonequal?
True
Let i be (-1)/(-1) + 4 + -569. Let b = -23122/41 - i. Which is bigger: b or 0?
b
Suppose -10 = 3*d + 2*d. Let o be (-2)/(-3)*(-3)/d. Suppose -o = b + 10. Is -10 at most b?
False
Suppose -2*f + 0 = -2*t + 8, -4*f = 2*t + 10. Let c be (t/(-5))/((-4)/(-8)). Let i be ((-8)/((-4816)/21))/((-3)/(-4)). Is c > i?
False
Suppose 4*c - 5*n - 20 = 0, -c + 4*n = -3*c + 36. Suppose -3*l - c = 2*l. Let q be 3 - 1 - 4 - l. Is q at most -3?
False
Let m be ((42/4)/3)/((-10)/(-40)). Is m at least as big as 1?
True
Suppose -4*h = -5*n - 98, -2*h + 76 = -11*n + 7*n. Is -19 equal to n?
False
Let s be 2/(-8)*((-1635)/(-30) + 6). Which is bigger: s or -0.2?
-0.2
Let w = -0.0118 - 0.0882. Is -0.313 not equal to w?
True
Let s be (-1374)/48 + 6/(-16). Which is smaller: s or -32?
-32
Suppose -4*i + 11 = 3. Suppose 0 = -3*r + i*r - 1. Are -2/39 and r equal?
False
Let d = -28/11 - -30/11. Which is smaller: d or -10?
-10
Let k = -25387/46805 - -104/185. Which is bigger: k or 0?
k
Let b be (-2)/(-8) + 11889/12. Which is greater: b or 990?
b
Let t = 306 + -1410. Which is smaller: t or 0.1?
t
Suppose -3*z = z - 8. Suppose -r = z*r. Suppose -3*m - 8 + 5 = 0. Is m greater than or equal to r?
False
Suppose 24 - 44 = 4*v. Let f be v + (-2108)/(-300) + -2. Do -1 and f have the same value?
False
Suppose -2*b + z + 75 = 0, 3*z + 95 + 50 = 4*b. Let m = 28 - b. Let g = m - -35. Which is greater: 24 or g?
24
Let c = -23 + -275. Which is smaller: 1 or c?
c
Suppose 9*t - 200 = 4*t. Suppose -s - 2*b = -4*s + 110, -4*s + b + 155 = 0. Is s at least t?
True
Let k = 3.3 + -3. Let d = k + -0.1. Let z(r) = 2*r - 3. Let s be z(-2). Which is greater: s or d?
d
Suppose 4*b + 11 = x, -4*b - 5 = -3*x + 4*x. Let u = 8755/13 + -674. Which is bigger: b or u?
u
Let j(g) = g**2 - 6*g - 8. Let d(b) be the third derivative of b**4/8 - 5*b**3/6 + 8*b**2. Let y be d(4). Let l be j(y). Are l and 2/19 equal?
False
Let y = 21136/11 + -1868. Are y and 52 nonequal?
True
Suppose 0 = -4*o - 0*o. Suppose o = 4*m - 3 - 1. Let h = 3.68 - 7.68. Is h bigger than m?
False
Let i(b) = -2*b**2 - 19*b + 410. Let n be i(13). Is -173 > n?
True
Let s = -1.99 + 2. Suppose 4*r + 4*m - 4 - 68 = 0, 0 = -4*r + 2*m + 48. Let b = r - 72/5. Is s not equal to b?
True
Let w = 19 - 7. Suppose 7*a - 5*a - w = 0. Let p be (-2)/(-6) + (-2)/a. Which is smaller: p or 0.1?
p
Let a = -1.04 + -25.96. Let s = -27.1 - a. Is 17 >= s?
True
Let l = 3540.9 - 3803. Let n = -249 - l. Let t = 13 - n. Is 0.3 greater than or equal to t?
True
Let u be (-3 + (-108)/(-56))/((-270)/(-5)). Is 0 <= u?
False
Let w be 328/(-14)*98/28. Which is smaller: -92 or w?
-92
Let q be ((-1)/4)/(-7*12/(-168)). Is 13 != q?
True
Let z(d) = -45*d + 7. Let u be z(-3). Is 143 > u?
True
Suppose 0 = -0*v + v - 7. Let q = v + 2. Is 8 not equal to q?
True
Let d = -0.89 + -52.11. Let w = -52.99 - d. Which is smaller: w or 3?
w
Let f = -3 - -2. Suppose -3*i + 3*b = 15, -2*i - 3*b - 10 = -8*b. Which is smaller: i or f?
i
Let y = 24 + -20. Let g = y + -22. Let l be 3/g - 55/(-90). Is l greater than or equal to 0?
True
Let q = 111.8 - 112. Which is bigger: 115 or q?
115
Let t = -75 + 75.06. Is 22 at most as big as t?
False
Suppose 5*l - 4*h + 51 = 0, -3*l + 9*h = 6*h + 30. Which is smaller: -4 or l?
l
Let v = -548 + 551. Which is bigger: v or 27/13?
v
Let i = -1 - -10. Let j = 6 - i. Suppose 79 = -11*k + 13. Is k at least j?
False
Let r = 249 + -259.9. Let u = 358 + -369. Let o = u - r. Which is greater: o or 0.06?
0.06
Let x(i) = 48*i + 488. Let j be x(-13). Which is smaller: -134 or j?
j
Let t = 5 + 0. Let f(v) = 2*v**2 + 4*v + 3. Let s be f(-2). Let o be 0/2 + 2 + s. Does o = t?
True
Let z be 81/54*(3452/(-1722) + 2). Is 2/5 less than z?
False
Let b = -187 + 186.743. Which is greater: 1/3 or b?
1/3
Suppose -20 = -5*v - 0. Suppose 0 = v*f - 9*f + 20. Let x be ((-532)/(-98) + -6)/((-10)/7). Are x and f equal?
False
Let z = -0.064 + 126.064. Let x = z + -126.5. Is 8 equal to x?
False
Let g(t) = 8 - 9*t**2 - 10*t**3 + 7*t**3 - 12*t + 4*t**3 - 2. Let b be g(10). Is -14 <= b?
True
Suppose 229 = -2*r + 4*v - 19, 5*r = -4*v - 620. Let p = 52914 - 1432028/27. Let t = r - p. Is t != 1?
True
Let q be (256/56 - 5) + 8945/20839. Do 1 and q have the same value?
False
Suppose 5*l + 18 = -7. Let k be ((-2)/l)/((-4)/(-10)). Let j(c) = -3*c**3 + c**2 - 2*c + 2. Let t be j(k). Is t less than or equal to -0.7?
True
Let n be ((-15)/(-75))/(-1 + (-1479)/15). Which is bigger: -1 or n?
n
Let x be 12 + 1 - 11058/798. Suppose 2*j + 3 = 11, 0 = 4*p - 2*j + 8. Is x at least as big as p?
False
Let j = -76 - -79. Suppose 3*o + u - 2*u - 117 = 0, j*o - 117 = 4*u. Which is bigger: 40 or o?
40
Let c be -87*(8 - (-12)/9). Is -812 > c?
False
Let b = -58.7 - -51. Let x = -8 - b. Let c = -5 + 2. Which is smaller: x or c?
c
Let a = 643 - 642. Which is bigger: 9.2 or a?
9.2
Let n = -329 + 336. Let q be (-2 + -1)*(-8)/3. Which is bigger: q or n?
q
Let i = -602 + 51176/85. Are 1 and i equal?
False
Let i = -4086605/3276 + 32483/26. Let j = i - -15/28. Which is smaller: 2 or j?
2
Let d = -259 + 143. Is d at most as big as -114?
True
Let r be (3/(-9))/((-2)/6). Suppose 4 = -5*o - r. Is 3 greater than or equal to o?
True
Suppose u = n + 2*n + 49, 0 = 2*n + 3*u + 29. Which is greater: n or -31/2?
-31/2
Let o = 1706/5 - 340. Which is smaller: 0 or o?
0
Let j = 4 - 2. Let x(m) = -m**2 - 7*m + 34. Let u be x(23). Let n = 3291/5 + u. Is n bigger than j?
True
Let p = 0.06 - 19.06. Let u = -21 - p. Which is smaller: 0.04 or u?
u
Let u = 2774 + -4211. Which is greater: u or -1436?
-1436
Let b = 759 - 876. Is 2/11 smaller than b?
False
Let p = 6 + -8. Let a be (p/6 - 2)*(-4)/42. Which is greater: 0 or a?
a
Suppose 2*o + 3*i + 6 = 0, 8*o + 2*i = 5*o + 1. Suppose 4*f - 24 = o*r, 0 = -9*r + 4*r + 20. Is 9 less than or equal to f?
True
Let l be (-5379)/(-21) + 64/(-56). Which is smaller: 253 or l?
253
Let z be 8/(2 - -2) + 2. Let j be 116/(-38) - (1 - z). Are j and 1 unequal?
True
Let t be (-18)/((-6)/4 + 0). Let i = 8 - t. Let c be -2*-3*i/132. Which is bigger: c or -1?
c
Let i = 15 - 13. Let a be -1 - -4 - (-2)/i. Let y be 1*(-1 + a - 4). Which is smaller: 1 or y?
y
Let u(y) = 2*y - 35. Let c be u(6). Which is smaller: -20 or c?
c
Let u = -39 - -73. Which is smaller: u or 172/5?
u
Let g(o) = o**2 - 9*o + 4. Let y be g(9). Suppose 5 + 820 = -15*z. Let n be (y/(-10))/((-11)/z). Which is smaller: 0 or n?
n
Suppose 6 = q + 2. Let d = q - 4. Let v = -858 - -45472/53. Do d and v have different values?
True
Suppose -13*u + 47 = -14*u. Let d = u - -46. Which is smaller: d or 0.07?
d
Let a be (-6)/(-2) - (3 - 24). Let z be (-60)/(-9)*a/16. Is z greater than or equal to 11?
False
Let s = 43.061 + -41. Let m = 0.061 - s. Are m and -0.18 nonequal?
True
Let u be 1/3 - (-5)/(-3). Which is bigger: 1/7 or u?
1/7
Suppose -5*w + 55 + 10 = -5*d, -35 = -5*w - 5*d. Let j(k) = -6*k + 257. Let h be j(41). Which is greater: h or w?
h
Let f = 3 + -4. Let b = -11 + 21. Let l be (-4)/(-10)*b + -2. Which is smaller: l or f?
f
Suppose 0 = -68*m + 73*m + 130. Which is bigger: 10 or m?
10
Let x = -130 + 132. Which is greater: x or 0.32?
x
Let n = -4.9 + 9.8. Let j = -4.52 + n. Which is smaller: j