 Are k and s unequal?
True
Let c = 472/3 - 153. Are c and 5 nonequal?
True
Let k = -9 - -13. Suppose -k*s + 10*i - 5*i = -92, 0 = 4*s + i - 92. Which is smaller: 1 or s?
1
Let h(q) = q**3 + 14*q**2 + 4*q + 9. Let u be h(-12). Are u and 252 nonequal?
True
Let m = -15401729/1089 + 14143. Which is greater: m or -1?
m
Suppose -22 = -7*w + 8*w. Let i = -23 - w. Let z be (-3)/((-10)/8*-1). Is i >= z?
True
Let y(w) = 42*w + 93. Let z be y(7). Is 386 less than z?
True
Let s = -15 + 15.2. Let r be 1 + 2 - (-5 - -8). Suppose r = 3*j + 7 - 19. Which is bigger: s or j?
j
Let o = 125/292 + -13/73. Is o at most as big as 25?
True
Let m(y) = -y**3 + 12*y**2 + 10*y + 6. Let v be m(12). Do v and 126 have different values?
False
Let o be -56 + (8 + -8)/6. Which is smaller: o or -273/5?
o
Let s(i) = 2*i + 12. Let n be -1 - 5*6/5. Let y be s(n). Let m be (-1 + 9)*y/20. Is m smaller than -1/2?
True
Let s = -7.2 + 7.06. Let k = 190 - 192. Which is greater: s or k?
s
Let y = 379 + -366. Is 14 less than y?
False
Suppose 0 = 3*u + 3*j + 93, u + 4*u + 2*j = -140. Let r = -17 + 43. Let o = u + r. Which is greater: o or -2/35?
o
Let o be (-1)/((-1)/(2 + 1)). Suppose -o*a = -7*a + 20. Suppose -a*k = 15 - 45. Which is smaller: k or 3?
3
Let a(h) = -2*h**2 - 11*h - 15. Let p be a(-7). Let q = -116 + 81. Is p at most q?
True
Suppose 0 = y + y. Let v be (7/161)/((-14)/4). Which is smaller: y or v?
v
Suppose 9*u + 462 = 15*u. Do u and 77 have different values?
False
Let p = -5 + 5.03. Let z = -0.14 + 0.31. Let u = z + p. Which is smaller: 0 or u?
0
Let s(a) = -a**3 - 2*a**2 - 3*a - 4. Let l be s(-2). Let q(b) = b + 4. Suppose 3*p = -x - 2*x - 6, -3*p - 7 = 2*x. Let i be q(p). Which is bigger: l or i?
l
Suppose 3*d - 33 = m, -2*d + m = 3*m - 30. Suppose -262 = -d*b + 374. Is b >= 52?
True
Let q = 40 + -32. Suppose -q*m = -10*m - 2. Which is greater: -1/4 or m?
-1/4
Let t = -4 - -1. Let m(u) = u**2 - 9*u + 19. Let x be m(8). Suppose 6 = -5*s + x. Which is bigger: s or t?
s
Let h(k) = 5*k**2 - 34*k + 46. Let c be h(5). Is 16/17 not equal to c?
True
Let t = 198 - 165. Is 33 smaller than t?
False
Let f be 7/(-126)*5/((-10)/6). Which is smaller: f or 8?
f
Let s be 6/(-9) - 5/(-30). Let h(g) = -g**3 + 5*g**2 + 7*g - 8. Let w be h(6). Let c be w*3*(-2)/18. Which is smaller: s or c?
s
Let l be 1*12/(-4)*(-4)/(-60). Which is bigger: l or -155?
l
Let u = -30 + 37. Let c = -7.05 + u. Is c at most 3?
True
Let r = -29 - -48. Suppose h = 2*q - q - 12, 0 = -2*q + 3*h + 25. Let p = r - q. Is 8 greater than or equal to p?
True
Let b = 0.244 + -0.004. Let t = -0.54 + b. Which is greater: 9 or t?
9
Let i(n) = -10*n - 5. Let z be i(4). Let p be (1 - (-4)/(-3))*z. Suppose -42 = -3*a + 2*w, 2*a + 0*w - 28 = -w. Do p and a have the same value?
False
Let k be (6/(-36))/1*(-32)/(-36). Does k = 3?
False
Let g = 0.63 - 0.8. Let m = g - -0.27. Let k = 16 - 10. Which is greater: m or k?
k
Suppose -14 = -o + 4*g, 2*o = -3*o + 4*g + 134. Let a = -42 + o. Let y = -15 - a. Is y not equal to -0.1?
True
Let n = -5.48 + 5.68. Is n smaller than 321?
True
Suppose 66*k - 63*k - 24 = 0. Suppose -3*q + k = 2. Which is smaller: -4 or q?
-4
Let c(u) be the third derivative of -u**4/3 + 31*u**3/6 + 22*u**2. Let a be c(8). Is a bigger than -33?
False
Let k = -2.3 + 2.32. Let a = k + 0.98. Is 1/3 equal to a?
False
Let t = 857 - 830. Which is bigger: 1.1 or t?
t
Suppose 0*s = -4*f + 2*s + 310, -5*f + s = -383. Let t(l) = 77*l**2 + 3*l + 1. Let d be t(-1). Which is greater: d or f?
f
Let d = 61 - 68. Let k = 22 + -27. Which is smaller: d or k?
d
Suppose -2*l + 98 - 14 = 0. Let x = -66 + l. Let o be 10/24 - (-6)/x. Which is smaller: o or 0?
0
Suppose -4*m - 590 - 26 = -4*g, -m - 142 = 3*g. Which is greater: 1 or m?
1
Let r = 4 + -15. Let i = -9.34 + -1.36. Let x = i - r. Is x bigger than -1/5?
True
Let l be (-1)/1 + (-15)/(-3). Let c(j) = -j**2 + 3*j + 2. Let s be c(l). Let m(t) = -t**3 - 2*t**2 - 3. Let d be m(0). Which is bigger: d or s?
s
Let s be -1*((-25 - -1) + 0). Suppose -192*r + 194*r - 44 = 0. Which is smaller: r or s?
r
Suppose 4*g = -2*y - 18, -y - 29 + 5 = 5*g. Let w = -22 + 22. Is y less than w?
False
Let s be (-24)/140*-5 + (1044/(-42) - -8). Let b = -1.8 - -2. Which is smaller: s or b?
s
Let k = 33 + -33.21. Let o = 0.17 + k. Let y = 5.04 + o. Which is smaller: 1 or y?
1
Let w be ((39/(-18))/13)/((-1)/6). Which is greater: 1/2 or w?
w
Let h = 234 + -233.996. Which is greater: h or -2?
h
Let z(p) = 2*p + 2. Let g be z(-2). Let a = -3 - g. Let c be a/(-2) - 3/2. Is c at least -12?
True
Suppose -r - 2*y - y = -8, 2*r - 16 = -3*y. Let w be 18/14 + r/(-28). Which is smaller: 2/15 or w?
2/15
Let m be ((-6)/(-5))/((-4)/170). Let d = -52 - m. Is -3/7 > d?
True
Suppose -3*w + 12315 = -6*w. Let p be w/(-20) + (0 - -4). Let r = 208 - p. Is r >= 0?
False
Let h = 593/2 + -291. Let x = h + -4. Which is greater: 1 or x?
x
Let c = -251 + 441. Is c at most as big as 191?
True
Let y = -401 - -396. Which is smaller: 11 or y?
y
Let i be (-10 - (-56)/6)*1110/(-4). Which is greater: i or -4?
i
Let h be -4 + 0 + 216/6. Let j be ((-5384)/h)/(1/(-4)). Let s = j - 4703/7. Which is bigger: s or 2?
2
Let o = 297 + -293. Let b = -32 - -104/3. Which is smaller: b or o?
b
Let r(k) = -3*k**3 - 50*k**2 + 22*k - 54. Let s be r(-17). Is s <= -132?
True
Suppose 0 = -4*z + 4*l + 876, -2*l + 4 = -l. Let h = 2227/10 - z. Which is smaller: -1 or h?
-1
Let n = 582.4 - 581. Is n not equal to 63?
True
Let k be ((-39)/(-4))/((22/48)/(-11)). Let z be (k/(-30) - 8)/(2/(-4)). Is z at least as big as -1.2?
True
Let r = -6495/8 - -5189209/6392. Let b = 1/141 + r. Do b and 1 have the same value?
False
Let u = -2303956 + 20708170/9. Let r = 3045 + u. Is -4 at least r?
False
Let j be (-3)/9*(-12006)/14. Let z = 287 - j. Suppose 0 = 19*u + 24*u. Is z not equal to u?
True
Let n be (-42)/12*34/119. Let b be ((-2)/6)/((-2)/(-4)). Which is smaller: n or b?
n
Let l(s) = -2*s + 21. Let p be l(-8). Suppose 45 = 3*b - 2*c, -3*b + p = 3*c - 8. Which is bigger: 14 or b?
b
Suppose -2*h - 3*h = 0. Let i = 8692/94731 + -4/1041. Let d = i - 2/2093. Is d less than or equal to h?
False
Let b = 33/26 + -10/13. Which is greater: -2/11 or b?
b
Suppose 3*f + 1 = -g, f + f - 5*g = 22. Let r = 169511/30996 - 5/1107. Let k = r + -21/4. Which is greater: f or k?
f
Let x = -159.9 - -177. Let a = x + -17. Is a at least as big as -1.4?
True
Let j = -13.44 - -8.44. Do -0.96 and j have the same value?
False
Suppose 0 = 7*o - 6*o - 4. Suppose o*d + 37 = -43. Let m be (3/15)/((-4)/d). Which is bigger: 5/14 or m?
m
Let d = -185/2 + 6841/74. Let q be (-59)/1593 - 112/(-108). Which is bigger: d or q?
q
Let w(j) = -9*j**2 + 87*j + 34. Let t be w(14). Does t = -511?
False
Suppose -5*g - 4*n + 54 = 0, -g - 14*n = -13*n - 11. Are 13 and g equal?
False
Let i = -222.9 - -223. Is i less than 44?
True
Let i = -16658/9 + 1888. Which is bigger: i or 36?
i
Let j(q) = -q + 10. Suppose -5*g - 2*a = -68, -4*g - 5*a + 80 = g. Let b be j(g). Let f be b/(-11) + (-8)/44. Is f equal to 0?
True
Let s = -3.02 + 23.22. Is s not equal to 0?
True
Let g = 299 - 116. Which is smaller: 184 or g?
g
Let u = 10 - 9. Let x be 58/(-102) + -7 + 110/15. Is u > x?
True
Suppose 6 - 1 = 5*t. Is t <= 2/759?
False
Let a = 0.08 - 0.08. Is -292 at least as big as a?
False
Suppose 1990 - 564 = -23*d. Which is smaller: d or -63?
-63
Let c = 1945 + -1985. Is -18 at least as big as c?
True
Let o = -71075943/2983 - -23827. Is o <= 0?
True
Let g be (-9)/6 - 3478/(-1104). Let h = g - -3/184. Is h at least 3?
False
Let t be (-32)/168*(-6)/(-4). Let a = -441 - -450. Is t at most a?
True
Suppose 13*v = -v + 2*v. Is v greater than 0?
False
Let q = 850 + -1824. Which is smaller: q or -975?
-975
Let a be 2 + (1 - (1 - -1)). Let f = -63 - -67. Suppose 46 = f*d + 54. Is d at least as big as a?
False
Suppose -3 = 4*t + 1. Let g = -329 + 348. Do g and t have the same value?
False
Let o = -1159 - -1025. Which is smaller: -940/7 or o?
-940/7
Let t(m) = -2*m**3 - 20*m**2 + 43*m - 4. Let l be t(2). Let j(p) = p**3 + 3*p**2 + 5*p + 2. Let v be j(-3). Are v and l nonequal?
True
Let y = -109.265 + 0.265. Let b = y - -109.3. Is b at least -1/33?
True
Let r = -4 + 1. Let g be (-2)/(-4)*(-3)/r. Let f = 1.2 + -1. Is g smaller than f?
False
Let s = 1.3 - 1. L