 + -6222. Is v != 12?
True
Let d = -6 + 6.4. Let p = -41 + 42.6. Let f = p + d. Is -12 at least as big as f?
False
Let y be (-6)/4*3/((-45)/50). Suppose -y*n + 141 = -4. Suppose 8*g - 5*g = 5*v - 97, v - 3*g = n. Is 16 < v?
True
Let b(p) = 107*p**3 + 8*p - 7. Let j be b(2). Let m be (-116)/j - (-20)/150. Which is smaller: m or 0.1?
m
Let i = 117.5 + 352.7. Let w = i - 470. Is w != -71?
True
Let p be -4 - 1 - (15337/30 - (-206)/2060). Which is greater: -515 or p?
-515
Let m = 3846.5 - 3846. Which is bigger: m or -20?
m
Let y be 6/(-17 + -13) + (-266)/(-1230). Let a = 680057 - 585529309/861. Let c = y - a. Is 2.5 less than c?
False
Suppose 2089 = -5*u - 3*v, -2097 = 5*u - 0*u - v. Which is greater: 0.4 or u?
0.4
Let s = 1/91 - -244/2639. Let j be (110/15)/2*(-216)/1584. Is j < s?
True
Let q be 24963/(-314)*140/(-6). Which is greater: 1854 or q?
q
Let x = 60 - 62. Let q(n) = n**2 - n - 6. Let s be q(x). Suppose d - 1 = -s*d. Which is bigger: d or 2?
2
Let t = 5 - 9. Let z = -14 - t. Let m(q) = 2*q**3 - 7*q**2 + 6*q + 2. Let y be m(2). Which is smaller: z or y?
z
Let m = 54.085 + -54.11. Let k = -21.956 + 22. Let s = m - k. Is 1 > s?
True
Let w(v) = -3229*v - 11354. Let n be w(-5). Do n and 4792 have the same value?
False
Suppose 62*c - 2190 = 3054 + 584. Which is smaller: 755/8 or c?
c
Let b = -249 + -1242. Let r be (-42)/4*(-28)/b. Is r > 0?
False
Let t = -5/135185126 - 132616355981/6830228491150. Let d = t - 2/1075. Let p = d - 735/799. Which is smaller: p or -2?
-2
Suppose -2924 = -12*d + 3328. Let v = -519 + d. Which is bigger: 1.94 or v?
v
Let b = -2.3 - 0.7. Let s = b - -2. Let l = -3.982 - -2.882. Which is bigger: s or l?
s
Let g = -1516/222735 + 6/2395. Let r = g - 253/49290. Do 0 and r have different values?
True
Let f = 5 - 10. Let p = -43 - -145/3. Let d = p + f. Are -7/5 and d unequal?
True
Let x = 0 + 0. Let l = -230 - -219. Let p be ((-24)/l)/8*4. Which is bigger: p or x?
p
Let z(j) = 79*j - 1976. Let k be z(25). Which is greater: k or 1/9074?
1/9074
Let k be 591 - 573 - (-1 - -20). Let f = 6.45 - 5.1. Let a = 0.15 - f. Which is greater: a or k?
k
Let d = 44690 - 15328658/343. Let u = -397/9947 + d. Which is smaller: 0 or u?
u
Let d = -2613 + 7922/3. Let m(i) = -i**2 - 3*i. Let c be m(-7). Let h = d + c. Is 3/17 smaller than h?
False
Suppose 10*q - 125 = 25. Let d(i) be the first derivative of -i**3/3 + 7*i**2 + 5*i - 1. Let w be d(q). Is w <= -11?
False
Let o = -910.1 + 808.1. Is o > 74?
False
Let p = -151.9 - -143.7. Let n = 5 - -2. Let q = p + n. Do -0.1 and q have the same value?
False
Let d = 208685/14 - 14888. Let o = 123/7 - d. Is o less than -1?
False
Let a(c) = -c + 13. Let q be a(7). Suppose -q*t = -g - 2*t - 16, -2*t = 4. Let s = g + 24. Which is bigger: s or 2?
2
Let h(s) = -s**2 - 19*s - 46. Let o be h(-16). Let r be 80/(-120)*(o - (-10)/(-3)). Is 1 at least r?
True
Let i be 4/(-10) - (-3)/(-5). Let f = -32834 + 32842. Which is greater: f or i?
f
Let y be 33/(-11) - (1*-1 + -12). Suppose -2*b - y = -3*t, -9 - 1 = -t - b. Let w be (45/10)/(t/(-4) - -2). Is w != 29/3?
True
Let n be 4252/(-6)*((-3234)/(-88) + -24). Which is smaller: n or -9036?
-9036
Let a(s) be the second derivative of -s**2 - 6*s + 0 + s**3 - 1/6*s**4. Let n be a(4). Which is bigger: n or 1?
1
Let q(r) = -56*r**2 - 2*r + 10. Let w = -76 + 79. Let n be q(w). Let f be n/(-140) + (-1)/(14/(-6)). Which is bigger: -11 or f?
f
Let w be 5/35 + (-236)/(-14). Let c(d) = d**2 + 5*d - 21. Let x = -24 - -15. Let o be c(x). Is o greater than w?
False
Suppose 1212 = -8*l - 948. Are -272 and l equal?
False
Let f be (12/42093)/(((-16)/20)/((-18)/(-15))). Which is greater: 1 or f?
1
Let k be (88/(-20))/((-2)/(-50)). Let o be (-60)/(-220) - (-6120)/(-55). Is o at most k?
True
Suppose -3*o + 5*q - 62 = 0, -3*o = -0*o - q + 58. Let p = 21 + o. Suppose -p*b - 27 = 27. Is b smaller than -27?
False
Suppose i + 0*i = -3*i. Suppose 5*b - o - 35 = i, 9*b - 28 = 5*b + 5*o. Let j = 1337/20 + -245/4. Are j and b equal?
False
Let a be -121*((10/(-2) - -9) + -5). Let y be (a/(-220) - (-2)/(-8))*30. Suppose -s + 0*h - 16 = -4*h, -2*h - 52 = 2*s. Is s at most y?
True
Suppose 2*d + 2 = -3*h - 4, 2*h = d + 3. Suppose -c = -2*s - 11, h*c + 2*c + 2*s = -8. Let g = 3/70 - 13/42. Which is smaller: g or c?
g
Let k be 4/24 - 130/(-36). Let u be -20*((-9)/(-162))/(2/(-8)). Let d = k - u. Is d at least -2/19?
False
Let c be 4/(-22)*3/18*-4. Let s = -1312.1 + 1312. Which is smaller: c or s?
s
Let f = 2529 - 2535. Let t = -0.09 + 0.79. Which is smaller: f or t?
f
Suppose 37*j - 90489 = -31067. Which is bigger: j or 1608?
1608
Let v be (-8)/(-132)*(-3)/9. Suppose 0 = -2*a + 4. Suppose 4*t = a*t. Are t and v nonequal?
True
Suppose 5*d = -262 + 187, 10*d + 150 = -3*x. Let n = -3827898/379 - -10100. Does x = n?
False
Suppose 0 = -g + 61 - 57, -4*g + 176 = -5*m. Which is bigger: m or -31?
-31
Let m(c) = c**3 - 20*c**2 + 6. Let q be m(20). Suppose x + 8 = 5*n, -q*x + x - n + 12 = 0. Let d be -2*(x/(-6))/((-6)/102). Which is greater: -12 or d?
d
Suppose -2*i = -3*s + 64, 4*s = -0*s + 3*i + 84. Suppose -r + 3*r = -s. Let d be 12/(-256)*8/r. Which is smaller: 1 or d?
d
Let z = 5559.2 - 5559. Let m = -7/37 + 184/777. Which is smaller: m or z?
m
Let d = -1229/4 + 89569/292. Which is greater: d or -2?
d
Suppose -2*z + 46 = 4*h, 2*h = -0*h + 2*z + 26. Let r(a) = -a + 12. Let v be r(h). Let o be (4/(-12)*v)/(-1). Which is greater: 4/3 or o?
4/3
Let k be 62/(-65) - (-1)/(855/38 + -16). Are 1449 and k non-equal?
True
Let w = 14726/7 + -2131. Which is smaller: w or -27?
w
Suppose 0 = -3*n - y + 4*y + 15, 5*n - 2*y - 25 = 0. Let x be (213/12)/((-25)/(-6)). Let z = x + 7/50. Which is smaller: n or z?
z
Suppose 2*m - 3*m = -0*m. Suppose -3*z = -5*z. Suppose 5*f + m*f = z. Which is smaller: 2/3 or f?
f
Suppose 5*r + 3 = -2, -z - 5*r = -712. Let h = z - 739. Which is smaller: -9 or h?
h
Let l = 8404 - 7777. Are -0.7 and l nonequal?
True
Let v = -57 + 81. Let p = 443 - 415. Is p bigger than v?
True
Let r = 5/48 + 1/16. Let y = -5/33062 + 90928/49593. Is r at least y?
False
Suppose 0 = 1933*l - 1974*l - 1189. Suppose -3*u + d - 66 = 3*d, -5*d = -2*u - 63. Are u and l unequal?
True
Let g(s) = 27*s**2 - 2210*s - 325. Let c be g(82). Let m = -0.404 + -0.026. Which is bigger: c or m?
c
Let z = 119544 + -576321626/4821. Are -1 and z equal?
False
Let c be 4/18 - (-40)/(-18). Let o(y) = 141*y. Let q(h) = -113*h. Let i(t) = 4*o(t) + 5*q(t). Let k be i(c). Which is greater: 20/9 or k?
20/9
Let j(r) = -52*r + 16. Let b be j(-5). Let h be ((-3)/(-33))/(6/b). Which is smaller: h or 0?
0
Suppose 0 = -56*h + 61*h - g - 3824, 0 = 2*h - 2*g - 1536. Which is greater: h or 763?
h
Suppose -347*a + 332*a = 39900. Is a at most -2663?
False
Suppose -k = 4*f - 3, 19 = 5*f - k + 4. Suppose 5*l - w = 310, f*l - 186 = -l + 2*w. Let t be 104/13*1/l*1. Which is smaller: -1 or t?
-1
Let v be 5 - -2 - 698/7. Let i = v + 93. Is -192 smaller than i?
True
Let p = 7889237/729 + -10822. Which is smaller: 1 or p?
p
Let s = -2/15747 + -46687/4361919. Let c be (8/6 - 1)/((-37)/(-111)). Is s at least c?
False
Let w = 12 - -1. Suppose h + 2*g = 3*h + 2, -2*h - 16*g = 74. Which is smaller: h or w?
h
Suppose 0 = 3*l - 38 - 154. Let k = l + -55. Suppose -f + 7 = -k. Which is smaller: 18 or f?
f
Let l(s) = -291*s + 532. Let c be l(1). Is 238 greater than or equal to c?
False
Let b be 1*30 + 12 + -13. Let l be b/(-8)*156/(-26). Suppose 3*u - 107 = -5*n - 8, 5*n + 4*u - 97 = 0. Which is smaller: n or l?
n
Let l be 30/18 + -1 - 43/(-3). Suppose 74 = 17*d - l*d. Suppose -d*g + 10 = -35*g. Which is greater: g or 1?
g
Let z be (3*(-1)/90)/(52/208). Suppose -3*k + 11 = -7. Suppose 0 = 3*o - k*o. Which is smaller: z or o?
z
Let k = 15550 - 36324799/2336. Let j = k - -3295/488224. Are 0 and j nonequal?
True
Let j = -59 + 59. Suppose f - 4 - 1 = j. Suppose f*m = -2*a + 102, m - a + 62 = 4*m. Which is smaller: m or 23?
m
Let d = -207 + -25. Let b be (-3 + (-66)/(-18))*(d + 1). Is -154 < b?
False
Let d = -23 - -17. Let l(h) = h**2 + 6*h + 5. Let g be l(d). Let f be (-23 - g)*2/4. Which is smaller: f or 0.1?
f
Suppose -10*t = -23430 + 39610. Is t bigger than -1619?
True
Let b = -102 - -316. Let u be b - 65 - 3*3. Which is smaller: u or 141?
u
Let d be (-120)/(-45)*-5*(-12)