ose -6 = 5*o - u - 19, -3*o + 17 = 4*u. Let p be -36*2*o/(-18). Suppose 2*f + p = 10. Which is smaller: f or 1/32?
f
Let q = 1.96 - 8. Let w = q - -6. Let k = w + 0.54. Which is greater: k or 0?
k
Let m be 9/6*1/((-2)/4). Let f be 1*-2 + (75/(-10))/m. Which is smaller: f or 1?
f
Let g be 1*5*4/40*124. Is 62 smaller than g?
False
Let r be (5/(-30))/((-10)/(-15)). Is 0.53 at most r?
False
Let o(z) = z**3 + 4*z**2 - 4*z + 6. Let m be o(-5). Is 66 smaller than m?
False
Let h = -2882 - -740672/257. Which is smaller: 0 or h?
h
Let z be ((-17)/34)/((-19)/118) + -3. Which is smaller: z or 4?
z
Let s(u) be the third derivative of u**5/120 - 11*u**4/24 - 7*u**3/6 + 4*u**2. Let z(h) be the first derivative of s(h). Let m be z(8). Is -3 > m?
False
Let s be (-21)/63*(-9)/(-6). Let t = 2 - 1.88. Is s < t?
True
Let u = -1076 + 1052. Is u equal to 1.9?
False
Suppose 3*o - x = -0*x + 2, 0 = -x + 1. Let m = -39295/44 + 893. Are m and o equal?
False
Suppose 0 = -5*r + 25 - 30. Let f = 2 + 0. Suppose -b = f - 1. Is b bigger than r?
False
Suppose 0 = m - 5*b - 22, -b - b - 16 = -4*m. Let o be (-2)/8 - 82/(-8). Let k be 1 + 2 - o/4. Is m smaller than k?
False
Suppose -2*p + 5*p + 72 = 0. Let h be (-17)/(-4) + p/(12 - 6). Is h less than or equal to -0.18?
False
Let k(g) = -g**3 + 8*g**2 + 9. Let z be k(8). Let x = -96602/7 - -13745. Let n = x + 55. Which is greater: z or n?
z
Let n = -6.5 - -7. Let i = -0.8 + n. Which is bigger: 3 or i?
3
Suppose -2*j - 16 = -4*j. Let k be (-1)/(-4) - 25/4. Let u be (-17)/j - (3 + k). Is u less than 2?
True
Let i = 1220/9 + -101242/747. Let f = i + -89/249. Which is bigger: 1.1 or f?
1.1
Suppose -34*y = -25*y + 324. Is y smaller than -35?
True
Let t(a) = -a**2 - 8*a + 6. Let y be t(-7). Let k = y - 14. Let x = -83/10 + 17/2. Which is greater: x or k?
x
Suppose 9 + 6 = 5*a - o, 0 = -5*a + 3*o + 15. Let d be 112/(-12)*(-36)/a. Let s = d - 1569/14. Is 1 at least s?
True
Let f = 12 - 10. Suppose -3*h = -5*j - 22, 0 = 5*h - 2*h - f*j - 7. Let i be (-5 + 1)*(0 + h). Which is smaller: i or 5?
i
Suppose 0 = -59*v - 57*v + 135*v - 38. Let n = 1 - 1. Which is bigger: n or v?
v
Let a = 683 - 844. Is -162 equal to a?
False
Suppose 6 - 17 = z. Suppose 0 = -2*s + 4*a - 6*a - 26, -4*s = -4*a + 52. Are s and z unequal?
True
Let s = -2/707 - 243/808. Let k = s - -783/1288. Is -1 less than or equal to k?
True
Let s be 1 + -5 - (9 + 0)/3. Let l be ((-6)/(-9) + 2)*-3. Is l less than s?
True
Let q(u) = -u + 2. Let k be q(1). Let d be (-9)/33*(-330)/180. Are d and k equal?
False
Let q be (-91)/92 + 540/432. Which is smaller: 1 or q?
q
Suppose 2*o = 4*n - 6, 23*n - 2*o - 1 = 24*n. Which is smaller: n or -4/27?
-4/27
Let y = -101 - -14. Let z = 1.047 - 0.047. Which is smaller: z or y?
y
Let t = -21261/280 - -531/7. Which is smaller: 1 or t?
t
Let t be 5 + (167/(-42) - (-6)/(-12)). Which is greater: 0 or t?
t
Suppose 0 = -1854*n + 1863*n - 1053. Which is smaller: n or 116?
116
Let j(i) = 30*i - 27. Let m be j(-3). Is m > -116?
False
Suppose -16*o - 83 = 173. Which is greater: o or -23?
o
Let w = 4.94 + -5. Suppose 17*b = 15*b + 6. Which is smaller: w or b?
w
Let d be ((-736)/1840)/(((-14)/120)/(-7)). Which is greater: -26 or d?
d
Let c = 252 - 252. Is -12/107 greater than or equal to c?
False
Let z = 3 - 3. Suppose 5*u - 4*a = -2*a - 2, u + 3*a - 3 = z. Suppose 2*i + u*i = -2. Is i less than -5/4?
False
Suppose 4*h = h - 2*d - 839, -4*h = -3*d + 1147. Let r = 1703/6 + h. Are r and 0 nonequal?
True
Let j = -7264/1541 - -95830568/84755. Let o = -1126 + j. Is o bigger than 1?
False
Let f be 0*((-6)/4 + 2). Let l be 2 + -6 - (7 + -5). Let q be (-23)/7 + l/(-21). Which is greater: q or f?
f
Let f be (9 - 6) + (5 + 3)/2. Do 3 and f have different values?
True
Let h be 48/20 + (-4)/10. Suppose 2*i = -h*x - 2*x - 26, 1 = -4*x + 3*i. Let g be x + 0 + (4 - 3). Which is greater: g or -1?
-1
Suppose -52 = y - n - 2*n, -5*n + 105 = -2*y. Let c be (16/5)/((-22)/y). Which is bigger: c or 10?
10
Let n be (-3 + 2)*14/252*18. Is n > 6/113?
False
Let r = 1131 - 21478/19. Which is greater: r or 1?
1
Suppose 5*j = -10, 2*j + 40 = -5*u + 7*j. Let k be u/45 + (-856)/18. Let a = 48 + k. Which is smaller: a or 0?
0
Let d = 0 - 1. Let i be 9/(-15) + 69/15. Let h be (-1)/i*(-12)/15. Which is smaller: d or h?
d
Let p be ((33/(-3732))/11)/((-1)/4). Which is bigger: -1 or p?
p
Let l be 1*(-1 + (5 - (32 + 3))). Is -9 > l?
True
Suppose 4*j + 190 = 2*a - 48, -2*j + 5*a = 107. Which is smaller: j or -60?
j
Let p = 42.2 + 12.8. Let d = -69 + p. Which is greater: d or -0.4?
-0.4
Suppose 2*a - 5*r + 6 + 10 = 0, -a = -r + 8. Suppose -9*u - 15 - 30 = 0. Does a = u?
False
Let t = -6748/27 - -250. Let u be ((-4)/20)/((-1)/25). Suppose 5*q = 25, 0 = r + r - u*q + 25. Which is smaller: r or t?
r
Let w = -6.26 + 11.26. Which is greater: w or -1/3?
w
Let c = -62.8 - -62. Which is bigger: -5 or c?
c
Let o be 52/10 - 2/1. Let d = -30 + 32. Which is smaller: d or o?
d
Let n be (-2)/3 - (2 - (-912)/(-18)). Does n = 148/3?
False
Let y be (-2883)/(-1926) - (55/(-10) + 7). Is -1 bigger than y?
False
Suppose 2*d = -2, -2*y = d + d + 6. Which is greater: -17/32 or y?
-17/32
Let i be (4/(-60) + (-1)/(-15))/(-1). Is -21/31 greater than or equal to i?
False
Let k(x) = -2*x + 9 + 0*x - 4 + 7. Let m be k(7). Is m smaller than -2?
False
Let m = 156 - 152. Let f = 2/461 + 14277/3227. Which is smaller: m or f?
m
Let g be 1/14 + 0/2. Let c = 37 + -33. Let p be ((-66)/(-88))/((-6)/c). Is p at least g?
False
Let d = 7 - 15. Let l(w) = -w**2 + 1. Let n be l(d). Let o be (12/16)/(n/(-48)). Is 1 greater than o?
True
Suppose -16*t + 6*t + 70 = 0. Let v(y) = 2*y - 15. Let u be v(t). Which is smaller: u or 1/9?
u
Suppose j + 2*j = -420. Suppose 4*i + 19 = 5*p - 47, 2 = 2*i. Let r be ((-12)/p)/((-45)/j). Is -4 smaller than r?
True
Let d = 5.1 + -4. Let w be 6/5 - (-4)/(-20). Let i be (0 - w)/(-6 + (-54)/(-12)). Are i and d equal?
False
Let t = 1492943/604 - 9887/4. Let o = 5753/1510 - t. Which is smaller: 3 or o?
3
Let f = 19.5 + -13.5. Are 0.06 and f equal?
False
Let o(v) = -v**3 - 6*v**2 - 5*v - 2. Let a be o(-3). Let y be (-4)/6 + a/6. Let z(d) = -d**2 - 6*d - 7. Let w be z(y). Which is greater: 6/5 or w?
w
Let r = 19 + -17. Let v be (5 - 11) + (r - 2). Let l be 2*(-4)/(-64)*v. Is 0 less than l?
False
Let s = 2.5 - 6.5. Let y = -0.33 - -3.23. Let x = y - 3. Is s at most as big as x?
True
Suppose 0 = -5*v + o - 2060, -3*v + o = 3*o + 1249. Which is greater: -1/2 or v?
-1/2
Suppose 0 = -5*f - 39 + 14. Let v = f + 5. Let o = -1.5 + 0.8. Are v and o unequal?
True
Let v be (-5 + 8)*(6/(-9) + 1). Let b(t) = 4*t**2 - 1. Let o be b(-1). Let s = v - o. Are -4 and s nonequal?
True
Let j = 23 + -20. Suppose -2*l - j = 9. Let d be l/(-8) - (-1)/4. Is d greater than or equal to -2/7?
True
Let q(x) = -2*x**3 - 6*x**2 - 9*x - 21. Let s be q(-4). Which is bigger: 48 or s?
48
Let o(u) = 5*u - 105. Suppose 20 = -5*v, -i + 4*i - 2*v - 68 = 0. Let j be o(i). Do -7 and j have the same value?
False
Let t = 11.39 + -11.3. Let f = t + 0.01. Is f <= 23?
True
Suppose -51 = -20*q - 31*q. Let t be 1/(0 + -1 + 0). Let l be t + 2 - (-10)/(-8). Which is bigger: q or l?
q
Suppose 4*g = s - 3, -g = 3*s - 2*g - 9. Let m = -13/5 + s. Let x = 1 - 1. Which is smaller: x or m?
x
Let j = -851611/118 + 7217. Is j < 0?
True
Let c = -3.4 + 3. Let h be (-8)/(-72) + (-6)/(-189)*7. Which is greater: c or h?
h
Let h be 2/(-6) + 5390/(-651) + 9. Suppose 4*z = 6*z - 2. Is h at most as big as z?
True
Let z be -5*((-7)/6 - -4). Which is bigger: -13 or z?
-13
Let k be 12/2 + (-12)/6. Let j = 3 + -1. Suppose k*b - j = -34. Is b equal to -9?
False
Let r = 410 - 410. Is 5/32 >= r?
True
Suppose 0 = -s - 3*s + 12. Let g(k) = 0*k**s + 6*k**3 + 5*k**3 - 10*k**3 + 7*k**2 + k + 8. Let v be g(-7). Are v and -6/13 non-equal?
True
Let g(r) = 31*r + 38. Let t be g(-5). Do t and -118 have the same value?
False
Suppose -159*u - 196 = -155*u. Which is smaller: -48 or u?
u
Let x be ((-10)/6)/(3/(36/(-10))). Let o(b) = -5*b**2 + 3*b + 3. Let v be o(x). Which is smaller: 0.1 or v?
v
Suppose 0 = 4*v - 2*i + 144 - 20, -4*i + 155 = -5*v. Let m = v + 30. Which is smaller: m or 2/59?
m
Let w = -20 - -26. Suppose -5*q = -2*c + 31, 2*c - c + 2*q = 2. Let p = c - w. Which is smaller: 3/2 or p?
3/