Are d and -0.034 equal?
False
Let d(g) = 5*g + 78. Let v be d(-16). Let l be (-6 - (v - 3)) + 202/206. Which is smaller: -1/3 or l?
-1/3
Suppose -3*s - j + 50 = -0*j, -2*s = -3*j - 15. Suppose 3 - s = -2*f. Suppose -3 = -r + f. Are r and 15/2 nonequal?
True
Let v(o) = -o**3 - 21*o**2 - 15*o + 18. Let z be v(-20). Is -82 at least as big as z?
True
Let v = 187 - 191.02. Let j = v + 0.02. Let d = 4 + j. Is 11 <= d?
False
Let r be (-28)/(-21) + (-1)/3. Let y be (7 - 15/(-6))*2/r. Are 19 and y unequal?
False
Let a = -11.2 + 11.362. Let i = -0.062 + a. Which is smaller: i or -49?
-49
Suppose t = -2*b, 2*b + 15*t = 10*t. Which is smaller: -1/46 or b?
-1/46
Let o = -41 - -777/19. Suppose 4 = -4*q - 0*q - 5*x, -4*q - 3*x - 12 = 0. Let v = q + 7. Which is greater: o or v?
v
Let g = -784/15 - -263/5. Is g at least as big as -72?
True
Let w = -166 + 144. Let k = 5 + -5.1. Is w bigger than k?
False
Let u(d) = -10*d**2 - 13*d + 11. Let w be u(4). Is w greater than or equal to -203?
True
Let u be 8/18 + 1*0/(-5). Let b be ((-28)/(-6))/((-12)/(-18)). Suppose -b = 6*c - 1. Which is smaller: u or c?
c
Suppose 176 = -4*y + 3*k - 4*k, 132 = -3*y - 3*k. Let o = -43 - y. Which is greater: 5/14 or o?
o
Suppose i + 0*h - 3*h = 14, -2*h = 3*i + 13. Let u be 8 + 1*(-260)/35 + (-452)/154. Which is greater: i or u?
i
Let y(g) = 5*g - 3. Let t be y(-13). Let n = t + 90. Are 22 and n unequal?
False
Let t be ((-9)/3)/(((-201)/(-2))/1). Is -1/2 less than t?
True
Suppose 0 = 4*v + r - 4*r + 8, -3*v + 3*r - 9 = 0. Let s be ((-2)/74)/(16/(-48)). Let g = 61/296 - s. Which is smaller: g or v?
g
Let d(f) = 2*f**2 - 16*f + 17. Let s be d(7). Suppose -3*h = s*q - 120, 0*q - 2*q + 5*h = -94. Which is smaller: q or 44?
q
Let q be (2660/860 - 6/2)/(-2). Let z = -1 + 0. Is z less than q?
True
Let s = 105/2 + -13543/258. Which is smaller: s or 1?
s
Let x be (-70)/6*(274/(-959) + 19/(-7)). Suppose 0 = -s + 20 + 16. Do s and x have the same value?
False
Let n = -147 - -95. Let q = -51 - n. Which is bigger: q or -3/14?
q
Let w = 754 + -2260/3. Which is greater: -74 or w?
w
Let p be 5155415/9960 + 4/3. Let k = p + -27714/83. Let s = 185 - k. Is s at least as big as -1?
True
Suppose -2*o = -20 - 0. Suppose -101 + 391 = o*v. Is v != 28?
True
Let s = -9 - -14. Let q = -4.83 + s. Is q less than or equal to -2/3?
False
Let x = -420 + 420.02. Which is bigger: x or -19/6?
x
Suppose 0 = 60*i - 48*i - 144. Let u = -3 + 1. Let z be 0 + i/5 + u. Is z bigger than -2?
True
Let s = 813 - 2468/3. Is s >= -9?
False
Let p = -37019.97 + 37020. Let d = -2/3 - -7/6. Is p equal to d?
False
Suppose -3*d = -0*d + 6. Let s be (-2 - d)/(2/(-1)). Suppose -3*l + 8 + 4 = 0. Is s <= l?
True
Let q be (-7)/14 + (-2)/(-8). Let b = 28 + -169/6. Which is smaller: b or q?
q
Suppose -2*x - k + 9 - 1 = 0, 0 = x - 5*k + 18. Let y be (x - (-8)/(-3))*3/(-63). Which is bigger: 0 or y?
y
Let c = 5.5 - 49.5. Let d = c + 42. Which is bigger: d or 4/3?
4/3
Let d = 74.73 + 1.27. Let o = d - 75.27. Let c = 0.33 - o. Is -1/5 < c?
False
Let q be (-45327)/(-30102) - (-6)/(-4). Which is smaller: q or 1?
q
Let k be (-9)/(-24) + 13 + -8 + -5. Is -29 at least k?
False
Let r(o) be the first derivative of -5*o**2/2 - 2*o + 8. Let h be r(-1). Is 1 equal to h?
False
Suppose -4*y + 2*g + 5 = g, -g - 7 = -5*y. Suppose -5*j - 5 = 5*b, -2*j + 2*b = 2*j + 22. Let v = 5 + j. Does v = y?
False
Let n(z) = -6*z + 1. Let b be n(-2). Let y(v) = v**2 + 2*v - 22. Let d be y(-7). Is b at least d?
True
Let g = -547 + 548. Which is greater: g or -4/5?
g
Let r be (1 - -2)/(5/40*4). Suppose -r*n = -10*n + 64. Which is smaller: n or 15?
15
Let h = -1.918 - -0.118. Is 3 at most as big as h?
False
Let t = 3 + 2. Suppose -2*o - 2*o - 57 = t*k, 3*o - 4*k + 35 = 0. Let m = o + 14. Which is smaller: m or 3?
m
Let b(h) = -15*h - 11. Let x be b(-1). Suppose x*j - r = -0 - 1, -2*j + 3*r = 13. Let u = 0.17 - 0.08. Which is smaller: u or j?
u
Let h = -19.95 + -0.05. Let n = h + 43. Which is smaller: n or 0.1?
0.1
Let x be (-5 + 5)/(6/2). Let b = -8 + x. Let u = b - -5. Which is smaller: u or 4?
u
Suppose 18*a - 229 + 67 = 0. Suppose 9*w - a = -18. Which is greater: 0.33 or w?
0.33
Suppose -44*m - 344 = -m. Let n(a) = 7*a**2 - 5*a**2 - a + 6*a**2 + 5 + a**3. Let q be n(m). Is q smaller than 14?
True
Let u = 0.4 + -0.2. Let n = 10.1 + 14.1. Let y = 24 - n. Is u equal to y?
False
Let v be (10/20)/(1/6). Suppose 2*n - v + 9 = 0. Is 0 <= n?
False
Suppose -2*u + x + 19 = 0, u = 3*x - 0*x + 12. Let j = 1851 - 1841. Which is greater: j or u?
j
Let v be (-20 - -1) + (-24)/6. Let a = v + 23. Let t = 1719/40915 - 1/835. Which is smaller: t or a?
a
Let m(l) = 18 - 2*l**2 + 4*l**2 - l**2 + 9*l. Let n be m(-6). Let s = 523/13 + -40. Which is bigger: s or n?
s
Suppose -6*j = -j. Let s be (-1 + -2)*232/12. Let d = s - -57. Which is smaller: d or j?
d
Suppose 3*i = -2*j - 1, 3*i + 4*j - 5*j + 13 = 0. Let x be 1/(-1) + 5 + -1. Suppose 1 = 5*y - 2*b + 5, 18 = -x*y - 4*b. Which is greater: y or i?
y
Let n be (-3)/(-12)*4 + 0. Is n > -3/44?
True
Let z be 242/33 + 1/(-3). Let g = -4410 + 21972/5. Let f = 536/35 + g. Which is greater: f or z?
z
Let p = -128 + 120.4. Let w = p + 4.6. Let h = 0.3 - 1.3. Which is bigger: w or h?
h
Let g = -104 + 407/4. Suppose -3*k - 4 = 5. Is k at least as big as g?
False
Let s = 0.065 - -0.935. Is s > -0.099?
True
Let g = 53 + -14. Let s = g + -41. Which is bigger: 0 or s?
0
Let g be 1*(-1)/12*(-6)/4. Is 1 greater than g?
True
Let l = -9 - -14. Suppose -5*d + c + 43 = -c, d = l*c + 27. Is -3 <= d?
True
Let d be 7160/(-180)*2/(-426). Let h = d + -8/71. Which is smaller: h or 0?
0
Let z = -29 + 55. Let u be z/(-39) - (-730)/2448. Let f = 1/153 - u. Which is bigger: -1 or f?
f
Let r = -642 - -647. Which is greater: -39 or r?
r
Suppose 2 + 13 = 3*d. Suppose -3*m - d*c = -11, -4*m - c = 14 - 6. Let y be (2/(-4))/(m + -2). Which is smaller: 0 or y?
0
Let h = -90 + 89. Which is bigger: h or 29?
29
Suppose v = -2*n - 15, 3*v + 14 = n - 3. Let w(l) = -4*l - 28. Let p be w(v). Is p greater than or equal to 8?
False
Let q be (-11)/((-30)/25 + 2/10). Suppose 12*r = q*r - 12. Which is greater: -40/3 or r?
r
Suppose -2*q = 3*m - 19, m - 50 + 21 = -2*q. Which is greater: 16 or q?
q
Suppose 5*c - 4*r = -2, -2*r - 2 = -c - 0. Let k be (-80)/200*c*(-6)/(-8). Is 1 bigger than k?
True
Let i(x) = x**3 - 2*x**2 - 3*x. Let n be i(0). Let c = -11 - -11. Is c != n?
False
Let l = -54 - -6. Let b be (-40)/l + (-1)/3. Are b and 2/93 unequal?
True
Let p be 949 + (2 - -2) + -1. Let b be p/(-51) + (-4)/3. Let f = 4 + b. Is -0.1 equal to f?
False
Let r(h) = -h**2 - 12*h + 6. Let v be r(-9). Suppose 21*c + 64 = 23*c. Which is bigger: c or v?
v
Let y be 8/((-8 - -10)*(-1)/6). Let t be (2 + (-9)/6)/(2/y). Is -7 greater than or equal to t?
False
Let f be (2/(-21) - 0)*-1. Let j = 2 - 0. Suppose j*b + 2*k = 4, -4*b + b = k. Do f and b have different values?
True
Suppose 226*i - 228*i + 6 = 0. Are i and 80/21 equal?
False
Let u = -293 - -184. Which is bigger: u or -111?
u
Let i = -152 - -155. Suppose 3 = -z, 3*h - 2*h + i*z = -25. Which is smaller: -13 or h?
h
Let p(u) = -u**3 + 7*u**2 + 3*u - 11. Let o be p(7). Let y be (0/(-2))/(9 + -1 - o). Is y <= -8/25?
False
Let l = 713 - 1779. Which is smaller: l or -1065?
l
Let k = -5 + 6. Let h be 29/4 + k/(-4). Let a be (3 - 1) + (-1 - h). Which is bigger: -7 or a?
a
Let o = 433 + -432.9. Is 0.3 less than o?
False
Let o = -41.92 + -11.98. Let q = o + 54. Which is greater: -13 or q?
q
Let o be (-6)/(-8) - (-93337)/(-76). Let y = o + 1228. Which is smaller: y or 1?
y
Suppose -2*s = -5*s + 18. Let m be (-1 - -2) + -6 + s. Is m at most as big as 1?
True
Let q = 0.9 - 1. Let v = 55 - 55.084. Let n = 1.284 + v. Which is smaller: q or n?
q
Let r = 9929987/92937 + -2/7149. Suppose 2*v = -3*v + 535. Let j = r - v. Which is smaller: 1 or j?
j
Let a = -2.904 - -4. Let c = a + -0.096. Is 1.6 >= c?
True
Suppose -13*s = -8 - 5. Is s at most as big as 2/181?
False
Let l = 46 + -51. Let m be l/30 - 2/(-12). Which is greater: -9/7 or m?
m
Suppose 0 = 2*g - 15 + 7. Let y(s) = -s + 7. Let i be y(-7). Let k be (8/14)/(g/i). Are 1 and k nonequal?
True
Suppose 5*x + 11 = 4*w + 31, 3*w + 15 = 2*x. Let h(r) = 0*r + 3 + 2*r - 3*r - 2. Let o be h(5). Is w <= o?
True
Let t be -9*(-10