5 less than s?
True
Let s = -128 - -239. Let f = s - 443/4. Is -3/8 < f?
True
Suppose -c - 240 + 241 = 0. Is c less than 1/57?
False
Let w(m) = m**3 + 30*m**2 + m + 22. Let n be w(-30). Which is smaller: n or -110/13?
-110/13
Let r(v) = 8*v + 199. Let b be r(29). Is b greater than or equal to 432?
False
Let a be ((-2)/(-5) - 558/495)*-3. Is a less than 1?
False
Suppose 0 = t - 5*y + 121, -4*t = 4*y + 637 - 201. Which is bigger: -112 or t?
t
Suppose 3*b = 2*q + 4*b + 59, 3*b = 5*q + 175. Suppose 96*k = -21*k - 3627. Which is smaller: k or q?
q
Let x be 664/(-1008) - 4/(-9). Suppose 6*n + 5 = n. Do x and n have the same value?
False
Let h = 177 + -178. Which is smaller: 2/157 or h?
h
Suppose -5*n + n + 4*m = -80, 5*n - 96 = 4*m. Suppose -2 - n = -6*t. Let i = 0 + 0. Is t at most i?
False
Let n be 9/(-2)*(-38)/16473. Is n <= 0?
False
Suppose -3*p + 5*p - 3*s + 5 = 0, -9 = 5*p - 4*s. Let g = p + 0. Let l be (99/132)/(2/(-8)). Is g bigger than l?
True
Let w be (-27)/9 - 316/2. Let k = w + 97. Let a be k/140 + (-2)/14. Do a and -1 have different values?
True
Let t = 39.3 - 5.3. Let v = -33.3 + t. Is v less than or equal to 1?
True
Let z(x) = x**3 + 3*x**2 + x + 2. Let n be z(-2). Suppose -24 = -n*v + 20. Let b = v + -11. Which is greater: b or -1/3?
b
Let q be 8/(-28) + (-18)/(-14). Let l be -10 + 11 + (-11)/5. Is l less than or equal to q?
True
Suppose 36 = 50*t - 47*t. Which is smaller: 10 or t?
10
Suppose -b = -63 - 40. Which is smaller: b or 104?
b
Suppose u = 1 + 3. Let v be 1*3934/1071 - 4/34. Which is greater: v or u?
u
Suppose 12 = 4*b, -2*o - 4*b + 3 + 37 = 0. Let w = 1 + 14. Which is smaller: o or w?
o
Let u = 2 + 0. Suppose -3*a + 17 = 5. Let f = a - u. Is 3/2 smaller than f?
True
Let x(p) = -p**3 + 8*p**2 + 31*p + 23. Let k be x(11). Does k = -1/112?
False
Let z = 8 + -9. Let g(s) = -2*s**3 + s**2 - 1. Let p be g(z). Suppose -c - p*c = 3. Which is smaller: 2/29 or c?
c
Let b = 1 - 2. Let l = 13 + 5. Let v be 21/(-27) + (-4)/l. Is v < b?
False
Let a = -2810677/87 + 32306. Let x = 1/29 - a. Which is bigger: x or -0.25?
x
Let k = -0.12 + 0.55. Let b = k + -0.46. Which is smaller: 2/9 or b?
b
Let h = 17 + -1. Suppose 0 = 2*a + 2*i - h, 3*i + 45 = 5*a - 27. Let w be (-20)/a + 1/(-3). Do w and -12/7 have the same value?
False
Let r(m) = -m + 1. Let p be r(-1). Let n = -15 + 13. Let o be n*(1/9)/(-1). Is p at least o?
True
Let u = 553 - 547. Is u greater than 0.6?
True
Let x(k) = -2*k - 2. Let q be x(-1). Suppose -2*a + 4*b + 22 = q, -b - 4 = -2*a - 6*b. Is a > 9?
False
Let s = 73/10 - 39/5. Let z = 2.8 - 1.2. Which is bigger: z or s?
z
Let m = 0.3 - 0.3. Let v = 0 - m. Let b be 3/9*(-3 - (4 + -6)). Which is smaller: b or v?
b
Let l be 1220/900 + 3/(45/(-2)). Is l at least 0?
True
Let m = 18 - 86. Which is bigger: -70 or m?
m
Let k(v) = v + 20. Let a be k(0). Let n be (-22)/(-28) + (-10)/a. Is n less than or equal to -3?
False
Let l be 600/225*(81/4)/(-1). Is l != -54?
False
Let c = -14.007 - -0.007. Let x = 1 + c. Which is bigger: -0.3 or x?
-0.3
Suppose m + 5*r - 27 = 0, 11*r - 13*r + 10 = 0. Is m equal to 31?
False
Let p(i) = -7*i + 77. Let h be p(11). Which is greater: h or -1/65?
h
Let a = -63 - -100. Let w = a - 36. Is w smaller than 3/13?
False
Let x be (2 + 5)/((-44)/11). Let g be (2 - 7) + (3 - (3 + -3)). Which is smaller: g or x?
g
Let t = -2.4 + 6.4. Let b = 4.11 - t. Which is bigger: b or 1/2?
1/2
Let o = 12 - 9. Which is smaller: -32 or o?
-32
Let o = -575 + 414. Are o and -161 unequal?
False
Let f = -1780 - -1763. Which is smaller: f or -226/13?
-226/13
Suppose 0 = -4*m - 12, 6*m - 53 = 2*n + m. Let o = 16 + n. Does 0 = o?
False
Let t = -24.993 + -0.007. Let c = 25 + t. Are c and 12/17 nonequal?
True
Suppose 3*j + 14 - 45 = 5*y, 0 = -5*y + 2*j - 29. Let p(r) = -r**3 + 5*r**2 - 10*r + 14. Let a be p(4). Is a < y?
True
Let n(y) be the second derivative of -y**4/12 + y**3/3 - y**2 - 2*y. Let w be n(2). Let g be 1/(-3) + 11/(-33). Which is greater: g or w?
g
Let b(f) = f**2 + 2*f - 2. Let d be b(-4). Suppose -8 = 9*p - 35. Is d bigger than p?
True
Let w(s) = -s**3 + 11*s**2 - 11*s + 12. Suppose -5*d = -7*d - 30. Let q be (-2)/(-5) + (-144)/d. Let p be w(q). Which is smaller: p or 6/7?
6/7
Let w(x) = x**2 - 4*x - 4. Let r be w(2). Let o = r + 8. Let f = -2/15 - 8/15. Which is smaller: f or o?
f
Let w(c) = c**3 + 7*c**2 + 5*c - 12. Let x be w(-5). Let u be ((-4)/(-3))/(x/(-3) - -4). Which is greater: u or 1?
1
Let v = 4568.929 - 4567. Let i = 0.109 - v. Let w = i + -0.18. Which is smaller: -1/5 or w?
w
Suppose -2*x + 2*d = 4*d - 8, 4 = 4*x - 2*d. Suppose o = 8 - 11. Let n = o + 7. Is n equal to x?
False
Let q(p) = -165*p**3 - 2*p**2 - 2*p - 2. Let i be q(-1). Are i and 165 nonequal?
True
Let b(v) = v**2 - 5*v + 1. Let l be ((-6)/4)/((-3)/8). Let g be b(l). Suppose -3*p - 34*q + 29*q = -24, -p = 5*q - 28. Which is smaller: g or p?
g
Suppose -u + 163 = -5*f + 3*u, 3*f + 5*u = -120. Let w = f - -80. Is w at least 46?
False
Let w = -77 - -122. Let h = -36 + w. Is 7 not equal to h?
True
Let g(l) = -2*l - 22. Let t = 25 + -35. Let q be g(t). Let c be ((-7)/(-28))/(2/(-12)). Is q >= c?
False
Let z(o) = 1 - 16*o + 12*o - 6. Let c(m) = m + 1. Let l(w) = -3*c(w) - z(w). Let p be l(5). Is p at most as big as 8?
True
Suppose 2*a = -30 + 94. Let d = 52 - a. Suppose d*o = 15*o. Are o and -6/5 non-equal?
True
Suppose 0*x + 180 = -3*x. Let m be ((-1)/4)/(6/x). Which is smaller: 0 or m?
0
Let p be 16/(-32) + 3/6. Let u be -6*(-2)/32*1. Is u at least p?
True
Let w = 340 - 622. Let n be (w/(-21))/(9/21). Let s = -30 + n. Does s = 1?
False
Let p = 330 + -15511/47. Is 1 != p?
True
Suppose 0 = -3*c + 3*g - 18, -7*c + 8*c = -5*g - 24. Suppose 3*h + 23 = -4. Is h bigger than c?
False
Let y be (-64)/78 + (-26)/(-169). Let a = 25 + -63. Which is bigger: a or y?
y
Let q be (0 - -2)*(-1)/2*7. Let v be -1*q/3*2/7. Which is smaller: -0.23 or v?
-0.23
Let s = -15.1 + 15. Let p = -6 - -20. Let f = 13 - p. Does s = f?
False
Let a = -2/4775 + 37247/4775. Which is greater: a or 7?
a
Suppose 0 = 5*p - 2*r - 6 + 1, r = -5*p + 20. Let h be p + 0 + 0/(-1). Let s be (-3 + 3)*(h - 2). Do s and -3/4 have the same value?
False
Let d = -94 - -62. Let s = d - -33. Is 0 at least s?
False
Let p be (-3 - 147/(-54))*(-78)/(-20). Is p at most -1?
True
Suppose d + 12 = 4*d - 3*y, -2*d + 3*y = -6. Let n(k) = k**3 + d*k + 4 + 1 - 12*k**2 + 4*k. Let q be n(11). Are -4 and q equal?
False
Let k(d) = -d**3 + 4*d**2 + 4*d + 2. Let a be k(5). Let m be a*6/(-14) + -1. Let x(i) = 142*i + 994. Let q be x(-7). Do m and q have different values?
True
Let u = -2.7 + 5.2. Let p = u + -2.5. Is p less than -1?
False
Let l = -38 + 56. Suppose l = 5*f + 23. Let z = 83/42 + -17/6. Does f = z?
False
Let f be 1/(1 + 1) - 1. Let d = -1515.023 + 1519. Let b = 0.023 + d. Which is greater: b or f?
b
Let q = -419 + 449. Which is greater: q or 11?
q
Suppose -6*x = -9*x + 36. Suppose 5*a - x = m, 4*m = -0*m + 4*a - 32. Let j be 1 - 5 - -2 - 3. Which is bigger: m or j?
j
Let b be (-204)/(-680)*(-10)/(-4). Is b bigger than -78?
True
Let t = -190 + 165. Is t <= -25?
True
Let d = -676 - -456. Let o be (-12)/(-9) - d/(-192). Let n = -4 + 5. Is o at least as big as n?
False
Let t(v) = v**2 + 32*v - 69. Let w be t(-34). Which is smaller: 1/248 or w?
w
Let r = 5 + -4. Let n = -11.63 + 17.96. Let y = n + -0.33. Is y at most as big as r?
False
Let b = 0 - 2. Let c(j) be the second derivative of j**5/20 + 3*j**4/4 + j**3/3 + 8*j**2 + 24*j. Let m be c(-9). Are m and b non-equal?
False
Suppose 3*c = 16 - 28. Let d be (c - -2 - -2)/(-1). Is d greater than or equal to -1/104?
True
Let p(x) = -x**3 - 5*x**2 - 6*x - 5. Let c be p(-4). Let v be 3 + 4 - (2 - 0). Suppose 0 = 5*w + 2*b - v*b, 0 = c*w + 4*b. Which is greater: w or 10/7?
10/7
Let n be 3*(0 - (-132)/9). Let w = 2/265 + -536/795. Which is smaller: n or w?
w
Suppose -3*r - 9 = -4*k, -4*k = -9*k + 2*r + 6. Suppose -h + 2*h + 5 = k. Let y = h + 1. Which is greater: -5 or y?
y
Suppose 117*p = 112*p + 5. Is -2/4139 greater than or equal to p?
False
Let t = -229 - -485/2. Let q = -13 + t. Let p = 1.5 - 13.5. Which is smaller: q or p?
p
Let k(h) = -7*h + 5. Let z be k(-26). Which is smaller: 184 or z?
184
Let a(l) = -3*l + 26. Let x be 4/1 - (-6 - -1). Let d be a(x). Is d at 