ue
Let d be 5 + (-240)/(-6) + 4. Suppose -d = -10*o + 17*o. Suppose 5*g - 5*l + 0*l - 10 = 0, -22 = 5*g + 3*l. Which is bigger: o or g?
g
Let t be (5/(-45))/((-5)/(-5)). Which is smaller: t or 1?
t
Let w = -699/467 + 5207425/101339. Let c = w - -117/217. Let s = -50 + c. Is -1 equal to s?
False
Suppose -j - 17 = 7*r - 4*r, 0 = -2*j - r - 9. Which is greater: -6/11 or j?
-6/11
Let r(t) = -2*t**2 + 18*t + 33. Let y(d) = d**2 - 17*d - 34. Let z(q) = -2*r(q) - 3*y(q). Let g be z(-12). Do 2/3 and g have different values?
True
Let l = -3.95 + 3.45. Is l < -3/22?
True
Let r(j) = j**3 - j. Let v be r(0). Suppose -3*z + 0 + 6 = v. Let m = z - 3. Which is greater: -2/35 or m?
-2/35
Let i = -831.146 - -832. Let v = i - 0.89. Does 1 = v?
False
Let o = 5 - 60. Is o smaller than -0.1?
True
Let b = 0.29 - -11.71. Let p = -236 + 235. Is p less than or equal to b?
True
Suppose 96 = -5*i + 91. Is i >= -3?
True
Let v be (-20)/90 + 0 + (-1676)/(-9). Suppose k = -i + 30, -5*k + 5*i + v = 46. Is k greater than 30?
False
Let j(r) = 16*r + 35. Let m be j(-9). Which is bigger: -108 or m?
-108
Suppose -13*r - 422 = -448. Is r not equal to 52?
True
Suppose -113*c = -114*c + 1. Is c equal to -0.083?
False
Let c be (-70)/84 + 4/8. Let n = 2 - -4. Is c equal to n?
False
Let q = -33 - -62. Suppose 0 = t - 1 - q. Is 31 at most as big as t?
False
Suppose -3*y + 380 = 4*s + 907, 10 = -2*s. Is y greater than or equal to -168?
False
Let v be 11952/32*(34/(-10) + 3). Is -149 >= v?
True
Let w = 1923.1 + -1917. Which is smaller: -8 or w?
-8
Let u(r) = -r - 7. Let s be u(-9). Suppose 0 = 4*z - 20, s*z + 0*z = -2*p - 18. Is p at most as big as -14?
True
Let n = 58 + -46. Let h be (-2)/(-9) + n/(-81)*-3. Let a be -1 - (-1)/(2 - 1). Is h greater than or equal to a?
True
Let t = 84 - 145. Let j = t + 58. Which is greater: j or 0.1?
0.1
Let y = -28.979 + -0.021. Let d = -374358/7 + 53480. Which is smaller: y or d?
y
Suppose -14 - 10 = 6*a. Let m be 11/3 + a + (-5)/(-6). Which is greater: m or 5?
5
Let h be 82/4*844/(-25). Let k = -692 - h. Let o = -45 + 44. Are o and k unequal?
True
Let r = 16/3 - 6. Let m = -0.5 + 0.62. Let q = m + -3.12. Is q greater than r?
False
Let s be (-818)/(-672) - 7/21. Let b = -5/16 + s. Is -0.1 > b?
False
Let p = 18 + -19. Let u be 3 + 0 + p + -1. Let d be u/2*(7 + -3). Do d and 1 have different values?
True
Let j = 0.056 + 3.044. Let q = 1.59 - 4.59. Which is bigger: j or q?
j
Suppose 0 = o + 2*o + 3*x - 45, o - 5*x - 39 = 0. Let f(i) = i - 19. Let g be f(o). Is -1/22 != g?
True
Let d(j) = -j**3 + 15*j**2 - 23*j - 36. Let b be d(13). Let x be ((-1)/3)/((-2)/(-6)). Which is greater: x or b?
b
Let c = 3 - 4. Let t = 83 + -61. Let j be (-11)/t*1/8. Which is smaller: c or j?
c
Let k be (30/(-24))/(126/4). Let g = k + 1207/252. Is 4 less than or equal to g?
True
Let m be (-4)/(-7 + (-963)/(-135)). Which is bigger: 3 or m?
3
Let t = -525121 + 29935577/57. Let n be 194/(-3) + 1 - 1. Let q = t + n. Which is smaller: q or 1?
q
Suppose s - 5*g = 0, s = -0*g - g. Let j be (-919808)/1596 + 8/28. Let c = 576 + j. Are s and c non-equal?
True
Let j be (234/4)/(6/4*8). Which is smaller: 5 or j?
j
Suppose 9*f = 27 - 1035. Is -113 > f?
False
Suppose -62 = 8*x - 14. Is x < 5?
True
Let g = 8 - -67. Let p = g + -73. Let x = 2 + -1. Do x and p have different values?
True
Let c(d) = 33*d + 603. Let o be c(-10). Which is smaller: -0.1 or o?
-0.1
Suppose -4*l = 88 + 196. Let h = l - 13. Let q be (-4)/h + (-4)/(-14). Which is greater: -0.5 or q?
q
Let p be -1*112/16 + 320/46. Let b = -1 + 0. Is b at least p?
False
Let d be (630/189)/(218/(-3)). Which is greater: d or -1?
d
Let k(n) = -n**3 + 12*n**2 - 10*n - 7. Let b be k(11). Suppose 0*q - 36 = b*q. Let g = -178 - -171. Which is greater: q or g?
g
Suppose -c + 2*x - 18 = -19, 0 = 5*c + 4*x - 5. Let b be (-104)/174 + (-8)/(-12). Is c >= b?
True
Let p be -3 - -4 - (-1 + 3). Let f = 0 - p. Let z = 42 - 209/5. Which is smaller: f or z?
z
Suppose n = 4*j - 6, -3*n + 4 + 46 = 5*j. Let s be ((-5)/30)/(n/2022). Let h = 71/2 + s. Is 2 equal to h?
False
Let u be (-695)/150 - (-1)/((-3)/(-6)). Let h = -17/6 - u. Which is smaller: h or 0.7?
h
Let t = -231 - -267. Are 1/5 and t non-equal?
True
Let l be (-2)/(-4)*20/(-4)*2. Let j be (-21)/(-15) - l - 1. Is 4 at most as big as j?
True
Let j(b) = -b**3 + b**2 + 5*b - 6. Let u be j(2). Let z(k) = -2*k**2 + k - 1. Let f be z(1). Let y be u/(-4) - f/(-7). Which is smaller: y or 1?
y
Let a(d) = d**2 + 2*d - 1. Let s be a(1). Let f = 10 - 8. Let g be 4/f + (s - 5). Is g less than -1?
False
Let h be (-12)/7 + 2 - 0. Let m = 61 + -57. Suppose -p + 6 = m*p + r, 3*p = -r + 4. Is p equal to h?
False
Suppose 0 = -5*t + t. Let l = -3 + 3. Let r = t + l. Is -2 > r?
False
Let k be (-4640)/(-38) - (-104)/(-988). Is 122 greater than k?
False
Let q = 454 - 481.42. Let m = 3.38 + q. Let l = m + 24. Which is smaller: 2 or l?
l
Let y = -17357738 - -18590139308/1071. Let t = -2/357 + y. Which is greater: t or 2?
2
Let z be (4/(-8))/(4/(-24)). Does z = -91?
False
Suppose -3*y = y - 48. Let g be 218/y - (-3)/(-18). Let c be -2*(-1 - g/(-21)). Is c at least 0?
True
Let i = -58 + 36. Let m be 2/26*(2 - i/(-10)). Which is smaller: m or -1?
-1
Let a(f) = f**2 + 14*f - 17. Let j be a(-15). Let y(m) = 12*m**3 + 2*m**2 - 2*m - 2. Let v be y(j). Let s = 153/2 + v. Is s at most as big as -10?
False
Let g = 11.81 - 11.3. Let n = 7.45 + g. Let v = -0.04 - n. Is -1 less than v?
False
Suppose 4*l = -4*l + 352. Let q = -661/15 + l. Which is smaller: 0 or q?
q
Let k = 21722/16653685 + 4/13355. Is 1 at least k?
True
Suppose 0 = -5*d + 4*n - 7, 2*d + 0*n = -n + 5. Let v = 1.6 - 2. Let u = -0.5 - v. Which is smaller: d or u?
u
Let j = 73 + -74.65. Let l = j - -0.05. Let s = -19 + 19. Is l equal to s?
False
Suppose 0 = 3*b - 330 - 108. Suppose -i - 1 = 0, -3*x + 4*i - 441 = b. Let f = x - -1383/7. Which is greater: 0 or f?
f
Let n = -77 + 95. Does 15 = n?
False
Let j = 65.3 + -65.44. Which is smaller: 7 or j?
j
Suppose 2 = r + 5*j, -3*r + 1 = -4*j - 5. Suppose 0 = 2*h + 5*o + 12, r*h + 0 + 12 = -o. Is h less than -13/2?
False
Let z(d) = -d**2 - 2*d + 2. Let m be z(1). Let n(q) = -q**3 + q + 1. Let g be n(m). Is -18 > g?
False
Let n(a) be the third derivative of a**6/120 - a**5/15 - a**4/4 + a**3/2 + 5*a**2. Let v be n(4). Which is smaller: v or -20?
v
Let y be (-4)/18 + 8 + (-800)/45. Let n = 31 - 63/2. Does y = n?
False
Let x = 49.2 + -47.7. Which is smaller: x or 3?
x
Let k = -3 + 3. Suppose g = -k*g - 17. Is g smaller than -16?
True
Let p = -0.4 - -0.38. Let m be (-6)/(-50)*3/(-21). Let x = m - 323/1575. Which is smaller: p or x?
x
Let m = 23.6 - 21.6. Are m and 35 unequal?
True
Suppose 15*p - 19*p + 5*g = -6956, -1742 = -p + 2*g. Is p bigger than 1734?
False
Let z = -325607 - -4238920/13. Let a = z + -464. Is a at least 0?
False
Suppose 29*w - 250 = 54*w. Let g = -187826/21345 + -2/4269. Is w less than g?
True
Let t be 9/(-249)*(1 + -2). Is 2/5 less than t?
False
Suppose -51 + 12 = -3*i. Suppose 14*x = i*x + 6. Let w be (-13)/(-26)*8/x. Which is bigger: 2/5 or w?
w
Let f = 361 - 361. Which is smaller: f or 13/2?
f
Let g = 1116 - 960. Does g = 158?
False
Let d be 4 + 3 - (4 + -1). Suppose -d*i - 15 = -9*i. Is 3 > i?
False
Let s = -23 + 23. Is -1/17 not equal to s?
True
Let f = -1.99 + 2. Let i = f + -0.02. Let o be ((-2)/5)/(14/10). Is o at most i?
True
Let t = 138 - 136.88. Let x = 1.42 - t. Which is smaller: 34 or x?
x
Let d(m) = m**2 + 15*m + 60. Let g be d(-4). Which is smaller: 8 or g?
8
Suppose 81 - 81 = -10*o. Which is smaller: 1/1681 or o?
o
Suppose 13*z - 119 + 990 = 0. Are z and -66 equal?
False
Let d(l) = -l - 6. Let u be d(-4). Let n be 15/(-2)*((-42)/(-10) - 4). Which is smaller: n or u?
u
Let i = -16.9 + 18.7. Let n = -2 + 3.9. Let k = i - n. Is k at most 3?
True
Let q = -16.5 + 4.5. Let x = 12.1 + q. Is x < 4?
True
Let m = 2.9 + -3. Let y = m - -0.1. Let s be 4/(-18) + (-1344)/(-2646). Which is smaller: s or y?
y
Let s(b) = b - 6. Let u be s(10). Let j be 14/(-8) - u/16. Let l be (6/j)/1 + 3. Which is greater: -2 or l?
l
Let m = -43 + 41. Let g be 1 - (-51)/(-9) - -3 - m. Let h be 1 + 2*(-4 - 1). Is h less than or equal to g?
True
Suppose 4*n = -3*n + 14. Suppose 0 = -4*o + n*l + 12, 3*o - 5*o + 6 = -3*l. Is o at mos