 be 57/126 - (-1)/s. Does -0.1 = z?
False
Suppose -5*m + 0*n = n + 1901, m + 378 = 2*n. Let p be -4*2/m*5. Which is greater: p or -1?
p
Let m = -0.33 - -1.07. Let d = 0.729 - m. Which is smaller: 1 or d?
d
Let i(l) = -2*l**3 - l + 1. Let o be i(1). Let c be ((-4)/12)/(o/48). Does 8 = c?
True
Let y = -4.5 + 4.6. Is y less than -22?
False
Suppose 5*b = -0*k + k + 97, -312 = 4*k - b. Is k less than -77?
False
Suppose -v - 2*v = 2*v. Is v != -2/297?
True
Let k be 3 - 1 - (-108)/99 - 4. Is k equal to -2?
False
Let h = -0.342 - -1.342. Which is bigger: 37 or h?
37
Let n = 0.306 - 0.106. Let s = 3.7 - -0.3. Is n at least s?
False
Let l = 303009 - 71813455/237. Let k be 3*-1*2/237. Let a = k - l. Which is bigger: a or 0?
a
Let m = 3 - 1. Suppose 3*v - 45 = -m*v. Is 8 not equal to v?
True
Let l be 205/225 - (30/(-6) + 6). Let q = 0 + -1. Is l at most as big as q?
False
Let w = 4512 + -22948/5. Which is smaller: -78 or w?
-78
Suppose q - 2*q - 10 = 0. Let l = q + 9. Let p be (-6)/(-48)*8/3. Which is smaller: p or l?
l
Let k = -194 - -220. Let q = -3262 + 3288.13. Let l = k - q. Is l at least -0.1?
False
Suppose 2*i - 3*b - 100 = 0, 0 = -36*i + 39*i + 5*b - 112. Suppose -2*p = -4*o - 92, o = -6*p + p + 219. Is p less than or equal to i?
True
Let a = 646667311/1507681 + 3896/51989. Let u = a + -429. Let j = u - 380/2639. Which is bigger: j or 0.2?
0.2
Let o = -1067/2888 - 2/361. Which is bigger: 3/13 or o?
3/13
Suppose -4*l + 4*p + 18 + 14 = 0, 5*l - 4*p = 45. Let s = 11 + l. Let i = 0.862 + 0.138. Is s >= i?
True
Let g be (2 - 1500/752)/((-209)/114). Which is greater: g or 1?
1
Suppose 15*b = -3330 + 3345. Let r be 21/18*(-2)/(-14). Which is bigger: b or r?
b
Let u = -27 + 0. Let z = u - -18. Which is greater: -10 or z?
z
Suppose 3*n = 2*p - 321, 4*p = 5*n - 4*n + 627. Which is greater: p or 157?
157
Let r(x) = x**2 - 6*x - 4. Let p be r(3). Suppose -3*m - 37 = -k, 0 = -334*m + 337*m - 2*k + 35. Is m greater than p?
False
Let j be 3/(423/2)*9/(-5). Which is bigger: j or 1?
1
Let m be 6*1/2 - 2. Let z = 649/12 + -54. Which is greater: z or m?
m
Let n be (-1 + 463)/(5 + (-35)/10). Is n > 309?
False
Suppose -3*g + 4 = -g. Let b(u) = 2*u**3 + 9*u**2 + u - 9. Let d(r) = -2*r**2 - 10*r + 8. Let c be d(-6). Let k be b(c). Which is bigger: g or k?
k
Let b = -50 + 48. Let o be b/7 + 1891/8897. Is o greater than 0?
False
Let d = 92.2 + -101. Let a = -8.7 - d. Is a less than 14?
True
Let f be (-873)/252 + -2 - -5. Which is smaller: f or 0?
f
Suppose z + 157 = 4*s + 13, 0 = -3*z - 4*s - 480. Which is bigger: z or -157?
z
Let k = 219798/53 + -4146. Which is bigger: k or 1?
k
Suppose 5*o = 8*o - 2*x + 3, 2*o + 4 = 2*x. Is 201 equal to o?
False
Let y = -180 + 90. Let b = 95 + y. Which is greater: -2/19 or b?
b
Suppose 2*d - 4*b - 73 = 7, d + b = 28. Which is smaller: d or 197/6?
d
Let u be (126/315)/((-14)/(-10)). Which is greater: 39 or u?
39
Let f(a) = 6*a - 4. Let t(u) = 35*u - 23. Let d(j) = 34*f(j) - 6*t(j). Let q be d(1). Is -4 less than q?
False
Let b = 42 + -42. Which is smaller: b or 3/11?
b
Let q(h) = -4*h - 5. Let v(z) = 5*z + 6. Let r(l) = -6*q(l) - 5*v(l). Suppose -70*k + 6 = -68*k. Let g be r(k). Is g != -3?
False
Let s be (-1)/24*2*-3. Let p = 225 - 1577/7. Which is smaller: s or p?
p
Suppose -32 = 2*w - 10*w. Suppose -19 = 3*l + w*b, 3*l - b + 6*b = -23. Which is greater: l or -2/29?
-2/29
Let u(w) = -2 + 35 + 7*w - 3*w**2 + 7*w + 2*w**2. Let f be u(16). Let k = -15/14 + 103/70. Is f < k?
False
Let z = 0 + 5. Suppose 0 = -2*x - 5*r - 4, -z*x = -0*r - 4*r - 56. Suppose -11*i = -9*i - x. Do i and 1 have the same value?
False
Let i = -66 - -16. Let g = i - -26. Which is smaller: 0 or g?
g
Let u = 9198/5 - 175492/95. Which is bigger: u or -9?
u
Suppose -9*z + 7*z - 18 = 0. Let y be ((-4)/10)/(z/(-30)). Let n = 2 + -2.1. Is n smaller than y?
False
Suppose -3*u + 137 = 5*f, 0 = u + 13*f - 9*f - 48. Does u = 213/5?
False
Let b = 1.41 - 1.3. Let u = 0.79 + b. Let f = 0.7 - u. Is f less than or equal to -1?
False
Let q = 476 - 329. Which is smaller: 146 or q?
146
Let s = 61 - 55. Suppose s*o + 14 = -4. Are o and -2 equal?
False
Let p be (-10*5/(-10))/(7/3). Do p and -0.1 have the same value?
False
Let v(u) = -u**2 + 7*u - 6. Let c be v(5). Suppose -c*h + 7*h = -18. Let k = 216 + -221. Is h less than or equal to k?
True
Suppose q = -40 - 102. Is -142 smaller than q?
False
Let m(j) = -j**3 - 7*j**2 + 34*j + 5. Let x be m(-10). Is -35 less than x?
False
Let y = 10.36 + 58.44. Which is smaller: 1 or y?
1
Suppose 4*z - 172 = -5*g + 111, -4*g + 228 = 4*z. Let p = g - 40. Which is smaller: 14 or p?
14
Suppose -3 + 9 = -3*i + 3*z, 0 = -4*i + 2*z - 12. Let w be (i/(-6))/(56/16). Are 1 and w equal?
False
Let t = 35/3 + -499/42. Let b(r) = r**3 - 6*r**2 + 5*r - 4. Let g be b(5). Let q be (2/(-4))/(g/8). Which is bigger: q or t?
q
Let n = 18.6 - 17. Let t = 2.59 - 0.79. Let w = n - t. Which is smaller: -1/8 or w?
w
Suppose 0 = -5*h - 2*n - n + 3521, -2*h = -n - 1404. Let d = h + -16172/23. Is d less than 1?
True
Let r(d) = -d**3 - 10*d**2 - d - 18. Let h = -20 - -10. Let b be r(h). Which is smaller: -46/7 or b?
b
Let s be (-16)/(-3) - (-4)/(-3). Suppose -s*j - 3*h = h - 20, 2*j = -h + 10. Suppose 0 = -0*i + 5*i - j. Is 1 at most i?
True
Let v = 5 + -2. Let h be v/12 - (-2)/(-8). Let q be (-4)/16 + (-58)/(-40). Which is greater: h or q?
q
Let z(p) = -p**3 + 17*p**2 + 33*p + 37. Let f be z(19). Which is smaller: -770/13 or f?
-770/13
Let w(r) = r**2 - 4*r + 1. Let f be w(4). Let o(y) = -y**2 - 50*y - 1. Let x be o(-50). Is f >= x?
True
Suppose 2*a = -3*r, -4*r + 0*r = 5*a - 7. Suppose h + 26 = -4*h - a*n, -3*n = h - 2. Let z be (-2)/(-7) + 51/(-7). Is h less than z?
False
Let z = 87 + -781/9. Let m = 7.5 - 7.5. Which is bigger: m or z?
z
Let y(m) = 13*m**2 - 6*m + 13. Let g be y(2). Is g <= 55?
True
Let w = -1 - 1. Let r = w + 0. Let b be ((-18)/(-16))/(((-195)/20)/(-13)). Which is greater: r or b?
b
Let x = 3 + -4. Suppose -a = 2*a - 18. Let k be (8/21)/(a/(-9)). Which is bigger: x or k?
k
Suppose -13 = 25*x + 12. Do x and -38/21 have the same value?
False
Let a = -30018 - -30017.98. Suppose -4*t = m - 5, 5*t - 3*m = -m + 16. Let h = t - 1. Which is greater: h or a?
h
Let z(m) = 26*m + 6. Let y(s) = 51*s + 11. Let x(h) = 3*y(h) - 5*z(h). Let i be x(-1). Is i at least -20?
True
Let u = -6 - -6. Suppose u = -5*x - 15 - 0. Let p(l) = l + 5. Let m be p(-5). Which is smaller: x or m?
x
Let x = 2/161 - 2749/966. Let u(o) = -o**2 - 4*o + 1. Let g be u(-5). Which is smaller: g or x?
g
Let j = 3251/770 - -7/110. Let r(q) = q**3 - 11*q**2 + 11*q - 5. Let f be r(10). Is f > j?
True
Let m = 62 - 62.09. Let j = m - -0.1. Which is greater: j or -0.02?
j
Let y(i) = 28*i - 1. Suppose 0 = 2*q + g, 4 - 3 = q + g. Let j be y(q). Is j > -29?
False
Let o = -302 - -817. Let v = o - 2586/5. Is v bigger than -2?
False
Let m(y) = 2*y + 25. Let o be m(-8). Let k be ((-4)/6)/((-6)/o). Let u = -10 - -15. Which is greater: u or k?
u
Let c be (4/6)/((-1)/(-15)). Suppose 0 = 4*r + 2*u - 46, -r - 68*u - 6 = -64*u. Which is smaller: r or c?
c
Suppose 3*r = -9*r + 588. Let x be 54 - (4/4 - -3). Which is smaller: x or r?
r
Let i = 468/5 - 94. Suppose 0 = n - 2. Let k be (-2*(-2)/8)/n. Which is bigger: i or k?
k
Let o be (-62)/5 + (-10)/(-25). Let j be 3/15 - o/(-35). Let y = 1/2 - 1/6. Is j bigger than y?
False
Let k be (0 + 9)/(2/6*3). Let x be (16 - 6)*(-1)/k. Suppose -2*g - 3 - 1 = 0. Which is smaller: x or g?
g
Let q(h) = -1. Let x = -5 + 6. Let b(n) = n**2 - 15*n + 5. Let l(w) = x*b(w) + 5*q(w). Let m be l(15). Which is smaller: 2 or m?
m
Let h be (-36)/12 - -10 - 621/93. Is h <= 10?
True
Let h(d) be the third derivative of d**5/60 + 5*d**4/12 + d**3 + d**2. Let y be ((-20)/((-2)/(-1)))/((-10)/(-10)). Let c be h(y). Which is smaller: 5 or c?
5
Let f = 2477/45 + -55. Is f <= -1?
False
Let y = 17 - 5. Suppose -3*h = 2*r + 2 - 5, y = 4*r. Let i be (h/(-3))/(11/33). Is i <= -2/15?
False
Suppose -v - 3*l + 6*l = 34, 4*v + 3*l + 91 = 0. Which is greater: -37 or v?
v
Let i = -4076/351 + 150/13. Does -1.3 = i?
False
Let m = 50.4 - 49. Which is bigger: -2/5 or m?
m
Suppose 12*l - 23 = -11*l. Is l > 0?
True
Let v = 403 + -407. Are 0.1 and v non-equal?
True
Let z = 4.52 + -2.52. Suppose -d + 2*f + 2 - 4 = 0, -