 is smaller: -1 or l?
-1
Let r = -627 + 626.24. Which is smaller: 0.1 or r?
r
Let a = 13.5 - 15.5. Are a and 23 non-equal?
True
Suppose -h - 2*h - 4*g - 15 = 0, 5*g = 15. Let f be 1/((h/(-30))/(-3)). Let s = f - -12. Is s at least 3/2?
True
Let p = 28 + -4. Let j = -9 + p. Suppose 45 = -f + 4*f. Is j greater than f?
False
Suppose 30 = 4*v - 10. Let k be 5/v - 6/9. Which is greater: -1 or k?
k
Let n = -119 + 121. Let g be (-46)/4 + n/(-4). Which is smaller: -9 or g?
g
Let v be 68/85*55*1. Suppose 7*n = 61 + v. Let u be (-1)/(-1*1/n). Do u and 15 have the same value?
True
Suppose -2 = f - 1. Let b be (f + 2)/((-1)/(-1)). Let r = b - 12. Which is greater: -10 or r?
-10
Let u(l) = l**2 + 5*l - 3. Let n be u(-3). Suppose 3*r = -5*h + 590, r = -5*h + 3*r + 615. Suppose h - 166 = 5*k. Do n and k have the same value?
True
Let a = -27.3 + 29.9. Which is smaller: 0.2 or a?
0.2
Suppose f = 8*f - 70. Let y be (16/(-30))/((-4)/f). Is y at most as big as 6?
True
Suppose -5*w + 23 - 178 = 0. Which is smaller: -19 or w?
w
Let k = -199 - -197. Which is smaller: k or -44/17?
-44/17
Suppose 0 = 5*g - 63 - 32. Which is bigger: g or 12?
g
Suppose 0*a + a = -3*r + 11, 0 = a + 4*r - 15. Let d be (-1)/(-4 - 86/(-22)). Let k = -29 + d. Which is smaller: k or a?
k
Let f = -233 + 163. Which is smaller: 0.2 or f?
f
Let y = 0.26 - 15.26. Let r = 15 + y. Let m = -6 - -16/3. Which is smaller: r or m?
m
Let s = 6.6 - 2.3. Let y = -5.3 + s. Which is greater: 0.2 or y?
0.2
Let r = 292 - 302. Suppose t = 3*j - 3*t + 19, -3*t + 39 = -5*j. Is r less than or equal to j?
True
Let h be (-5)/(8 + -6 - (-3)/(-1)). Suppose 2*g - 90 = -5*p, p + 2 - 20 = -h*g. Are p and 19 nonequal?
True
Suppose 5*r = 20 - 30. Let s be (2/r)/(2 - (-255)/(-130)). Which is bigger: -27 or s?
s
Let z = -55.9 + 83. Let o = z + -27. Is -25 at least as big as o?
False
Let n = 0.07 - 8.07. Let v = n + 7.9. Let g = -204 - -226. Which is smaller: g or v?
v
Let j = 16/259 - 54227/1554. Is j smaller than -34?
True
Suppose 4*l = 7*d - 2*d - 51, 3*d + 4*l = 5. Is d at least -4?
True
Let u be (-2923)/(-119) - (147/7)/(-147). Which is greater: 25 or u?
25
Let g be 3*(4 - 1) + 1. Let l be (34 - g) + 8/(-2). Let f be (-2)/l*(8 + -2). Are -2 and f unequal?
True
Let l = 7779809/567 - 13721. Which is smaller: -1 or l?
-1
Let o(s) = -14*s - 21*s + 17 + 36*s. Let z be o(-15). Is z smaller than 8?
True
Suppose 17*u - 2123 = 2382. Is u at most 265?
True
Let q(a) = -34*a**3 - a**2 + a + 1. Let r be q(-1). Let y = r + -20. Is y at least 11?
True
Let y = 2.23 + -2.32. Which is smaller: y or 7?
y
Let m = 4 + 10. Let a = m + -15. Let b = -8443/177 + 143/3. Which is smaller: a or b?
a
Let m(j) = 2*j**3 - 4*j**2 + j + 2. Let f(o) = o**3 - 9*o**2 + 2. Let k be f(9). Let b be m(k). Suppose -3*l - 15 = -b*d, -4*l - 15 = 2*d - l. Is -4 equal to d?
False
Let v = 7038 - 91732/13. Are -18 and v non-equal?
True
Let h be 5 - 2/1 - 5. Let f be 68/11 + h - (-6 - -10). Do 4 and f have the same value?
False
Suppose -4*s = -2*s - 10. Suppose 18 = 2*b - q + s*q, -4*b + 4*q = 12. Is b greater than or equal to 2/31?
True
Let q = 60 + -55. Suppose q*y - 5*y - 5*y = 0. Which is bigger: y or 3/5?
3/5
Let p = 6.6 + -6.4. Which is smaller: p or -142?
-142
Let s(x) = x**2 + 6*x - 390. Let k be s(-23). Is k greater than or equal to 7/227?
True
Let m = -9 - -14. Suppose b = m*b - 12. Suppose -2*t + 2*c = 4, b*t = -3*c - 1 + 7. Which is greater: t or 2/17?
2/17
Let z be 5623/126 + 20/(-90). Let o = z + -11/6. Let l = 9245/217 - o. Which is greater: l or 1?
1
Let q(m) = -56*m**3 + 3*m**2 + m - 1. Let b be q(-1). Let j = b + -53. Which is smaller: j or 5?
j
Let x be (-1195)/(-478)*(0 + 56). Is x bigger than 139?
True
Let z = 0.7 + -0.73. Let g(v) = v + 5. Let n be g(-5). Suppose -7*o + 5*o = n. Is z greater than o?
False
Suppose -d - 4 + 5 = 0. Let r be -2 - (687/52 - -2). Let v = -67/4 - r. Is v greater than or equal to d?
False
Let s(o) = -4*o - 2. Let r be s(1). Let w(p) = p**2 + 8*p + 2. Let h be w(r). Suppose 2*v + 4*l + 6 = -28, -4*v = 4*l + 48. Which is bigger: v or h?
v
Suppose -11 - 34 = -9*j. Suppose j*y + 2*b = 13, -3*b + 15 = 5*y - 2*y. Is 2/17 equal to y?
False
Let w = 1099/3 - 367. Which is smaller: w or -295?
-295
Let o(c) = -c**3 - 9*c**2 - 9*c - 8. Let k = 16 - 24. Let d be o(k). Let h be 2/6 - 10/42. Are h and d non-equal?
True
Let h = -406 + 299. Which is greater: 7 or h?
7
Suppose -101 = -3*k + 31. Let r be k/(-16) + (3 - 0). Are r and 3 equal?
False
Suppose 3*w = 5*c - c - 36, 2*c = -3*w. Let i be (-11)/(-2)*(c - 2). Let o = i - 67/3. Is 0 >= o?
True
Let s be 4/(-50) - (448/(-1950))/8. Is s bigger than -2/15?
True
Let g = 49 + -19. Let z = 9 - -20. Let j = g - z. Are j and -25 nonequal?
True
Let n be (-5)/(-2) - 185/74. Is n equal to -58/21?
False
Suppose -11*j = -3*j. Suppose s + j*w = 4*w + 6, 14 = -4*s - 3*w. Which is smaller: -5/3 or s?
s
Suppose -94 = 5*t + 26. Let f = -24 - t. Let m = -13 - -3. Is f equal to m?
False
Let t = -4 + -4. Let b be (-6)/(-3)*(9/30)/3. Is t smaller than b?
True
Let h(i) be the second derivative of i**3/6 + 29*i**2/2 - 39*i. Let s be h(3). Is 32 at most s?
True
Let w(u) = u**2 + u - 12. Let p be w(4). Suppose 0 = 2*i + z + 4, 4*i - 5*z - p = 2*i. Which is smaller: i or 6/5?
i
Let g = 225.6 - 225.4. Which is smaller: -1/47 or g?
-1/47
Let l be (-12 + 10)*-1*2. Let i = -61 + 58. Are l and i unequal?
True
Let i = 9 - 9. Suppose i = x + 2*x - 18. Suppose 0 = 2*l + 5*f + 12, -5*l + 5*f = -x + 1. Are 1 and l nonequal?
True
Let q(z) = -z**3 + 2*z**2 + 6*z + 4. Let f be q(4). Let g be 3 - 1*2/f. Which is smaller: 4 or g?
g
Suppose 1 = -3*g - 0*g + q, -5*q = 25. Let s = -220 + 1315/6. Is g greater than s?
False
Let k = -92 - -97. Let b be ((-251)/55 + k)*2/(-8). Which is greater: -1 or b?
b
Let l = 0.84 - -0.96. Let z = -7 + 6.9. Which is smaller: z or l?
z
Let w be (2 - (-3)/(-2)) + 91/26. Suppose -3*u - 5*s = 38, -w*u + s - 104 = -3*s. Which is smaller: -24 or u?
-24
Suppose 11*m - 13*m + 40 = 0. Is 250/13 at most as big as m?
True
Let g = -0.047 - 0.793. Let c = -0.44 - g. Is c < -0.1?
False
Suppose 0 = 4*o + 4*k + 4, 0*k = 2*o - 4*k - 4. Suppose 0*r = p - 5*r + 76, 0 = 5*p + r + 250. Let w be (-8)/26*p/(-68). Is o smaller than w?
False
Suppose 5*x - 3 = 2*w + 2, -4*x = -w - 4. Which is smaller: 3/17 or w?
w
Let z be ((-22)/(-36))/1 - (-3)/(-6). Suppose -6*q + 9 = -3*q. Suppose 0 = q*u - g + 4, 2*u + 2*g - 5 = 3. Which is greater: z or u?
z
Let f = -24118/35 + 689. Let d = -0.2 + -0.8. Which is smaller: d or f?
d
Suppose -4*b - 5*v - 15 = 0, 4*b - 6 = 2*v - 0*v. Let u = -110/10679 + 8/181. Is u smaller than b?
False
Let l = 1599 - 367773/230. Which is greater: 0 or l?
0
Let q(c) = 25*c - 9. Let j be q(1). Is 14 smaller than j?
True
Let b = -506 + 3559/7. Which is smaller: b or 1?
1
Let y = -17094.3 - -17094. Let o = 0 + 0. Let b(p) = -p**2 - 2. Let q be b(o). Are y and q equal?
False
Let m = 36/29 - 1346/1131. Let z = 2 - -1. Let w = 3 - z. Which is greater: w or m?
m
Let c = -0.1055 - -0.1055. Is -37.7 > c?
False
Let p = 75.952 - 76. Let u = -0.048 - p. Which is greater: u or 13?
13
Let m(j) = 97*j - 15. Let b be m(19). Which is greater: 1829 or b?
1829
Let k = -20 - -10. Let x be 4/k + 276/15. Let d be ((-10)/105)/(1/x). Is d > -2?
True
Suppose h = 2*h - 4*j + 11, -4*j = 4*h + 104. Let z = 24 + h. Let t = -6 - -49/8. Which is smaller: z or t?
t
Let t be (2 - 0)*(-10)/(-36). Suppose -7*z + 6 = -1. Is t less than z?
True
Let j = 75.3 - 75.4. Which is bigger: -117 or j?
j
Let i = -4.7 + -1.3. Let c = 34.81 + -34. Let l = c - -0.19. Is i < l?
True
Suppose 3*a - 319 = -6*g + 10*g, -2*g + 5*a - 149 = 0. Which is bigger: -79 or g?
-79
Let p(f) = 2*f**2 + 3*f - 10. Let x be p(-6). Suppose 4*v = -3*j - x, 5*j + 36 = 16. Which is greater: -9 or v?
v
Suppose -3*a - 6 = -0*h - 3*h, -5*h - 22 = 3*a. Let z be 8 + -7 + 1 + -7. Let q = z + 1. Is a at most q?
True
Let s(w) = 11*w + 4. Let b(n) = 7*n + 3. Let h = 11 - 6. Let c(q) = h*s(q) - 8*b(q). Let r be c(4). Which is greater: -6 or r?
-6
Let p(l) = l**3 - 9*l**2 - l + 10. Let u = 81 + -72. Let f be p(u). Let b be ((-1)/(-2))/((-23)/4). Which is greater: b or f?
f
Let r be (-110)/(-6) + (-2)/6. Let z = 24 - r. Is z at most 6?
True
Let m = 1.5 - -0.5. Let w be ((-18)/(-21))/