-3) + s/(-21). Which is greater: r or 8/5?
r
Let u = 0.58 + -46.08. Let f = -17.5 - u. Does -0.1 = f?
False
Suppose 4*g = -4*x - 24, 0 = 4*g + 136*x - 141*x - 21. Which is bigger: g or -31/34?
-31/34
Let s = -0.004 + 0.004. Which is smaller: s or -12?
-12
Let q = -595 + 582. Which is smaller: q or -22?
-22
Let x be (54/(-4))/(159/(-106)) + -10. Is 2/28805 not equal to x?
True
Let r = 8 - 4. Suppose -r*o - 1 = 15. Let p(v) = 2*v**3 - 89*v**2 + 129*v - 4. Let j be p(43). Is o less than j?
False
Suppose 25 = -3*b - 2*b. Let k be ((-375)/(-1250))/(1/(-15)). Is k > b?
True
Let g = 1289 + -757. Let c = g + -330. Is c less than or equal to 0?
False
Let f = 0.0049 - 266.0049. Let l = f - -265. Which is smaller: l or 2/291?
l
Let y = -2.421 - -215.421. Which is bigger: y or 1?
y
Suppose 0 = 13*w + 30*w - 104404. Which is smaller: 2426 or w?
2426
Let z = 252 - 356. Let u = -74 - z. Suppose -w = -2*d - 29, w - 19 = -d + 10. Which is bigger: w or u?
u
Let a(y) = -2*y + 14. Let k be a(7). Suppose 0 = 7623*n - 7632*n + 198. Are n and k equal?
False
Suppose -18*v = 3*p - 14*v + 49, -4*p + 5*v - 24 = 0. Which is smaller: -330/31 or p?
p
Let g(l) = 5*l + 50. Let q be g(-9). Suppose -3*u - 2 = -n - 4*n, n = -q*u + 6. Let k(m) = -2*m. Let p be k(-1). Is p bigger than n?
True
Let b be 33/(-2)*(-141180)/1430. Which is greater: 1631 or b?
1631
Let g be (6/(-70))/(1*144/(-64)). Suppose 2*k - 5 = q, 2*q - k - k + 4 = 0. Is q > g?
True
Let n = 31/110 - 24/11. Which is greater: 0.6 or n?
0.6
Let y be -8*3/(6/19). Let z = y + 126. Let o be (-5)/(z/(-48))*120/(-18). Which is bigger: -30 or o?
-30
Suppose -n = 9*d - 4*d - 4, 2*n - 1 = -3*d. Which is smaller: -1/7218 or d?
-1/7218
Let y be ((-4)/(-20))/((-2)/(-50)). Suppose 4*j + y*j = -855. Which is smaller: j or -94?
j
Let m(c) = c**2 - 172*c + 6143. Let f be m(110). Which is smaller: f or -4734/7?
f
Suppose -b = 108 + 117. Let r be b/9 - (-3 - -1). Let n be (-4 + (-76)/6)*(-3)/(-2). Which is smaller: n or r?
n
Let a = -1079689727/8896 - -121368. Is 0 >= a?
False
Let q = 852 - 524. Let u = -220 + q. Is u <= 0.4?
False
Let f(a) = -2*a**2 - a + 60. Let y be f(5). Suppose 390 = y*z + 5*c, 214 = 5*z - 2*z - 2*c. Which is smaller: z or 77?
z
Let j = -430.6 + 431. Let k = 5 + -2. Let r = k + -5. Which is bigger: j or r?
j
Let t(o) = o**3 - 8*o**2 - 14*o + 16. Let n be t(11). Suppose 1197*x + 3*v = 1198*x - 216, -x = -4*v - 213. Is x less than n?
False
Let a = 216 - 68. Let i(j) = -115*j**2. Let d be i(-1). Let p = a + d. Which is smaller: 34 or p?
p
Let a be 5 - (-1)/(-1*(-4)/(-12)). Suppose -25 - 17 = a*d. Let z = d + 1. Is z at most -20?
True
Let z be (-3049)/24520*-1 + (-18 - 2574/(-144)). Which is bigger: 0 or z?
0
Suppose 3*o + 11 = -h, 2*h + 0*o + 5*o + 22 = 0. Let w = -28 - -37/2. Which is greater: w or h?
w
Let v = 53 + 233. Let a = v - -31. Which is smaller: 318 or a?
a
Let p = 15 + -9. Suppose 14 + p = 5*j - 4*x, 0 = 2*j - 2*x - 8. Suppose -3*h = h + 3*q + 4, -4*h = -2*q + j. Is 0 < h?
False
Let n = 275 - 78. Suppose 0 = 2*o + 5*q - 65 + n, 0 = 4*o - 4*q + 208. Let a = -66 + 9. Which is smaller: o or a?
a
Let j be -611 + 14 - 12/(0 - 2). Is -591 bigger than j?
False
Suppose -l + 4 = -3*k, 5*k - 5 = -10. Let g be -5*(l/2)/(25/(-360)). Which is greater: g or 38?
38
Let y be ((-63)/(-35))/(3/5). Suppose 0*z + 61 = 3*z - 5*v, -y*z = v - 31. Let x be 18/z - (1 + 0). Which is smaller: 1/32 or x?
1/32
Let r be 2 + -2 - (-26)/((-468)/54). Which is greater: r or 0.78?
0.78
Let w = 0.06 + 0.94. Let o be 6 - ((-234)/75)/((-123)/205). Is o <= w?
True
Let g = 133007713/570 - 233347. Let b = g - 3/95. Is b <= -2.1?
False
Let t = -4 - -2. Let f = -190660 - -1719452/9. Let g = f + -391. Which is smaller: g or t?
t
Suppose 9*d - 21 = 2*d. Suppose 3*n = -4*k - 15, -3 = -d*k - 3*n - 18. Is -2/231 at least k?
False
Let a be (-23)/((-120428)/(-31317)) + 1*6. Is 0 at most a?
True
Let k = -75.035 + 118.035. Let f be (-40)/22 + 1 + 1. Is k at least f?
True
Let m = -38 - -53. Suppose -t = -2 - m. Let i = 401 - 400. Is i at most t?
True
Let l(p) = -2*p - 65. Let n be l(-31). Let h be (4 + (-44)/12)*n. Is h != 1/342?
True
Suppose 2*d + 8 = 2*p + 40, d - 2*p - 16 = 0. Suppose -25*v - g = -23*v + 1, v - 5*g = d. Which is bigger: 1/698 or v?
v
Let p = -37.365 - 0.435. Let y = 20 + 18. Let t = p + y. Is t != -1.1?
True
Let i = 1/9735 - -23063/2930235. Do i and 0 have different values?
True
Suppose -3*d = -4*m - 1, 3*d - 29 = 2*m - 30. Which is bigger: m or 6/2195?
6/2195
Let v(j) = 5*j + 31. Let r be v(5). Suppose -8*o = -6*o + r. Is o at least as big as -2?
False
Suppose 78*g = -2 + 80. Which is smaller: 1262 or g?
g
Suppose 116*t - 7793 = 18273 - 1242. Which is smaller: 199 or t?
199
Let u = 137 + 20. Let i = u + -155. Which is smaller: i or 1?
1
Suppose k = 4*r - 12, -3*k - 5 - 16 = 3*r. Let s be 6/8 + (5 - 7)/k. Let c be (-2288)/99 + s/(-9)*-1. Which is smaller: -20 or c?
c
Suppose 35 = -140*t + 145*t. Suppose -10*w = -t*w - 276. Let b = -90 + w. Which is bigger: b or 4/3?
b
Let r = -2/450377 + 919648/4254711519. Which is smaller: r or 0?
0
Let m = -620.4 - -694. Let a = m + -76.03. Which is smaller: -0.1 or a?
a
Let w = 368 + -385.7. Let n = 18.3 - w. Is 0.2 greater than n?
False
Suppose 4*l = 7*l - k - 4691, 3*k = -15. Which is smaller: l or 1564?
l
Let x(f) = -2*f**3 + 28*f**2 + 33*f - 51. Let a(q) = -q**2 - 22*q + 38. Let z be a(-23). Let t be x(z). Is t greater than -11?
True
Let r = 175 - -327. Let m be ((-6)/8)/3 + (152 - 151)/(12/6015). Is r < m?
False
Suppose 16*g - 28 - 3 = -15. Is -1/888 smaller than g?
True
Let m be 402/28 - 6352/397. Which is bigger: -4 or m?
m
Let h = -3300 + 3301. Is h equal to -5159?
False
Let y = 23912058997/3440 + -6951180. Let v = 2/43 + y. Which is greater: 0 or v?
0
Suppose z + 3*z = 20. Suppose w = z*c + 92, 4*w = -c - w - 8. Let q = 71.1 - 71. Which is smaller: q or c?
c
Let j = -366 - -364. Let a be -722*4/5840 + j/(-4). Is 0 bigger than a?
False
Let w be -7*11/(-19 + 8) - 10. Which is bigger: -222/71 or w?
w
Suppose 5*j = -2*p + 911, 0*j - j = p - 451. Let w be ((-4)/(-14))/(128/p). Which is smaller: w or 2/549?
2/549
Let t be ((-4)/(-6) - 1)*(25 + -25). Suppose 2*s - 7 = -2*s + 5*i, t = s - 3*i - 7. Let k be ((s/(-26))/(-1))/1. Are -0.1 and k nonequal?
True
Suppose -16*k + 15 + 49 = 0. Suppose -2*v + k*y = -2, -2*v - 2*y = -4*y - 2. Which is greater: 33/34 or v?
v
Let q = -27981/4 + 6996. Suppose a + 42 = -2*a. Which is greater: a or q?
q
Let l = -857 + 514. Let d = -344.2 - l. Which is smaller: d or 24?
d
Let g = 448.319 + -448. Let f = g + -0.119. Is -5 greater than or equal to f?
False
Let x = -381284/609 + 4380/7. Is x greater than or equal to 1?
False
Let g(b) = 7*b - 186. Let a be g(26). Let c be (6/a)/((-82)/492). Is -8 != c?
True
Let x be (1650/1936)/((-8)/6 - 1170/(-756)). Which is smaller: -1/2 or x?
-1/2
Let c(z) = z**3 - 2*z**2 - z + 6. Let d be c(0). Let k(y) = -y**2 - 16 - y + 14*y - 19 + d. Let q be k(7). Which is bigger: 17 or q?
17
Let o = -1979/1121 + 11/59. Which is smaller: 3 or o?
o
Let a be (-21)/(6 - -1) - (5 - 8). Let v(g) = g**3 - 4*g**2 + g + 1. Let c be v(4). Let n be c*((-291)/285 - -1). Are a and n non-equal?
True
Suppose -3*v = 2*k + 2, 10*k - 6 = 12*k + 4*v. Suppose -2 = -2*f - k*s + s, -3*s - 1 = -f. Which is greater: f or 2?
2
Let b be (-7 - (-16638)/620) + (-3)/(-30). Which is smaller: -1 or b?
-1
Let p = -12 - -12.02. Let f = 1551 - 1551.09. Which is smaller: p or f?
f
Let u = 16 - 8. Let m(g) = -3*g - 5. Let x(h) = -h + 3. Let p(j) = -m(j) + 4*x(j). Let z be p(u). Is z less than 9?
False
Let y = 28942 + -28952. Let s = 4 - 3. Let q be 26/6*(-4 + s). Which is smaller: y or q?
q
Let q be -974*(910/(-28))/(-13). Is q bigger than -2434?
False
Let b = -1.944 + 1.964. Let x = -5 - -5. Suppose -4*k = -x*k - 16. Which is bigger: b or k?
k
Let i = -4424 - -654747/148. Is i at least as big as 0?
False
Let j(a) = -a**3 + 19*a**2 + 19*a + 27. Let n = -9 - -29. Let d be j(n). Let k be (-3)/(-2 - 7) - d/(-15). Is 0 >= k?
False
Let o(z) be the third derivative of z**6/120 + 4*z**5/15 + 13*z**4/24 + 5*z**3 - 13*z**2 + 1. Let q be o(-15). Which is smaller: 57 or q?
57
Let s(z) = 5*z - 4. Let l be s(2). Let c be (-55)/22*l/10. Suppose -5*q - 35 = 5*n, q + 0*q = n - 3. Is c > n?
