 (-2)/(-10). Are v and -1 equal?
False
Let o = -1861 - -1866. Is o > -2.5?
True
Let a = 21/4 - 27/4. Let p(y) = 3*y**2 - y - 15. Let h be p(-2). Is h less than or equal to a?
False
Suppose -2*u = l - 6*l + 101, 4*u - 2*l = -194. Let a be ((-1)/2)/(8/u). Suppose 0 = a*p - 2 + 8, 5*c - 3*p - 6 = 0. Which is smaller: -3/17 or c?
-3/17
Let p = 27 + -72. Let g be (-1)/(3/(p/3)). Suppose 0 = 2*f - 3*f - g. Which is bigger: f or 2/5?
2/5
Let w(p) = -p + 8. Let y be w(7). Suppose -i - y + 2 = 0. Let x = -2306/3 + 770. Which is smaller: i or x?
i
Suppose 1 = 4*k + 5. Let d = k - 4. Which is bigger: -2 or d?
-2
Let b = -0.06 + 0.3. Let m = b - -1.76. Let f = m + -11. Is 0 <= f?
False
Let g = 16 + -23. Let u = 79 + -81. Does g = u?
False
Suppose 0 = -90*z + 99*z + 252. Are -27 and z equal?
False
Let f(y) = -30*y - 169. Let o be f(-7). Which is smaller: 42 or o?
o
Let c = 40.9 - 10. Let w = c - 31. Is 2 >= w?
True
Let g be 28/(-18)*(-18)/(-24). Let f(h) = h**3 - 12*h**2 + 19*h + 8. Let w be f(10). Which is bigger: g or w?
g
Let i = 217 + -290. Which is smaller: i or -72?
i
Suppose 32*k = 533 - 181. Is 71/7 < k?
True
Let r(v) = 19*v - 11. Let x be r(2). Let q = -29 + x. Is 1 greater than q?
True
Let u(r) = r**3 - 30*r**2 - 24*r - 106. Let i be u(31). Do i and 111 have the same value?
True
Let g be ((-2)/4)/1*-4. Let r(d) = -2*d**g + 6*d**2 + 22 + 3*d**2 - 8*d - 8*d**2. Let k be r(-10). Which is smaller: 7/8 or k?
7/8
Let w be 0/(0 - (-2)/(-2)). Let r = -667643/49 + 13626. Let k = r - 3/49. Which is bigger: k or w?
k
Let l be (-7)/5 + (-4 - -5). Suppose 0 = -h - 3 + 7. Suppose 2*d - 10 = -0*d - 2*s, -20 = 3*d - h*s. Is d greater than l?
True
Let t = -0.9 + 3.9. Is -3 <= t?
True
Suppose f - 34 = s + 34, s = -f + 68. Suppose -14*r = -10*r + f. Is r > 2/9?
False
Let s(q) = -q**3 - q**2 - 2*q - 2. Let a be s(-2). Suppose -7*r = -a*r - 40. Let p be -6*28/r - -4. Which is smaller: p or 1?
p
Let h = 14 + -14. Let w be -1 + 9 + (-2 - h). Let p be ((-18)/21)/(12/(-63)). Are p and w equal?
False
Let r(i) = -4*i + 20. Let x be r(8). Let b be 3/7*x/(-54). Which is smaller: 0 or b?
0
Suppose 3*j = b + 50, -2*j - 17 + 67 = -4*b. Which is greater: 210/13 or j?
210/13
Suppose 10*i - 5*i - 20 = 0. Let y be (-4)/(-10) + 19994/65. Let c be 2/(-4)*y/(-49). Which is bigger: i or c?
i
Suppose -2*m = -1 - 1. Let s be (-15)/(-10) - 562/(-4). Let u be s*2/(-72) - -4. Is m bigger than u?
True
Let k = -54 + 34. Which is bigger: 2 or k?
2
Suppose -12*b + 26 = -46. Let c be 241/(-3) - (-4)/(-6). Let n be (c/b)/(-9)*-6. Is n smaller than -9?
False
Let a = 11 + -7. Suppose 7 = -4*k + 3, -q = -a*k - 5. Are q and 1 equal?
True
Suppose -5*f + 9*o + 190 = 7*o, -225 = -5*f - 5*o. Is f at least as big as 2?
True
Let s be 0/(3/12*8). Is -2/53 bigger than s?
False
Suppose 2*k - 7*k = 0. Let o be 15/10 + (-537)/366. Does k = o?
False
Suppose 0*z + z + 8 = 0. Let h(u) = 2*u + 6. Let m be h(-4). Let n be m - 0 - (-5 - -10). Is n less than z?
False
Let s(y) = -y**3 + 5*y**2 - 4*y + 9. Let m be s(3). Suppose -u = -0*i - i + 5, -4*u + 3*i = m. Which is greater: 1/14 or u?
1/14
Suppose n - 3 = 0, 5*p = 4*n - 3*n - 38. Which is bigger: p or -25/3?
p
Let w = 13.32 - 13. Let h = w - -16.68. Let a = 17.2 - h. Is a <= 0.3?
True
Suppose -3*v - 27 = -54. Let o(t) = -t**3 + 9*t**2 - t + 1. Let j be o(v). Which is bigger: j or -0.2?
-0.2
Let g = 89751538402/235 + -381922980. Let x = -1540 - g. Is x bigger than 0?
False
Suppose 12 = 2*q - 4*q. Let y be -3*q/(-9)*-1. Is y greater than or equal to -2?
True
Let l be 4/(-18) - 10370/(-90). Let y be 6/(-15) - l/(-100). Which is smaller: 2 or y?
y
Suppose 11*s + 22 = 9*s. Let i(n) = -n**2 - n + 20. Let c be i(4). Is s not equal to c?
True
Let b = 22.11 - 0.11. Let n = b + -21. Does n = -4/5?
False
Let p(t) = -8 + 6 + 6*t - 5 - 6*t**2 + t**3. Let v be p(5). Let r be (-2 - (2 - 2)) + 1. Which is greater: v or r?
r
Let v = -101.26 - -102. Let z = v + 1.26. Is -1/4 < z?
True
Suppose -3*d + q = -413, -252 = -2*d + 31*q - 35*q. Which is bigger: 135 or d?
d
Let n = -1226 - -958. Is n less than or equal to -1?
True
Let i be (16/(-30))/((-16)/(-40)). Let k(v) be the second derivative of v**5/20 + v**4/4 - 2*v**3/3 - v**2/2 - v. Let s be k(-4). Which is smaller: s or i?
i
Let o = 189 - 188.19. Let q = o + -1. Let m = q - -0.09. Which is bigger: m or 0?
0
Let r(d) = -d**2 - 10*d - 18. Let o be r(-6). Let v(a) = a - 6. Let k be v(o). Is k >= -3/11?
True
Let x = 32/3 + -1498/141. Is 1 greater than or equal to x?
True
Let t be (1 + 4)*1 + (4 - -7). Are 16 and t unequal?
False
Suppose -5*p - 6*m + 9*m + 88 = 0, -88 = -4*p - 2*m. Is p smaller than 3?
False
Let x(g) = -18*g**3 + g**2 - 5*g + 3. Let a be x(1). Let p = a + 1. Is p greater than or equal to -15?
False
Suppose 2*p = -4*f - 8, 2*f - 13*p + 4 = -10*p. Is f smaller than -222?
False
Let w(g) = g**2 + 9*g + 5. Let i be w(-9). Let f be (-2)/(i/(-13 + 3)). Which is greater: f or 0.04?
f
Let v be 3*1 + -3 + 1. Suppose 8*d = d + 5*d. Suppose d = 9*h - 7*h + 6. Which is greater: h or v?
v
Suppose -40 = -5*b + 85. Let v be (3/15)/(10/b). Which is smaller: v or -5?
-5
Let x = -423 + 417. Is x > -47/8?
False
Let c(i) = -6*i + 2 - 2 - 1 + 0*i. Let n be c(-1). Suppose 3*u - 4 = 5*k + 6, 0 = n*u. Is k smaller than -8?
False
Let r(c) = -c**3 - 3*c + 17. Let f be r(-3). Is f < 3?
False
Suppose 4*i = 4*w + 8, -8*i = -3*i + w - 34. Suppose i = -2*b - v + 2, -3*v - 12 = 0. Is b less than 2/79?
True
Let z = 394/11 - 21265/594. Is 0 less than z?
True
Suppose 0 = -7*v + 195 + 92. Which is greater: 42 or v?
42
Let m(p) = -3*p**3 - 9*p**2 - 12*p - 13. Let w be m(-2). Which is smaller: w or -2/3573?
w
Let h = -2702 + 713329/264. Which is bigger: 1 or h?
1
Let r = 0.088 + 0.712. Is r >= 3.6?
False
Let c(q) = q**2 + 5*q + 14. Let m be c(-9). Suppose -m = -33*w + 31*w. Is 25 greater than w?
False
Let m(c) = -c + 10. Let u be m(-5). Suppose -u = -o - 2*o. Suppose -5*r + 55 = 5*a, -o*r + 3*a + 8 + 55 = 0. Does 12 = r?
True
Let k be ((-20)/6)/(36/(-54)). Let u = k + -20. Which is greater: -16 or u?
u
Let o be 228/2*4/3. Suppose 5*m - o = 88. Suppose 4*p + 5*k = -m, 2*p + 4*k = -30 - 0. Is p at least as big as -6?
False
Let u be 3 - 19/(-3) - 6/(-9). Suppose h - u = -2*r, 0*h - 20 = -h - 4*r. Is -1 equal to h?
False
Let d = -1354 - -1376. Which is smaller: 25 or d?
d
Let p be ((-4)/(-12) + (-6)/(-9))*15. Does 18 = p?
False
Let l be ((-5)/(-30))/(10/80). Is -8 at least l?
False
Suppose -13 - 7 = -5*g. Suppose g*m = -0*m - 4. Let w(f) = -f**3 - 8*f**2 + 9*f. Let t be w(-9). Which is bigger: m or t?
t
Let t = -158 + 157. Which is smaller: t or -4/27?
t
Let l = 70.04 + -70. Is l > 0.09?
False
Let h be (-4)/22 + (-3549)/(-286) + -12. Is h >= -1?
True
Let u = -187/4 + 47. Let t = -51 - -34. Let i = t - -13. Is i equal to u?
False
Let x = -49.3 + -5.7. Let u = 56.4 + x. Which is smaller: u or -0.1?
-0.1
Let t be ((-6)/10)/((-2)/10). Let h be 24*2*9/(-6). Let d = -70 - h. Which is smaller: d or t?
d
Let k be ((-228)/(-24))/((-1)/2). Let g = k - -20. Let r be g*-2 - (-6 + 6). Which is smaller: -4 or r?
-4
Let y be 2/12 - 134117/(-258). Is y bigger than 517?
True
Let f be (1/((-12)/15))/1. Let t = 29 - 31. Which is greater: f or t?
f
Let x be (1/2)/(3/(-42)). Let m be 16/(-56) + 426/21. Suppose -f + b - 2 = 0, b - m = 5*f + 2. Is x < f?
True
Let d(v) = -12*v + 444. Let u be d(31). Which is smaller: u or 7?
7
Let z = -510 + 500. Is 15 > z?
True
Let t = -14 - -263. Is -2 less than t?
True
Let r(f) = 3*f + 60. Let y be r(-20). Is y equal to 1/794?
False
Let g be (-28 - -20) + 14/2. Which is smaller: g or -3/1235?
g
Suppose j = 5*j - 504. Let q = 3023/24 - j. Which is smaller: 0 or q?
q
Let t = -424.8 + 425. Which is smaller: t or -9?
-9
Suppose a - 3*m = -5 + 20, 2*m = -8. Let s = 1 - -5. Suppose s*t - 3*t = 9. Is t <= a?
True
Let r be 88/28 - 2/14. Let k(z) = -r*z - 9 + z + 12. Let m be k(2). Is -0.2 equal to m?
False
Let b = 6141 - 18425/3. Let m be (-10)/35 - (-148)/126. Which is greater: m or b?
m
Suppose -3*h + 33 = -12. Let l(b) = b**3 + 4*b - 1. Let k be l(2). Is k > h?
False
Suppose -5*j - 5*h - 2375 = 0, -49*j + 45*j + 4*h - 1916 = 0. Are j and -477 unequal?
False
Let w = 0 - -5. Let l be w/80*(4 + 2). Which is bigger: l or 1?
1
Suppose -m + 2*x + 160 = 0