an or equal to -10?
False
Let w(y) = y + 2. Let r be w(15). Let f be (r - 18)/(2/(-1*2)). Which is greater: -7 or f?
f
Suppose -26*y = 14*y + 560. Which is smaller: -6 or y?
y
Suppose 2 + 12 = 2*a. Suppose 6*n + 54 - 72 = 0. Do a and n have the same value?
False
Let i = -0.07 - -0.06. Let p = i - -0.11. Let f = -4.9 - -5. Is f <= p?
True
Let m(r) = -r**3 + 7*r**2 + 8*r + 9. Suppose -2*l + 0*l - 5*n + 16 = 0, -2*n - 16 = -2*l. Let j be m(l). Let g = j + -16. Is 0.2 >= g?
True
Let h be 6/2 - 5/(15/7). Is h less than -309?
False
Suppose 26 = -4*l - 6. Let c be (-2 + (-17)/l)/(-3). Suppose 5*y + 20 = -5*r, 22 = -r - 5*y + 2. Which is smaller: c or r?
c
Let d = 207 - 206.917. Let q = d - -0.017. Is q at least as big as -8?
True
Let d be 744198/1430 - 1/(11/(-2)). Let r = -524 + d. Which is bigger: r or 1?
1
Suppose -2*o - 3*s + 0*s + 3 = 0, -5*s + 5 = 3*o. Is 7/50 bigger than o?
True
Let a be 9205*-15955 - (-2)/(-2). Let p = -470117344946/3201 - a. Let h = -4/291 - p. Is 0 != h?
True
Let l be (-2)/10*88/(-32208). Is l > -1?
True
Let b = 7 + 4. Let n = 13 - b. Let x = -2 + 0. Is n <= x?
False
Let j be 297/18*4/(-6). Let h be 2/j + (-126)/33. Let a = -0.8 - 0.2. Which is smaller: a or h?
h
Let p = -100/3057 - -136856/320985. Let i = p - 6/35. Are 10 and i equal?
False
Let a be ((-2)/(-3))/((-2)/4). Let j = -696 - -695. Which is bigger: j or a?
j
Let z = -10 + 12. Let l be z*(-2 + -1 + 2). Let t be l*2 + 1 + 1. Is -1 less than or equal to t?
False
Let c be -4*(-1)/(1 + -2). Suppose -22*v - 27 = -19*v. Which is greater: c or v?
c
Let d be 2/7 - (-216)/(-1638). Which is smaller: d or -0.15?
-0.15
Suppose 0 = 125*i - 119*i - 576. Do 96 and i have the same value?
True
Suppose -6 + 0 = -2*w. Suppose -2*m + o = 5, 4*m - 5 = -4*o + w*o. Let f = -2/61 + 109/1464. Are m and f non-equal?
True
Let p be 7/2*209/77. Let d = -8 + p. Do d and -1 have different values?
True
Let u be (-13 + 13)*(-1 - 8/(-6)). Let x = 244 - 1224/5. Which is bigger: x or u?
u
Let v = 120 - 73. Let j = -47.6 + v. Let w = -3 - -2. Which is smaller: j or w?
w
Suppose -181*c - 50 = -171*c. Which is bigger: -30/7 or c?
-30/7
Let v = -11 + 8. Let s = -24.2 - -24. Which is bigger: v or s?
s
Let j = -170/4493 + 10848652/67395. Let c = -161 + j. Is c at most as big as -1?
False
Suppose 0 = -2*m - 5*q + 27, 39 = 4*m - 2*q + 7*q. Is 1.9 < m?
True
Let u(q) = q**2 - 43*q + 489. Let h be u(23). Do h and 35 have different values?
True
Let b = -1393 - -1392. Are 3/173 and b equal?
False
Let a be ((-880)/(-15) - 1/(-3)) + -2. Is 58 equal to a?
False
Let b = -12.47 - -16.87. Is 2 bigger than b?
False
Let t = -4.55 + 2.55. Let c(d) = d**2 + 7*d + 6. Let f be c(-5). Which is smaller: f or t?
f
Let m = -21 + 23. Suppose 5*f - 3 = m*f. Is f greater than 1/2?
True
Suppose -7*j = -2*j + 20. Let s be j/18 + (-1060)/(-5175). Which is greater: 1 or s?
1
Suppose -24*y - 24*y = -5*y - 215. Let p be 38/10*10/8. Which is greater: p or y?
y
Let n = 256 + -232. Suppose 0 = t - 3*t - 5*u + 3, 4*t + 2*u = 46. Let d = n - t. Which is smaller: d or -1?
-1
Let p = -969 + 970. Let r = 0.03 + 2.97. Let z = 12 - r. Is z at least as big as p?
True
Let i = -1/109 - -223/545. Suppose 5 = 3*q - 1. Let b = -1 + q. Is i at least b?
False
Suppose 0 = 4*o - 64 - 196. Is 131/2 greater than o?
True
Suppose -16*t = -18*t + 20. Suppose m + 2*i + 9 = 0, -3*i - 37 - 29 = 5*m. Let g be m/t*(-6)/9. Which is smaller: 2/7 or g?
2/7
Let g be 7/14*(38 + 0). Let r be ((-1)/3)/(g/(-171)). Are r and 4 nonequal?
True
Let w be (4/6)/(8/(-276)). Let r = w + 23. Suppose 3*q = -3, -3*m + r*q = 3*q - 9. Do -1 and m have the same value?
False
Let x = 9.74 + -33.74. Which is smaller: x or -2/27?
x
Let b be -2*3/2 - (-35 - -31). Is b less than -3/14?
False
Let h be (-188)/(-1170) + 7*12/(-378). Which is smaller: -1 or h?
-1
Suppose -11*n - 59 + 4 = 0. Let q be -1 - (120/(-59))/((-10)/n). Which is smaller: q or 0?
0
Let c = 6467/12 + -225163/420. Let o = 839/1010 - -7/101. Let r = o + c. Which is smaller: 4 or r?
r
Let g = -95 + 89. Does -5 = g?
False
Let g = 71 + -75. Let k = g + 4. Let x = -4 - -2. Which is bigger: x or k?
k
Let t = -9272/3 - -3010. Let l = t - -91. Is 9 greater than or equal to l?
False
Suppose 5 = -2*i - 3*b, -3*i - 6 = 3*b - 3. Let c be 1 + (9/(-6) + 0)*i. Which is smaller: c or 12?
c
Let f = 87 - 86. Let a be 7/14*f*24. Which is smaller: a or 11?
11
Let o = 43 - 41. Let m be (-225)/(-36) + o/(-8) + 0. Is m > 1?
True
Let h be (-2 + 4)/((-2)/(-5)). Suppose -h*q - 9 = -3*p, 0*p = -q + 3*p - 9. Let s be (-16)/(-172)*(9/(-12) - -1). Which is bigger: s or q?
s
Let y = -45 + -63. Is y at most as big as -1/3?
True
Let h = 58305/43 + -1356. Let x = 5 + -5. Is h less than or equal to x?
True
Let h be 4/8*100*-1. Let b = -51 - h. Which is greater: b or -2/79?
-2/79
Let k = 26452 + -236768/9. Let a = 144 - k. Suppose 0 = -3*h - 0*h - 2*h. Which is smaller: a or h?
a
Let h(u) = -u**3 - 9*u**2 - 15*u - 56. Let v be h(-8). Is -3/40 not equal to v?
True
Let u be -2 - -1 - 10228/(-442). Let q = -396/17 + u. Which is bigger: q or -1?
-1
Let s = -22 - -21.64. Let h = s + 0.26. Let o = 10.4 - 0.4. Which is greater: o or h?
o
Suppose 90 = -4*t - 2*a, -2*t - a = a + 50. Let y be (2/(-12))/((-7)/(-21)). Is t <= y?
True
Let l be (-63 - -55) + (-54)/(-7). Which is smaller: l or 445?
l
Suppose -2*i + i + 3 = 0. Suppose -2*n = w - 6, -11 = 2*n - n - i*w. Let l be (n - -1) + 42/(-24). Which is smaller: -1 or l?
-1
Let g(h) = 3*h - 13. Let j be g(4). Let o = -7 - -2. Let d = -6 - o. Do d and j have the same value?
True
Let i be (-2)/(-4) - 435/(-58). Which is smaller: i or 13/2?
13/2
Let y(v) = v**2 + 8*v + 6. Let t be y(-7). Let x be (76/(-12) + 4)*9. Let w be 16/x - 9/(-21). Are w and t non-equal?
True
Let i be (0*4/(-16))/(-1). Suppose -3*v = 2*q - 336 + 18, -5*v = 0. Let t = -469/3 + q. Which is smaller: t or i?
i
Suppose t - 2146 = 5*v, 854 = -19*v + 17*v - 4*t. Is v less than or equal to -430?
False
Suppose -4*k + 2 - 30 = 0. Are k and -9 non-equal?
True
Let i = -67 - -66.96. Let d = i + -1.96. Which is smaller: 3/4 or d?
d
Let i be (-10 + (-1940)/(-195))/(2/(-9)). Let b = 5 + -5. Is b at most i?
True
Suppose -4*n = n - 525. Let w be (-100)/n - (-2)/7. Let a be (-1)/((-5)/(-25)) + 5. Which is greater: a or w?
a
Let i = -72 - -261. Which is bigger: i or 191?
191
Let l = 1.022 - 1. Let k = -0.002 + l. Which is smaller: k or -0.4?
-0.4
Let o = -4.821 + 3.821. Let j = -7 + 6.957. Which is smaller: j or o?
o
Let w = 200.44 + -207. Let c = 7.2 + w. Do -2/7 and c have different values?
True
Suppose -25 = 5*h, -5*a + 0*a - 2*h + 10 = 0. Let b = a + 5. Let j be 11/b - (2 + -1). Is j at least as big as -0.1?
True
Let i(o) = -9*o + 34. Let t be i(-11). Which is greater: t or 132?
t
Let m(h) = -h**3 - 15*h**2 - h - 17. Let q be m(-15). Let r(k) = -k - 8. Let i be r(-10). Which is smaller: q or i?
q
Let c(b) = b**2 + 7*b + 2. Let k be c(-6). Let a be 38/20 + k/10. Let r = 36 - 35.9. Is r less than a?
True
Let f = 2.5 + -18.5. Let x = 10 + f. Let k = -5.9 - x. Is k at most as big as -3?
False
Let t(l) = -2*l + 3*l**3 - 2*l**3 - l**2 + 3 - 2*l**2. Let b be t(3). Suppose 24 + 31 = -11*a. Which is bigger: b or a?
b
Let h = -60.125 - -60. Let y = h + 0.115. Which is smaller: y or -0.2?
-0.2
Suppose -2*m - 2 = -3*m. Let y = m - -9. Suppose 40 = -8*t + 28*t. Which is greater: t or y?
y
Suppose -k - k - 8 = 0. Let h be 9/k + 2/8. Let q be ((-3)/2)/((-35)/(-14)). Does q = h?
False
Suppose 20*l - 18 = 22*l. Let y(a) = -5*a - 45. Let t be y(l). Is t greater than or equal to -4?
True
Let q = 6206/3543 - 321666652/209037. Let m = -1537 - q. Which is smaller: 0 or m?
0
Suppose 0 = -0*m + 3*m - 27. Suppose -b = 4, -2*c + 0*b - 3*b - 36 = 0. Let v be m/12 - (-18)/c. Is v != -2?
True
Suppose 4*r + v - 7 - 5 = 0, v = 4. Let i = 2000 + -2021. Is r not equal to i?
True
Let c(x) = -6*x + 41. Let y be c(11). Let m = y - -26. Which is smaller: m or 1/3?
1/3
Let d = -91 - -83.48. Let b = -0.48 + d. Which is smaller: b or 2/7?
b
Suppose -9*p + 8*p - 23 = 0. Let b = -33 - p. Which is smaller: -11 or b?
-11
Let s = -31819758003074/9111 - -3492455046. Let u = 2/3037 + s. Is u smaller than -0.1?
True
Let h = -23 + 20.9. Let b = -2 - h. Let k be 214/(-434) + (-87)/(-203). Which is smaller: b or k