ot equal to -1?
True
Let w(b) = b + 42. Let u be w(-9). Is u at most 46?
True
Let l = -968 - -23231/24. Which is bigger: l or -1/6?
l
Let s be (10/6)/(1/3). Let f(m) = 5*m**2. Let n be f(1). Suppose s*l = 30 + n. Are 6 and l unequal?
True
Suppose -3912 + 1048 = -4*u. Is 716 != u?
False
Let h be (1104/230)/(188/10). Is -2/15 bigger than h?
False
Let g = 92 + -93. Let j(m) = 11*m + 4. Let d be j(-2). Is d < g?
True
Let v = -17 + 17. Suppose 2*a + 5*m + 12 = 0, -3*a = -v*a + 5*m + 13. Let z = -28 + 83/3. Which is greater: z or a?
z
Let c(d) = d**2 - 9*d + 11. Let z be c(8). Suppose -3 = 4*h - h, 0 = a - 3*h. Let w be (-3 - a/z) + 0. Which is smaller: -1 or w?
w
Suppose q + 7*l - 24 = 3*l, 0 = 5*l - 25. Suppose 4*v - 12 = -0*v. Suppose -2*d = -q*r - 5*d - 16, v*r = -5*d - 23. Which is greater: r or -2/11?
-2/11
Let w = -1281605/84 - -92359/6. Let j = w + -136. Which is greater: j or 0?
0
Let w = 32 + -28. Let p be (-106)/(-22) - w/(-22). Do 5 and p have the same value?
True
Suppose 17 = 4*b - 3*g, 1 = 2*b - b - 4*g. Suppose 2*q + b*z = 56, 2*q - 27 = -4*z + 29. Is 29 at least q?
True
Let k = 29 - 11. Let y be 2/(-6) + 24/k. Let u = 263/3 + -87. Which is bigger: u or y?
y
Let f = -617/510 + 1/102. Suppose -16 = -4*b + 5*n, -4*n - 3 - 9 = -3*b. Suppose -10 = 5*o + 6*i - 2*i, 0 = b*o + 2*i + 8. Which is smaller: o or f?
o
Let h be (2/2 + 0)*(128 - 127). Which is smaller: -3/193 or h?
-3/193
Let u be (3 - 1)*8/(-2). Suppose 4*h + 5*g + 39 = 0, 5*h + 29 + 13 = -4*g. Which is smaller: h or u?
u
Let n = 1516 + -1556. Is n smaller than -702/17?
False
Suppose l = -5, 27*h - 29*h = -l - 9. Is 58/27 < h?
False
Let b = -0.647 + -155.353. Is 0.2 greater than or equal to b?
True
Let l(o) = -o**3 + 7*o**2 + 2*o - 17. Let c be l(7). Let t be 14/c*21/35. Suppose 7*a - 4 = 9*a. Do a and t have the same value?
False
Let q be (-2)/7 + 4642/77. Which is bigger: q or -5?
q
Let g = -447 - -447. Which is greater: g or 12/47?
12/47
Let r(q) = q**3 + 21*q**2 + 2*q + 52. Let h be r(-21). Let j be ((-3)/(-2))/((-12)/(-80)). Is h less than or equal to j?
True
Let s be ((-290)/(-150))/(8/186). Let i = s + -45. Is 1 less than or equal to i?
False
Let v = 1.742 + -1.725. Is v at least as big as -4/5?
True
Let h be (-3718)/715 + (-8)/(-1). Which is bigger: 11 or h?
11
Let j be 1712/220 - 30/165. Is 0.2 equal to j?
False
Let m = -8 - -4. Let r be -1 - 7/(2 - -5). Which is bigger: m or r?
r
Let g be (3*2 - -1)/1. Suppose -4 = g*m - 3*m. Let t = -20396/33 - -618. Which is smaller: m or t?
m
Suppose 3*d - 2 = 4. Let n be (5/10)/((-1)/d). Let j = 7 + n. Is j < 6?
False
Let d = 6.8 + -6.77. Let x = d - 0.03. Which is greater: 14 or x?
14
Let n = 132.7 - 134. Let j = 21 - 21.9. Let w = j - n. Is -0.04 at least as big as w?
False
Let i be (-1 + -23)/(4/(-54)). Does i = 325?
False
Let j = 366 + -359. Do 9 and j have different values?
True
Suppose 0 = -w - 2*o - 3*o + 250, w - 2*o = 278. Is w bigger than 269?
True
Let h = 9 + -5. Let l be h/14 - (-186)/(-14). Let j = -14 - l. Which is smaller: 2/9 or j?
j
Let i = 37 - 32. Suppose -i*b - 49 = 16. Are -0.1 and b nonequal?
True
Let o = 32 + -9. Let y = 22.91 - o. Let m = -653/3 - -218. Which is greater: y or m?
m
Let d = 148 - 3403/23. Suppose 3*w = -5*w - 8. Is d at most as big as w?
False
Let q = -599/12 + 50. Let c = 6 - 6.6. Let p = 0.4 - c. Which is bigger: p or q?
p
Let k(u) = 5*u - 45. Let b be k(9). Suppose -c + 27 = -5*c - o, -4*c - 3*o - 25 = b. Let a be 16/6*-1*3. Which is smaller: a or c?
a
Let h be -3 + 1 + (16 - 13). Is h smaller than -1/52?
False
Let m = 0.12 - -71.88. Let i = m - 74. Suppose 8*g - 4*f - 53 = 3*g, f = -5*g + 43. Do i and g have the same value?
False
Let h = 20 + -18. Suppose 2*j + 0*j + h = 0. Let r = 152/13 + -9602/819. Which is smaller: j or r?
j
Let g = 3.41 + 0.83. Let k = g + -27.34. Let a = -23 - k. Is a >= -1/7?
True
Suppose 0 = 14*r - 12*r + 10. Suppose 4*w - 2 = -a, 5*a - 3*w = -7*w + 10. Suppose a*m - m + 4 = 0. Which is greater: r or m?
m
Let b = 0.45 + -0.35. Let u = -0.002 + -0.015. Is u equal to b?
False
Let d(r) = -r**3 - 20*r**2 + 44*r + 8. Let x be d(-22). Let h be 30/(-8) - x*(-3)/6. Which is smaller: h or -13?
-13
Let v = -3475/29754 + -2/513. Is -1 less than or equal to v?
True
Suppose -3*k = 5*v + 133, 3*v + k = -46 - 37. Which is greater: v or 5?
5
Suppose -936 + 108 = -18*d. Which is smaller: 45 or d?
45
Let g = 0.099 - -0.001. Is 7 smaller than g?
False
Let t = -2/69 - -16/23. Suppose 25 + 50 = 5*w. Let l be ((-1)/2)/(w/6). Which is greater: t or l?
t
Let u be 1813/(-1092) - 4*(-1)/3. Which is smaller: -1 or u?
-1
Let n be (-2)/(-31) - 58564/(-1364). Is n > 46?
False
Let n = 1148 - 964. Are 2 and n unequal?
True
Let l be (45/(-4))/((-14)/112) - 6. Which is greater: 82 or l?
l
Let s(n) = 2*n**2 - n. Let p be s(1). Let c = 0.104 - 0.129. Let a = 4.975 - c. Is a > p?
True
Let p = 62 - 36. Suppose 2*j = -f - 3*j - 1, -2*f - 3*j + p = 0. Is 16 greater than or equal to f?
False
Suppose 2*x + 0*x = -4*c - 150, 3*c + 5*x + 123 = 0. Let h(g) = -g**2 + 15*g + 18. Let q be h(18). Are c and q equal?
True
Let b be (-10)/2*6/(-15). Let j(m) = -4*m + m - 6*m**2 + 5*m**2 + b*m. Let c be j(0). Is 1/9 < c?
False
Let u = -113/6 - -3541/174. Is u not equal to 1?
True
Suppose -2*j = 7*j - 288. Let b = 34 - j. Is 3 bigger than b?
True
Let n = -1.8 - -8.8. Let d = -46 - -52.8. Let o = n - d. Are 4/7 and o nonequal?
True
Let q be (7/3 + -2)/((-3)/(-342)). Let m = -21 + q. Are m and 16 unequal?
True
Let p = 251 - 249.91. Let y = 0.03 - 0.12. Let o = p + y. Which is greater: o or -1/14?
o
Let x = 207 - 248. Are -41 and x non-equal?
False
Let h = 3 - 2.94. Let t = h + 0.02. Let y = t - -0.02. Which is smaller: 2/9 or y?
y
Let p = -26.28 + -102.72. Which is bigger: 4 or p?
4
Suppose 0 = 156*w - 150*w - 6. Which is smaller: 5/118 or w?
5/118
Suppose -4*n + 20 = n. Suppose 0 = -7*w + 2*w - 2*z - 9, -10 = 2*w + 4*z. Let h be w/((-8)/58) + -3. Which is bigger: h or n?
h
Suppose 120 - 27 = 3*m. Suppose k - m = -2*o + 5, 4*k = o - 27. Suppose -t - 1 = -2*r, 3*r = -2*t - 0*t + o. Is t < 6?
True
Let o be (-11 - -12)*1/(-1). Let z be (-1*3/(-165))/o. Is z bigger than 0?
False
Let n(c) = -11*c - 2. Let u be n(29). Is 1/3 equal to u?
False
Suppose -1 = 4*b - i + 1, 0 = 2*b + 5*i - 10. Let a = 15830 - 15818.997. Let d = 0.003 - a. Is d greater than or equal to b?
False
Suppose 0 = -5*j - 5*l - 115, -l = 2*j + 2*j + 101. Let p be -1 + j/(-24) - (-2)/8. Which is bigger: p or 0?
p
Suppose -3*s + 41 = 23. Suppose 2*o + 4 = s*o. Does o = 1/38?
False
Suppose -2*k = k. Let g be (-4)/(-9) + (-3344)/4446. Is g > k?
False
Let y = 8/147 + 20/833. Let x(j) = 67*j + 336. Let h be x(-5). Is y at least h?
False
Let i = -637 + 9557/15. Which is bigger: i or 1?
1
Let h be 235/110 - -4 - 6. Are h and -1 unequal?
True
Let a be (-60)/(-24)*(-210)/(-9). Which is smaller: 58 or a?
58
Let j = 1.67 - 0.97. Let h = -0.2 + -3.8. Let q = -4.1 - h. Are j and q equal?
False
Let c be ((14/(-8))/(-7))/(168/105). Which is smaller: c or -1?
-1
Let g(c) = -c**3 - 8*c**2 - 5*c - 9. Let q be g(-8). Suppose 5*m - 49 = q. Which is smaller: m or 15?
15
Let i = -131.9681 + 132. Which is smaller: i or -2/5?
-2/5
Let p be (8 + -2)*(-4)/(-1 - -9). Let o be (-117)/33*p*8/36. Which is bigger: 3 or o?
3
Suppose 5*p + 14 + 11 = 0. Let h be 10/(-4)*(12 - 2). Let z be (4/(-10))/(p/h). Is -4/3 at least as big as z?
True
Let v = 97 - 54. Let w = -28 + v. Are -1 and w unequal?
True
Let q = -74.3 - -74. Let n = -0.32 - q. Which is smaller: n or 0.04?
n
Let h = -51/8 + 21/4. Is h at most as big as -2?
False
Let z = -187 + 195. Let g(r) = 3*r**2 + r. Let d be g(-2). Let h = z - d. Is h less than 0?
True
Let p(x) = 5*x**2 + 13*x - 2. Let g(j) = 6*j**2 + 14*j - 2. Let l(a) = 6*g(a) - 7*p(a). Let s be l(6). Let n = s + 3. Which is greater: 0.1 or n?
0.1
Let v be ((-14)/28)/(5/(-30)). Are v and 11 non-equal?
True
Suppose 19 = 2*k + 3*m, 3*m = 3*k - 12 + 36. Let r be 4/14 - 254/742. Which is smaller: r or k?
k
Suppose 8*k - 57 = 11*k. Let p be k/(-76) - (-118)/8. Is p smaller than 16?
True
Suppose -3*y - 5*j - 4 = -25, 3*y - 3*j = -3. Let t be 6/(-27)*(-3)/y. Let c = -57 + 60. Which is smaller: c or t?
t
Let s be (-24)/80*13/6. Is -2 <= s?
True
Let n be (-5)/((-165)/(-6)) - 308/(-