smaller than w?
True
Let w(j) be the first derivative of -j**2/2 - 6*j + 3. Let h be w(6). Let o = 19 + h. Are 9 and o equal?
False
Let n(k) = 20*k + 65. Let z be n(-17). Are z and -274 equal?
False
Let q = -1944499/341985 + 2/9771. Let u = q + 27/5. Suppose 11 = -3*z + 8. Is z at least as big as u?
False
Let w(r) = -r**2 - 7*r - 10. Let g be w(-5). Let o = 0.47 + -17.67. Let t = o - -18. Is g greater than or equal to t?
False
Let d = -33 - -30. Let u = -1 - d. Is -0.1 at least as big as u?
False
Let t(g) = 9*g + 22. Let v be t(-2). Let d = -8 - -11. Suppose 5*y = r - 2 - d, -v*y - 3*r - 23 = 0. Does y = 0?
False
Let p = 0.1 + 0. Let z = -14.7 + 163.7. Let b = 148.97 - z. Which is bigger: b or p?
p
Let k = 786 - -15. Which is bigger: 802 or k?
802
Let o = -9.92 - -8.9. Let x = o + 0.12. Let g = x - -1. Is 4/11 at least g?
True
Let i = 22/29 - 976/1363. Which is greater: 4 or i?
4
Let x be -6*(-40)/192*8. Are 4 and x nonequal?
True
Let k = -139041/110 - -1264. Is k <= -1?
False
Suppose -2*u + 7 = -13. Let j = 5 + -3. Suppose -j*i + 30 = 8. Which is smaller: u or i?
u
Suppose -3224 = 34*l - 8*l. Is -126 at least as big as l?
False
Suppose 42*q = 5127 + 15621. Is q less than 494?
False
Let y(i) = -3*i + 6. Let c be y(-5). Let b be c/14*(-2)/(-3). Let g be 9/21 + 410/(-1022). Which is greater: g or b?
b
Let k be (-343)/12 + ((-10)/12)/(43/86). Let v(h) = -h**3 - 6*h**2 + 3. Let s be v(-4). Which is smaller: s or k?
k
Let l be 931/38*(-28)/6. Which is smaller: -114 or l?
l
Let d be (1 - (-14)/(-11)) + (19 - 16). Is d less than 4?
True
Let y = 151 + -150.78. Let j(c) = c**2 + 15*c + 5. Let k be j(-7). Let z be 3 - (-2 - k/9). Is y less than z?
False
Let s = 4576 - 1121118/245. Let j = s - 20/49. Let g = 1.4 - 1.3. Which is smaller: g or j?
j
Let b = 89.26 + -53.07. Let h = b - 36. Let p = -0.31 - h. Which is greater: p or 2?
2
Let i = 0.2 - 0.07. Let p = i - -0.06. Let t = p - 0.19. Which is bigger: 3 or t?
3
Let k = -1/356 - -16737/1780. Let o = k + -319/35. Which is smaller: o or 2.5?
o
Suppose 2 + 2 = 4*k. Suppose -44*h + 42*h = t - 3, 3 = -3*h - 3*t. Which is greater: h or k?
h
Suppose 26 = -6*c + 20. Let m be 1/(-5) - (-2 - -2). Which is smaller: m or c?
c
Let l(m) be the second derivative of -m**3/6 - m**2/2 - 2*m. Let d be l(-7). Let a be (-12)/(-54)*d/2. Which is smaller: a or 1?
a
Let s = 7.4 - 0.4. Suppose -2*l + 50 = -4*z, -3*z - 35 = -0*z - l. Let b be 7/14 - (-9)/z. Which is greater: s or b?
s
Suppose -29*h = -42*h - 221. Let r be (-4)/(-3 - 39/(-12)). Which is greater: r or h?
r
Let w = 3 - 3.1. Let u = -197.7 + 197.33. Which is smaller: u or w?
u
Suppose 8*t = 13*t + 150. Let i = -32 - t. Which is smaller: i or -2/3?
i
Let a be -3 + (-3 - 1 - (-197 + 5)). Is a at most 187?
True
Let t(r) = -r**3 + 4*r**2 - r + 6. Let b be t(4). Which is bigger: 47 or b?
47
Let b be ((-34)/6)/((-2)/(-6)). Let v = b - -19. Let s = v + -14. Which is smaller: -11 or s?
s
Let b(t) = t**3 + 8*t**2 + 4*t - 2. Let f be b(-7). Let v = -17 + f. Let w be 12 + (-9)/3 - v. Is 6 at most w?
True
Let q = 1282 + -1292.94. Let i = -21 + 32. Let g = i + q. Which is smaller: -1 or g?
-1
Suppose 5*l + n - 20 = 0, 5*n - 25 = -5*l - 5. Suppose 3*u + 20 = 4*z, -3*u - l*z - 4 = -0*u. Are -4 and u unequal?
False
Let l = 6.89 + -7. Let i = -173/9912 - 3/472. Let d = i + 23/84. Is l at most as big as d?
True
Suppose 0 = -4*v - 0*v + 2*q - 4, -5*q - 5 = -5*v. Let f(r) = -r - 2. Let n be f(v). Is n > 2?
False
Suppose 5*b - 808 = 5*k - 178, b - 257 = 2*k. Do k and -131 have the same value?
True
Suppose -4*v + 9 = g, -3*v - 5 - 2 = -2*g. Let f be (g/(15/(-3)))/67. Which is bigger: f or -1?
f
Let d be (-8)/4 + 0 + 12. Let z = -11 - d. Let s be (-12)/42 + (-12)/z. Is s > 1?
False
Suppose 4*c = -49 + 17. Let p be 2/c + 85/20. Let v be 3/12 + 57*(-1)/(-12). Which is smaller: p or v?
p
Let g be ((-6)/9)/2 - (-4450)/(-15). Which is greater: -296 or g?
-296
Let r be 1 - -1 - 0/(-1). Suppose r*w + 0 = 4. Suppose -2*p - 2 = -w*i + 3*p, 0 = -5*p. Which is greater: -2/17 or i?
i
Suppose q - 83 - 23 = -4*n, 2 = -q. Let a be (n/18 + 17/(-10))*2. Is 22 less than a?
False
Let l be 10/(-8)*(-136)/17. Suppose -a + 18 = -4*a. Let p = 17 + a. Which is smaller: p or l?
l
Let v be 4 + ((-22306)/(-931))/(0 + -6). Is -1 > v?
False
Suppose -5 = 5*q - 2*z, 2*q - z + 4*z - 17 = 0. Which is bigger: -48 or q?
q
Let y = -47 - -47. Which is greater: 6/157 or y?
6/157
Let p = 178913/69 - 2593. Which is smaller: 0 or p?
p
Let k be (-24)/(-36) + (-22)/(-3). Suppose k*z - 3*z + 610 = 0. Let h = z + 491/4. Which is greater: h or 2?
2
Let c = -1148 - -2129/2. Which is smaller: -85 or c?
-85
Let y = 0 + 7. Suppose 3*h - 9 = -j, -4*j + 4 = h - 10. Suppose h*d - y = 5*z, d = -0*d + 3*z + 5. Is d greater than -3?
False
Let a = -16.8 + -1.2. Let l = a - -11. Let f = -90/217 - -4/31. Which is bigger: l or f?
f
Let g be (-2 + 2)*23/69. Let f be (-80)/(-198) + 10/(-45). Which is smaller: f or g?
g
Let h(m) = m**2 + 16*m + 8. Let n be h(-16). Let p be 132/n*8/156. Which is greater: 0 or p?
p
Suppose -63 = 4*r + 89. Let h = 39 + r. Do h and 2/9 have different values?
True
Let p(r) = r**2 + 25*r + 153. Let a be p(-17). Which is greater: a or 12?
a
Let p be 65/22 + 17/34. Let b = -224/33 + p. Let w(s) = -2*s + 6. Let q be w(5). Which is bigger: b or q?
b
Let b(v) = v + 6. Let i be b(-6). Let o(x) = -x**2 - 9*x - 19. Let q be o(-6). Let u be i/(-1 - 2/q). Which is greater: -4 or u?
u
Let r = -562 - -3938/7. Which is smaller: r or 1/9?
1/9
Let h be (42/(-8))/((-18)/(-48)). Let o be 9/12*2*h. Let z = o + 26. Is z at least 16/3?
False
Let j be -3 - (-987)/(2 + 1). Is 324 > j?
False
Let x be 4/20 - 9384/(-30). Is x greater than or equal to 313?
True
Suppose -4*m + 2*o + 30 = 0, 5*m = 3*o + 6 + 33. Let i be (-2 - m/(-3)) + 27. Is 27 greater than i?
False
Suppose 3*u = g - 21, -4*g = 2*u - u - 6. Let h = u + 9. Let b be (8/(-6))/(5/h). Which is greater: -2 or b?
b
Let i = 2 - 8. Let f be ((-68)/i)/((-34)/51). Let y = f + 79/5. Which is smaller: -2 or y?
-2
Let s be 46/(-126) + (-3)/(-9). Let h = -176 + 177. Is s not equal to h?
True
Let d be 14 + -27 + (3 - -1). Suppose -2*u = 5 - 1, -2*u = -5*n - 46. Is n not equal to d?
True
Suppose u + 4*o = -7, 4*u - 3*o - 8 = 2*u. Let g = -68 + 206/3. Is g less than u?
True
Let p(f) = 49*f**2 - 19*f**2 - 24*f**2. Let o be p(-1). Let a be (-14)/(-2) + (-16)/8. Is o greater than a?
True
Let b be -10*((-18)/10 - 1). Let z be 35/2*b/(-35). Let w = z - -15. Which is smaller: 8/7 or w?
w
Suppose -13*o + 28 = -11*o. Suppose 0 = -0*d - o*d - 28. Which is smaller: -12/7 or d?
d
Let y(w) = 19*w - 519. Let v be y(30). Which is smaller: v or 55?
v
Suppose -x - 3 = -5*g - 6, 4*x + 4*g + 12 = 0. Let t = -1504 + 1489. Which is smaller: x or t?
t
Let b be 0 - -1 - (-92)/4. Let g = b + -12. Let l be (-9)/45 - g/(-10). Which is greater: 2 or l?
2
Let t(y) = -y**2 + 8*y - 12. Let q be -122*3/(-54) + 12/54. Let a be t(q). Let j = -164/3 - -54. Is j at most as big as a?
False
Let b be 6 + -3 + (-9)/1. Let n(l) = l**3 + 5*l**2 - 8*l - 5. Let w be n(b). Which is smaller: w or 9?
w
Let w be 9/(-6)*17940/117. Which is greater: -229 or w?
-229
Let j = 2.742 - 2.5. Let v = j - 0.012. Let l = 2.23 - v. Is l smaller than -2?
False
Let g = 507 + -995/2. Let l = -18533/7 - -2657. Let u = g - l. Is u at least 1?
False
Let p be ((-1)/(-2))/((-9)/(-8)). Let y be (-2)/((-3 + 1)*1). Which is greater: p or y?
y
Let k be (-36)/(-63) + (-2444)/14. Let n = 1413/8 + k. Which is bigger: n or 2?
n
Suppose 4*t = 12*p - 15*p + 909, -4*p + 1212 = -5*t. Is p at most as big as 303?
True
Suppose -l + 3*m - 5 = -0*l, 4 = 2*l + m. Let t = 50 + -50. Let d be (t + (12 - 0))*4/56. Which is smaller: l or d?
d
Suppose 0 = 3*c + 2*h - 6, -7*c - h + 10 = -2*c. Suppose -4*b + c*i = 68 + 94, -4*b - 159 = -3*i. Are b and -42 non-equal?
False
Suppose 26*l + 13*l + 3627 = 0. Is l at least -90?
False
Suppose 4*p + 161 = -223. Let j be (-4)/(-14) + 138170/(-1435). Is j < p?
False
Suppose 9 = -4*a + a. Let j be 11 + a - 0/(-2). Which is smaller: 10 or j?
j
Let t(r) = 18*r + 28. Let n be t(-1). Suppose -2*l - l + 4 = -5*d, -4*l + 4*d = -16. Let o = 3 + l. Is n > o?
False
Suppose -4*h - 3*s + 47 = 0, s - 5 = -4*s. Suppose -h*z + 12*z = -7. Let l = z - -2. Is l 