 Let f = h - 5. Let q be 22/(-429)*-3*f. Which is greater: q or 1?
1
Suppose 3*d + d = -20, 0 = o - d + 51. Are -50 and o equal?
False
Suppose 6*y - y = 15, 5*y - 36 = -n. Let k = 24 - n. Which is bigger: k or 14/5?
k
Suppose -8 = -3*m + q, -3*m + 5*q + 2 = -2. Suppose -4*b - 2*x = -12, 2*x - m = -7. Let u(p) = 2*p**2 + 2*p - 2. Let a be u(-2). Does b = a?
False
Suppose 840*j = 838*j. Is j < 1/190?
True
Let f = 14 - 9. Let y be f + -3 - (2 - -22). Is y at least as big as -20?
False
Suppose 5*l - 4*l = -4. Let y be ((-3)/(-12))/((-1)/l). Is y >= -6?
True
Let v = 12982/17 + -762. Which is bigger: 2 or v?
2
Let v = 1 - 3. Suppose -12*z = -7*z - 25. Suppose -5*d = -2*h + 15, z*d + 2*h = d + 6. Does v = d?
False
Suppose -5*v = 5*t - 180, 30 = 6*t - 5*t + 4*v. Suppose -t = -3*w - 5*a, -3*w + 6*a - a = 2. Is 4 >= w?
False
Suppose 8*q + 5*s = 7*q + 19, s - 23 = -5*q. Let c be -2*(-1)/q*2. Let b be -2 + (-1)/c + -2. Do b and 0 have the same value?
False
Let z = 20 - 15. Let u = z - 2. Suppose 0 = 3*g - 3*r + 7*r - 16, 0 = -u*g - 3*r + 18. Which is bigger: g or 9?
9
Let y be (0/((-64)/8))/(-1). Which is greater: 5/26 or y?
5/26
Suppose 3*o + 129 = 3*k, 0 = -3*k + 2*k + 3*o + 37. Suppose 0 = k*u - 52*u - 96. Which is greater: u or -9?
-9
Let y = -0.899 - 0.101. Let r = 1.3 - 3.1. Let p = -2.5 - r. Which is greater: y or p?
p
Let a(d) = -23*d - 41. Let h be a(-3). Is h > 25?
True
Suppose -4*n = -0*n. Suppose -876 = 3*q - 5*q. Let j = -13580/31 + q. Which is smaller: n or j?
j
Let d(r) = 8*r - 21. Let w be d(5). Suppose -5*k + 4*i + 20 = 2*i, 3*k + 5*i = -w. Let g be ((-99)/22)/(k/(-8)). Is 18 at most g?
True
Let m = -0.2016 - -0.0016. Is m > 2/23?
False
Let n be 6/50 + 122/1525. Suppose b = 2*b - 2. Suppose 0 = 3*w - b*w. Are w and n unequal?
True
Let g = -593 + 593.241. Let t = 0.141 - g. Are t and 9 nonequal?
True
Let w(u) = u**2 - u + 1. Let k be w(2). Suppose k = 13*h - 12*h. Which is smaller: h or 19/6?
h
Let c be 24/(-18) - 12/(-18)*5. Which is smaller: 0.08 or c?
0.08
Let u(y) = -y**2 + 9*y - 17. Let x be u(5). Suppose 3*z = -x*a, 3*z + 12 = -0*a + a. Do -3 and z have the same value?
True
Let j = 104 - 105. Which is smaller: 1/40 or j?
j
Let u = -26592 + 8057386/303. Are 0 and u unequal?
True
Let h = -93824/10695 - -238/465. Which is bigger: -7 or h?
-7
Let h be 9/(-6)*8/(-3). Suppose -5*i + 42 = -h*y, -4*y + 0*i = -4*i + 40. Let f = 0.04 - -0.06. Are f and y equal?
False
Suppose -6*j + 5 = -5*j. Is j <= 3?
False
Suppose -468 = 2*v - 10*c + 6*c, -4*v + c - 915 = 0. Which is greater: v or -227?
-227
Let q = -447/8 + 12995/232. Is q smaller than -11?
False
Let v(z) = -2*z**2 + 19*z - 25. Let k be v(8). Which is bigger: k or -1/60?
-1/60
Suppose k - 1 - 1 = 0, -4*k - 2 = -2*r. Let o = r - 14. Let c be o - -5 - (-10)/3. Are c and 0.2 non-equal?
True
Let q = -9.23 - 0.77. Let p = q - -15. Which is smaller: -0.3 or p?
-0.3
Let k = 0.065 + -0.165. Is 0.161 greater than or equal to k?
True
Let o = -108859/21 + 5185. Which is smaller: o or 0?
0
Let w = 49.09 + 0.91. Let y = w - 50.1. Is y at most -1.1?
False
Let o(m) = m - 7. Let l be o(0). Let a = l + 10. Let u = a - 8. Is -5 < u?
False
Let i = 17 + -12. Which is smaller: 0.2 or i?
0.2
Let l = 31 + -25. Suppose l*s - 30 = -0*s. Suppose 3*t - 7*t + 4 = 0, 0 = 5*m - 5*t - 20. Is m smaller than s?
False
Let r = 6208/403625 - -2/3229. Which is greater: 1 or r?
1
Let a be ((-4)/(-150))/(38/114). Which is greater: a or -8?
a
Let s be 6/(-9) + 82/6. Let n = s + 5. Let q = 255 - 236. Is q bigger than n?
True
Suppose 0 = 25*p + 7*p. Which is greater: -3/77 or p?
p
Let r be 10 + -9 + 2 - 98. Are r and -95 unequal?
False
Let w = 1415 - 1530.8. Let f = 105 + w. Let a = f + 11. Which is smaller: 2 or a?
a
Let y be (-2)/(-6) + (-66)/9 + -1. Let l(u) = -3*u - 25. Let o be l(y). Is o greater than or equal to 2/5?
False
Let p(u) = -3*u + 3. Let w be p(2). Let s(i) be the first derivative of i**2/2 + 4*i - 1. Let j be s(w). Which is bigger: 1/2 or j?
j
Let y = -144 + 304. Which is smaller: y or 159?
159
Let j(z) = 3*z**3 + 6*z**2 - z - 3. Let p be j(-2). Let l be (3 + 7)/(2 + p). Let q = -0.1 - -0.2. Which is smaller: q or l?
q
Let g = 78 + -92. Which is bigger: 3 or g?
3
Let z be (-20 - -5)/((-1)/5). Does 74 = z?
False
Let h = -1259 + 1917. Does 657 = h?
False
Let o = 5 + -5.01. Let h = o + 0.21. Let v be 0/(((-1)/2)/((-4)/16)). Which is greater: v or h?
h
Let w be (-9)/15*6/9. Suppose 2 = 2*h - 2. Suppose h*p = 4*p + 4. Is p at most as big as w?
True
Suppose 0 = -21*j + 1586 + 1732. Is j greater than or equal to -7?
True
Suppose 6*o + 325 = 415. Suppose -5*t + 2*h = -3*h + 70, 48 = -3*t - 3*h. Let l = t + o. Which is bigger: 3 or l?
3
Let r = 77.1 - 77. Let l be 28/32*7/((-21)/18). Is l greater than r?
False
Suppose 3*w = -5*b + 3, 0 = 4*b - 3*w + 2 + 1. Let s = 6013/2 + -378605/126. Let h = s - 14/9. Is h greater than b?
True
Let c(l) = 7*l**2 - 4*l + 1. Let g(k) = -9*k**2 + 4*k - 2. Let x(v) = 4*c(v) + 3*g(v). Let b be (1/((-1)/(-4)))/1. Let h be x(b). Is h less than -2?
False
Let w = 191480675/134514 + 2/67257. Let z = 42653/30 - w. Let o = z + 2/5. Is o at least as big as 0?
False
Let l be 1/(-6*1 - -1). Let y = 4 - 4. Let g be y - ((-4)/2 + 3). Which is smaller: l or g?
g
Let l = 7.9 - 3.94. Let b = 4 - l. Let x = 59/4 - 61/4. Is b smaller than x?
False
Suppose -41*b - 78 + 37 = 0. Which is smaller: 15/116 or b?
b
Let l = -611 + 623. Let h = 6 - 3. Which is smaller: l or h?
h
Let p = 80 + -87. Is p greater than 8?
False
Let o(s) = s**2 + 24*s + 118. Let q be o(-17). Which is bigger: 19 or q?
19
Let u = -3 - 2. Let l(t) = 54*t - 484. Let i be l(9). Which is smaller: i or u?
u
Let s be (-91)/52*(-4 + 8). Which is greater: s or -34/5?
-34/5
Let l(z) = -z**3 + z**2 + 9. Let u be l(0). Let y be (-2)/(6/u)*-2. Is y at most 72/11?
True
Let r = -7737 + 5059. Let x = r - -195491/73. Which is smaller: x or -1?
-1
Let w be (4 + 280/(-74))/(-2). Let f be 6/15 + 12/20. Is f less than or equal to w?
False
Suppose 0 = -5*b + 10, 13*b = 5*k + 11*b + 4. Is k at least as big as 9?
False
Let g = -5 + 4.9. Let a = 0.192 - 8.092. Let r = a + 8. Which is smaller: r or g?
g
Let u = 281/11 - 26. Suppose 5*z - 13 = -13. Is z at least u?
True
Let a be 3 + (3/(-5))/(1/(-65)). Let i = a + -43. Let p be (1/(-7))/((-1)/(-3)). Which is greater: p or i?
p
Let y be 204/(-8) + -2 + 0. Which is smaller: -28 or y?
-28
Suppose 3*m - 73 = l, -2*m + 2*l = l - 49. Let d be 1*(-3)/m - 981/24. Is -40 < d?
False
Suppose 5*z - 4 = 7*z. Let x be ((-12)/(-4))/(z/(-46)). Suppose 4*k = -5*o + x, -k = k + 3*o - 37. Is 10 bigger than k?
False
Let k = 282.3 + -288. Do k and -1/3 have the same value?
False
Let h = 9.03 + -9. Let i = -7.97 - h. Let s = i + 9. Which is smaller: s or -2/9?
-2/9
Let a(w) = -2*w - 2. Let d be a(-5). Let i(v) = -v + 9. Let p be i(4). Let h be (1 - 1) + (12 - p). Is d greater than h?
True
Suppose -2*n = -4*g - 12, -5*g + 34 = 2*n - 5. Let l be (3/n)/((-4)/48*-21). Which is smaller: 0.1 or l?
0.1
Suppose 0 = -29*t + 20*t + 9. Is t at most 2/41?
False
Let t be (-4)/(-10)*(6 - (-21 - 3)). Let g be 1 + -2 + -3 + 1. Which is greater: g or t?
t
Let u = 6.07 + -0.07. Let r = u + -5. Let q = -23 - -20. Which is greater: r or q?
r
Let k(l) = -2*l - 18. Let r be k(-10). Suppose 5*w + r = 2*s - 5, -w + 13 = -4*s. Let b be 2/s*(-4)/30. Are 1 and b non-equal?
True
Suppose -14*u - 14*u - 224 = 0. Are -3/11 and u equal?
False
Let a = -18.7 + -6.3. Let y = -24.8 - a. Is 1/4 <= y?
False
Let p be (1 - -9) + (3 - 2). Which is greater: 12 or p?
12
Suppose -5*y = -4*i - 41, 3*y + 6*i - 3*i = 3. Suppose 0 = 3*h + y*s - 10, 5*h - s = -6*s + 10. Suppose 2*b + 2 = 6. Are h and b unequal?
True
Let w = 18.7 - 18. Let b = w + -0.8. Is 3 less than or equal to b?
False
Suppose 3*u + 42 = 6. Let i = -15 - u. Suppose -3*t = 4*m - 17, -5*m = 3*t - 2*m - 12. Is i smaller than t?
True
Let x = -2443/12 - -204. Let r be -1 - (6 + -1 - 5). Does r = x?
False
Suppose 0 = -2*q + q - m - 4, -5*q - m = 16. Let y = 8 + q. Let a be 2/4 - y/(-10). Which is bigger: a or -1/4?
a
Let x be ((-8944)/(-5))/((-143)/(-65)). Let g = x - 812. Does g = 0?
False
Let n = -17/6 - -4/3. Let o = 81 + -115. Let r = o - -35. Is r at least n?
True
Let v = -77 + 76. Let r be (-56)/21*v/8. Is 1 at most