nt values?
True
Let y = 357 + -273.5. Let k = -83 + y. Is k less than or equal to -1/2?
False
Let u = -614 - -533. Which is smaller: -77 or u?
u
Let h(u) = 8 - 4 + u + 3*u**2 - 6*u - 2*u. Let a be h(4). Let x be ((-3)/a)/(4/(-40)). Which is smaller: x or 0?
0
Suppose 3*x + 21 = -z + 15, -4*x - 8 = -3*z. Is 4/37 <= z?
False
Let d(z) = -3*z - 3. Let h be d(-5). Suppose 0 = t + 2*t + 5*u + h, t - 4*u + 21 = 0. Which is greater: -11 or t?
t
Let n(y) = 4*y**3 + 2*y**2 + 8*y + 10. Let v be n(-2). Suppose -86 = 3*r - g, r + 3*r - 3*g = -108. Is r greater than v?
False
Let n be (2/(-24))/(28/12). Let p = n + 61/140. Let k = 2 + -1. Which is greater: k or p?
k
Suppose 5*g - 49 = 226. Let o be (6 + 1 + -3)/((-11)/g). Which is smaller: o or -18?
o
Suppose 0 = -5*j + 4*j - 3. Let p be j/(2 + 1)*-25. Is 26 > p?
True
Let d = 15 - 25. Let p = -9.3 - d. Does p = -0.1?
False
Let q = -327.6 - -324. Do q and 6/11 have the same value?
False
Let a = -437 - -438. Which is smaller: 1/154 or a?
1/154
Let i = 73 - 84. Is i greater than or equal to -29/3?
False
Suppose -166 + 66 = -n. Let k = n + -5. Is k < 95?
False
Suppose 4*j = 5*j - 13*j. Is j less than -3/46?
False
Let k = -0.51 + 0.01. Let t be (-30)/(-75) - 2913/4420. Let b = 2/221 + t. Which is smaller: k or b?
k
Let x = 305 - 194. Let p = x - 1113/10. Let s = 2 - 3. Which is smaller: s or p?
s
Let m = -692 + 700. Is 20 != m?
True
Let z = 13 + -31. Let g = -21 - z. Let a = -1 - 0. Which is smaller: a or g?
g
Let g = -55 - -60. Suppose k = g*t - 3*k - 215, 2*t - 5*k - 86 = 0. Is 43 > t?
False
Let b be (-20)/1 - (10 + -9 - -5). Which is smaller: b or -35?
-35
Let m be 4/1 + (100 + 4)/(-2). Which is smaller: -146/3 or m?
-146/3
Let d be 2/6*(-8 + 7). Let m be (-20)/(-25) + (-62)/10*9. Let g = 52 + m. Is g at most as big as d?
True
Let x be 2/(-3) + 6/6. Let w(l) = -l - 1. Let k be w(22). Is k greater than or equal to x?
False
Let g be (5 - 8)*9*4/(-498). Let x = -5000/23821 + g. Is x at least 0?
True
Let s = -1/53 + -21/1696. Let c(h) = 2*h + 23*h**2 - 5*h**2 - 11*h**2 - 6*h**2 - 2. Let m be c(1). Which is bigger: m or s?
m
Let t(u) = 22*u + 22. Let v be t(-1). Is 5/38 at least as big as v?
True
Let w = -8/31 - -33/248. Which is smaller: 58 or w?
w
Suppose 0*g + t = -4*g - 4, 2*g - 3*t - 12 = 0. Which is bigger: 40/93 or g?
40/93
Let c = -0.0209 - -2.0209. Which is greater: c or -3?
c
Let p = 3005 + -3004.9. Is -202.2 bigger than p?
False
Let d(u) = 7*u - 8. Let o be d(4). Suppose 4*z = 5*c + o, 3*z = -3*c - 2*z - 12. Let x be ((-3)/c)/((-21)/(-56)). Which is smaller: -2 or x?
-2
Let m be (-2 - 168/(-80))*4. Is m less than 215?
True
Let v = -0.4 - 0. Let s = 32238 - 32242. Which is smaller: s or v?
s
Let w(h) = -2*h + 1. Let p be w(1). Suppose 0 = -u + 5*d - 6, -3*u = 8*d - 3*d - 2. Let s be (-7 + 6 + (-9)/(-8))*u. Are p and s unequal?
True
Let r = -73 + 78. Suppose -x = 5, -d = 4*d - r*x - 25. Which is bigger: d or 15/13?
15/13
Let p = 15 + -13. Suppose 0 = s + 4*o + 17, 0*s + p*s + 3*o = -9. Suppose 4*v = -5*q + 17, s*v - 7 = -2*q + 4. Which is smaller: 1/4 or q?
1/4
Let n be (-10)/4*(-348)/30. Let h = 30 - n. Let u be (14/63)/((-2)/(-15)). Which is smaller: u or h?
h
Let x = 4.62 + -3.7. Let r = x - 0.42. Is 0 > r?
False
Let a = -451 + 467. Is a >= 13?
True
Suppose -216 = -2*i - 2*i. Suppose 0 = 9*x - 27 - i. Is 7 != x?
True
Let f = 100 - 97. Let d be f/6 - (-37)/(-86). Which is bigger: 1 or d?
1
Let p be (8/(-28))/((-3)/21). Suppose p*l + 7 = -25. Let s = l + 14. Is -3 less than s?
True
Suppose j = l - 2*l + 34, 56 = 2*l - j. Which is bigger: 29 or l?
l
Let l(y) be the first derivative of -y**4/4 - y**3 + 2*y**2 - 18. Let a be l(-3). Is -13 less than a?
True
Let d = 13.08 - 13. Let i = d - -1.22. Let s = 1.1 - i. Is -0.03 at most s?
False
Let q(g) = g**2 + 3*g + 2. Let l be q(-3). Suppose 0 = 5*o + 5*a - a + 19, 10 = -l*o - 4*a. Let w be (3 - (o + 6))/(-1). Is w greater than or equal to 3?
False
Suppose 31 = 3*n - 23. Suppose 0 = -5*k + 93 + 362. Suppose -5*g = -3*x - 80, -4*x + x = 4*g - k. Is n greater than g?
False
Suppose -6 = -3*j - 3*g, 5*j - 19 = -g - 13. Let d = -65 + 38. Let a = d + 133/5. Which is smaller: a or j?
a
Suppose -2*d - 2*i - 182 = 0, 266 = -3*d - 4*i - 5. Which is bigger: -95 or d?
d
Suppose 398*r - 2220 = 403*r. Is r less than -444?
False
Let f = -54 - -57. Let j = -0.01 + 0.21. Is j at least as big as f?
False
Let b be (5/(20/(-12)))/(-3). Let d be (-24)/(-20)*8/(-64). Is b less than or equal to d?
False
Suppose -4 = -2*j - 30. Let k = 6/551 + -22609/1653. Is k equal to j?
False
Suppose 0 = 3*i - 4*u + 26 - 0, 5*u = -5*i - 20. Let c be -1 + i/10 + -1. Let b = -8 + 6. Which is smaller: c or b?
c
Let d = 19 - 36. Let n = 29 + d. Let y = -3 + 2.9. Is n equal to y?
False
Let l = -464 - -4180/9. Which is smaller: l or 1/6?
1/6
Let x(l) = 6*l - 2. Let q be x(-2). Let s be (-21)/q + 2*(-3)/12. Let r = 1 - 0. Is s smaller than r?
False
Let y = 0.3 + -0.4. Let x = -5292 + 15877/3. Is y at least x?
False
Suppose 2*d - 4 = 98. Let p = 563/11 - d. Which is smaller: p or 0?
0
Suppose 5*b - 179 = 3*a - 0*a, 3*a = -4*b + 127. Suppose r - 2*n = -r + b, -r = -3*n - 23. Do r and 13 have different values?
True
Let j = -324 + 238. Which is smaller: j or -4?
j
Let p be 1/(((-25)/(-365))/(-5)). Which is bigger: p or -74?
p
Suppose 3*h + 3*m + 4 = 10, h + 10 = 5*m. Are h and 2/273 equal?
False
Let i = 22 - 21.92. Let g = 1.08 - i. Let f = -172/3 - -60. Which is greater: f or g?
f
Let y(z) = -8*z**3 - 4*z**2 + 5*z + 18. Let j(c) = -9*c**3 - 5*c**2 + 6*c + 17. Let g(l) = -6*j(l) + 7*y(l). Let r be g(0). Is 24 at least as big as r?
True
Let i be (-4)/(-1*(-1)/(-2)). Let w(b) = 0*b**3 - 4*b**3 + 7*b**2 + 5*b**3 + 10 - 2*b**3 + 7*b. Let k be w(i). Which is smaller: 8/3 or k?
k
Let n be 556/12 - (-4)/6. Suppose -5*s - n = -2*p, -4*p + 67 = -0*s - s. Suppose 6 + 9 = y. Is p <= y?
False
Let w = -8 + 13. Suppose -2*a + 2*u + 3*u + 29 = 0, 0 = -5*a - w*u - 15. Let z be ((-1)/(-2))/((-3)/(-9)). Which is smaller: z or a?
z
Let x = 16 - 15.8. Let j(c) = c - 4. Let l be j(4). Suppose 2*a - 24 = -2*a + 2*s, -5*a + 5*s + 40 = l. Which is greater: x or a?
a
Let i be 12/(36/(-21)) - -377. Which is greater: i or 371?
371
Let s(p) = -2*p**2 - p - 1. Let r be s(0). Let w be (-16)/14 + r + 2. Let u be -2 - 2/((-6)/9). Which is smaller: u or w?
w
Suppose -y - 7 = 1. Let a(d) = -d**2 + 14*d - 18. Let q be a(13). Which is smaller: y or q?
y
Suppose 3*l + l - v = 61, -43 = -2*l + 3*v. Which is greater: l or 3?
l
Suppose -2*h - 18 = 2*u - 16, 5*u + 12 = 2*h. Let s be -1*1/u*(-3)/6. Which is greater: s or 0?
0
Let y = 338 + -436. Which is smaller: y or -100?
-100
Suppose l = -4*l - 20. Let f be l/(-8) + (-3085)/154. Let y = f - -138/7. Which is bigger: y or 0?
y
Suppose -4*c + 10 = -2*f, 5*c - 4*f + 0*f = 5. Suppose c*z - 7 = 8. Suppose 18 = n - z*n. Is -10 >= n?
False
Let l = -3 - -2. Suppose -3*w - 20 = -2*p, -4*p + 2*p + 16 = -2*w. Suppose -2*u + 2*i + 2*i - 16 = 0, 8 = -p*u + 2*i. Which is bigger: u or l?
u
Let u = -34 + 49. Let n be u/12*3/(-5). Which is greater: n or 1?
1
Let l be (29 - (-3 + 2))*7/21. Suppose h + l = -5*m, h = 4*m - 0*h + 17. Is 10 greater than m?
True
Let t be 2/(15/13 - 1). Let n be (30/(-14))/(-5) - 16/(-28). Which is bigger: t or n?
t
Suppose -6*v - 505 = -157. Do v and -58 have the same value?
True
Let b(v) = -v**2 - 3*v. Let r be b(0). Let d be (r - -2) + -4 + -2. Do d and -4 have the same value?
True
Suppose -49*v = 52*v. Are v and 16/39 equal?
False
Suppose 101 = 5*n + 41. Suppose -k + 2*k - 2*u = -6, -k = 3*u - 14. Suppose -6*x + k*x = -n. Is x < -2/3?
False
Let y be 700/16 - 3/(-12). Let v = 45 - y. Is 1 >= v?
True
Let x be (-162)/54 + -6*(-122)/260. Are x and 1 non-equal?
True
Let t = -12 + 18. Let z = t + -7. Let a = 6.05 + -0.05. Is z equal to a?
False
Suppose 18*y = 22*y + 16. Let c be y/(145/(-25) - -5). Which is smaller: c or 10?
c
Suppose -5*p = 37 + 68. Let d be (1/(54/20))/(-20 - p). Which is greater: d or -1?
d
Let x(d) = -2*d**3 + 36*d**2 - 36*d + 29. Let y be x(17). Is y at least 0.3?
False
Let r = 2 + 3. Let v be (-4)/(-10) - (-18)/r. Which is smaller: 5/2 or v?
5/2
Let x = -9476 + 9475. Let i = -37 + 12. Which is bigger: i or x?
x
Let l = -549.9 - -550. Do -0.081 and l have the same v