 v at most i?
True
Let c(j) = j - 2. Let u be c(0). Let w be 3/u*(-2)/(-3). Let m = 22382 - 22381.83. Is w at least m?
False
Let j = -412 + 412. Suppose 3*n = -j*n - 4*k - 19, 12 = 4*n - 4*k. Which is greater: 11/3 or n?
11/3
Suppose -2*p - 5*q + 815 = 835, -2*q - 8 = 0. Which is greater: p or 1/38353?
1/38353
Suppose 3*l - 196 = -i + 2*l, 974 = 5*i + 2*l. Suppose 0 = -200*p + i*p + 108. Which is smaller: p or 2?
2
Let v be 5795/(-45) - (-4)/(-18). Let f = 125 + v. Let d be 2 + 10/f + (-36)/(-16). Which is smaller: -4 or d?
-4
Let u be 692/(-348) + 3 - 1. Suppose -23*x - 235 - 213 = -471. Which is smaller: u or x?
u
Suppose 11*t = 27*t - 10*t. Let q(k) be the third derivative of k**6/120 + k**4/24 + k**3 - 2*k**2. Let f be q(t). Is f at most 6?
True
Suppose -27038 = -26*j - 310533 - 103645. Which is bigger: j or -14891?
j
Suppose 3*z - f + 23 = 7, -4*z = -5*f + 14. Let h be (-12)/z - (22/5)/2. Which is greater: -1/3 or h?
h
Let b = -48 + 77. Suppose -43*y - 14 = -b*y. Do -5/18 and y have the same value?
False
Let o(c) = c**3 - 21*c**2 + 16*c - 23. Let b be o(20). Which is smaller: b or 0?
b
Suppose 9*i = -10*i + 7*i. Which is greater: 8/341 or i?
8/341
Let d = 2912 - 2898. Which is greater: d or 17?
17
Let s(b) = -29*b + 105. Let h = -916 + 919. Let w be s(h). Is w != 19?
True
Let q = 57 - 97. Let f = 26.7 - 26.852. Let o = f - -0.152. Is q less than or equal to o?
True
Suppose -3940 = -0*l - 4*l. Let g = -707 + l. Which is smaller: 279 or g?
g
Let w = 151 + -118. Suppose -32*r + 23 = -w*r. Which is bigger: r or -21?
-21
Let o be ((-28)/35)/(-2*5/(-1850)). Do o and -149 have the same value?
False
Let p be (-37)/3 + (-24)/(-72). Let v be (-382)/8 - 0 - p/16. Is v at least as big as -45?
False
Let x = -748.147 - -746. Let f = -0.247 - x. Which is smaller: f or 0.1?
0.1
Suppose -70 + 60 = d. Let z be 24/15 - 4/d. Suppose n = -z*n. Which is smaller: 1/8 or n?
n
Suppose 2*z - 5*x - 93 = -20, z + x = 33. Let h be (((-8)/16)/(z/4))/(-4). Is -1 greater than or equal to h?
False
Let k = -7148 - -6757. Which is bigger: k or -379?
-379
Suppose 4*k - 20 = -3*z, 3*z + 5*k = 28 - 6. Suppose 6*n = -z*n - 350. Let d = -177/5 - n. Which is smaller: 3/2 or d?
d
Let v(k) = 0*k - 23*k**2 + 3*k + 60 + 12*k + 11*k - k**3. Let x be v(-24). Let d be 4/(-6) + 280/24. Do x and d have the same value?
False
Let t = -47.853 - -47.9. Let m = -0.053 + 0.45. Let x = t - m. Which is smaller: x or -1/4?
x
Let b(f) = 5*f**2 + 17*f + 14. Let w(x) = -6*x**2 - 17*x - 15. Let y(z) = -4*b(z) - 3*w(z). Let h be y(-7). Suppose -l - h = l. Does l = -45/7?
False
Let s = 3004 - 3005. Suppose -5*j + 16 = -j. Suppose 5 = j*h - 31. Is s at most as big as h?
True
Let o be (-391)/4 + (4 - (-51)/(-12)). Let g = o - -102. Suppose g*f + 5*f = f. Which is bigger: f or 1?
1
Let i = 215 - 213.89. Let w = 58.89 + i. Let u = -60.11 + w. Is u at most as big as 0.1?
True
Suppose -5*l - 29 = -u, -2*u = 3*l - l - 46. Suppose 15*b = 3*b + u. Let d(r) = r - 10. Let a be d(-2). Is b <= a?
False
Let x be (-1)/(-2) + -1 + (-474442)/(-244). Suppose 2056 = 2*p - 2*c - 1834, 0 = 4*p - 2*c - 7778. Let u = x - p. Is 1 >= u?
True
Let v(x) = -x**2 - x + 10. Let o be 126/(-26) + (2 - (-112)/(-52)). Let y be v(o). Let u be 1/((-11)/(-2))*2/y. Is u less than 1?
True
Let v(j) = -813*j + 5691. Let q be v(7). Is 2/141 smaller than q?
False
Let t = 0 + 4. Suppose y = 5*g - 16, 11*y - 9*y = 8. Suppose 0 = 3*p + g*l - 5 - 14, -16 = -t*l. Which is smaller: -10 or p?
-10
Let a = 11197 + -11464. Is 0.6 equal to a?
False
Suppose 0 = -2*a + 25 + 7. Let i be a/(-4)*1/(-2). Suppose -43 = -i*u - 113. Is 0.1 >= u?
True
Let t = -41246 - -38199. Is t <= -3050?
False
Let k = -368 - -396. Let d be 24/72 + k/(-86). Which is smaller: d or 0?
0
Let i be -3*(100/15)/(-2). Suppose 11*k - 5*a = 8*k - 11, -2*k + 2*a - i = 0. Is k != -51/8?
True
Let x = -346 - -170. Let c be (2 + -1)/((-700)/x + -4). Let s = -37 - c. Which is greater: s or 2/7?
s
Let m(n) = -2*n**3 - 60*n**2 - 4*n + 257. Let s be m(10). Which is smaller: -7785 or s?
-7785
Let z(r) = r**3 - 16*r**2 + 3*r - 47. Let k be z(16). Let j be ((k/2)/((-66)/(-44)))/59. Are j and 2/5 equal?
False
Let g be (66/39)/((-19)/(-76)) - 7. Which is smaller: -1/4 or g?
-1/4
Let d = -869/491 + -689831/38298. Let p = 3/26 + d. Which is bigger: p or -21?
p
Let n be 33/(-30) + (-16)/(-12)*(-183)/610. Let f be (-20)/(-4)*-1*1. Which is smaller: n or f?
f
Let c(u) = u**3 - 9*u**2 + 7*u - 1. Let z = -7 + 15. Let s be c(z). Let f be (6/(-7))/3 + s/(-7). Which is bigger: f or -2/11?
f
Suppose 4*j = -2*z - 140, -5*j - 2*z - 185 = 3*z. Let t = 171 + -205. Let c = t - j. Is -2 equal to c?
False
Let y = -27.9 - -10.6. Let m = y - -17.1. Let u be ((-5)/(-4))/(3/(-8)). Is u less than or equal to m?
True
Suppose p = t + 6*p - 5780, 3*p = 2*t - 11586. Let a be (-59667)/t - (-4 - (-105)/25). Let i = a + 1/193. Which is smaller: i or -11?
-11
Let w = 5426/8145 - -4/8145. Let k = 172 + -4993/29. Is w less than k?
False
Let v(h) = 30*h + 195. Let q be v(-11). Let o be q/(-27) - (0 - -3). Which is bigger: o or 24/37?
o
Let o(l) = -111*l**2 + 7*l - 6. Let b be o(1). Let a = -94 - b. Let p(s) = s + 3. Let q be p(11). Which is greater: q or a?
a
Let d = -0.453 + 0.033. Let x = 454 + -455.4. Let k = -2.4 - x. Is k at least d?
False
Let p be (-2)/(-8) + 3223/(-44). Let d = p + 77. Suppose -3*r = d*g, -5*r + 6*r + g = 1. Which is bigger: 1 or r?
r
Let d be 9/(-6)*(-8)/(-18). Suppose -k - k - 3*z = 349, 0 = -k - 5*z - 192. Let q = -168 - k. Is q at most d?
True
Let y = 32.4 + -32. Let f = -0.34 + y. Let d = f + -0.36. Is d at least -3?
True
Let o = -908.6 + 908.575. Which is bigger: o or 1?
1
Let l(w) = 19*w + 111. Let p = 489 + -489. Let a be l(p). Is 112 greater than a?
True
Let k be 4646/((2/6)/((-9)/18)). Let f = k - -13648. Let o = f + -86911/13. Is -5 bigger than o?
True
Let h = -1.598 - -1.642. Is 6 less than h?
False
Let m = 53991 + -35364112/655. Which is smaller: m or 0?
m
Let z = 5994/7 + -856. Suppose 0 = x - 2*n - 3 + 17, 43 = -4*x - 5*n. Let y(u) = 2*u - 11. Let q be y(x). Which is smaller: q or z?
q
Suppose -30*j + 28*j = 0. Let z be (2/(4/(-4930)) - -1) + j. Let d be 2/6 + -1 - z/384. Is d != 6?
True
Suppose -t = r - 0*r - 6, -24 = -5*r - 3*t. Let x be (-11 - -21)*(2 + (-6)/4). Suppose 12 = -r*u + 3*c, c + 5 = x*u + 21. Is u at most -7?
False
Let n = 7407 - 7402. Is n >= -253?
True
Let n be (-8)/(-32) - 15/12. Let m be ((-14)/5)/n - (-1)/5. Let f(h) = 4*h - 23. Let c be f(10). Which is greater: c or m?
c
Suppose 21*b + 4939 = -5666. Do -3035/6 and b have the same value?
False
Let q = 6260/3 - 2080. Which is smaller: 126 or q?
q
Let v = -15471.1 - -15456. Is v at most -14?
True
Suppose -7 = -o - 2*m, -1 = 3*o + 13*m - 18*m. Suppose 0 = -2*s - 5*i + 7*i + 160, 5*s + o*i = 392. Is s > 233/3?
True
Let r = 425 + -322.5. Let w = -102 + r. Which is smaller: 2/59 or w?
2/59
Suppose 13*t = -3*z + 10*t - 3, 4*t + 4 = -3*z. Let l be 2/(-25 - z - 15/(-25)). Which is greater: -1 or l?
l
Let v = -526.4 - -450. Is v < 2/15?
True
Let p = 0.02757 - 2.02757. Do 47/4 and p have different values?
True
Let j(h) = 3*h**2 + 2*h - 1. Let u be j(1). Suppose 23 = 2*m + 15. Let n be (u - (-2 + m)) + -3. Is -15 greater than n?
False
Let w(t) = -288*t - 1305. Let b be w(-7). Which is greater: 1 or b?
b
Let g = 1.05 - 0.07. Let o = 796 - 794.72. Let p = g - o. Is 11 less than or equal to p?
False
Let g = 8.2 - 56.2. Let x = g - -46. Which is greater: 5.3 or x?
5.3
Suppose 55*b - 224 = -65*b + 113*b. Which is greater: b or 228/7?
228/7
Let j be 3*(0 - 6/9). Let x(h) be the second derivative of -h**4/2 - 2*h**3 - 3*h**2/2 + 42*h. Let y be x(j). Is y not equal to -5?
True
Let p(l) = -6*l**2 - 3*l + 3. Let g be p(3). Let k be ((-6)/5)/((-282)/g). Let o = k - -1166/4935. Which is smaller: 0 or o?
o
Let j = -63 - -72. Let b = 106 - 102. Which is bigger: j or b?
j
Let f(t) = -2*t + 45. Let n be f(-19). Let o = n + -71. Suppose 3*u - 40 = -4*y, 4*u + 0 = 2*y + 46. Does u = o?
True
Suppose 5*m + 10 = 4*h, 7*m - 3*m + 8 = -3*h. Let y = -77 - -54. Which is bigger: y or m?
m
Let h(f) = f**3 - 7*f**2 + f + 10. Let g be h(9). Let d be (-6)/9*3/g. Let r(w) = -w**2 + 5*w + 127. Let i be r(14). Are i and d unequal?
True
Let k = 4265.9 - 4266. Which is 