to z?
False
Let k be (4/6)/(43/129). Is k <= -20?
False
Let g be (3/6)/(-1) - 6/4. Let f(q) = -q**3 + q**2 + 2*q + 3. Let l be f(g). Let j = 1 - 1. Is l equal to j?
False
Let a(n) = 2*n + 50. Let j be a(-23). Suppose -j*t + m = -9*t - 11, -19 = 5*t - m. Let o be (-3)/(-9) + (-1)/3. Which is bigger: t or o?
o
Suppose 529 = 3*u - 3308. Let f = u - 70343/55. Which is bigger: f or 2?
2
Let j = 237.104 + -237. Is 1 at least j?
True
Let g = 0.972 - -0.028. Let w = 8.04 - 8. Are g and w equal?
False
Let v(s) = s - 5. Let p be v(8). Suppose -p*f - 15 = -4*a + 13, 28 = 3*a - 4*f. Suppose -4*l + o = -a, -7*o = -3*o + 16. Which is smaller: l or -1/3?
-1/3
Let m(j) = j**2 + 9*j + 2. Let b be m(-6). Let u be b/(-104) + 22/26. Let g be (4 - u)/((-12)/8). Is -6 less than or equal to g?
True
Let y = 16749/5301655 + -1/8045. Which is greater: y or 1?
1
Let b = -12 - -21. Let f = 5 - -15. Let q = b - f. Which is smaller: -0.1 or q?
q
Let m = 472 - 531. Which is bigger: -61 or m?
m
Suppose 5*x - 9*x = 0. Suppose 3*j + x*j - j = 0. Is j less than or equal to 4/9?
True
Let i = 53.7 - 53.9. Which is bigger: 335 or i?
335
Let y = -87126869/1024287 - -12/31039. Let b = y - -85. Which is bigger: 1 or b?
1
Let t be (-8)/(-28) + 2/(-7). Let l(y) = -y + 1. Let p be l(-10). Which is smaller: t or p?
t
Let a be -10*(-6 + 128/(-40)). Is 93 less than or equal to a?
False
Let z be ((-2)/(-4))/((-140)/(-48) + -3). Let r be 6 + 15/(-9) + 2/z. Which is smaller: 5 or r?
r
Let h = -39 - -38. Let i = -15 - -16.6. Let q = -2.4 + i. Is h equal to q?
False
Let n(g) = -20*g + 4*g**2 + 21*g + g**2. Let o be n(1). Is o greater than 7?
False
Let c be (-4)/(-57) - 6/72. Which is smaller: 1 or c?
c
Let b be 567/(-12) + (6/(-2))/(-12). Let p be (0 - -1)*(b - -4). Is -42 > p?
True
Let m = -120 + 131. Let a be 2/6 - (-96)/9. Suppose -2*h = -h - a. Are h and m nonequal?
False
Suppose h + 12 = b + 3*b, -4 = -3*h + 2*b. Let y be 0*(-2)/(-12)*2/h. Is 1/3 less than y?
False
Let b be 1*7/(14/40). Suppose 2*y + b = -3*y, 5*z - 3*y = 52. Let n = z + -6. Which is smaller: n or 1?
1
Let z be 3/(-2)*10/5. Let l be 1/(160/(-52) - z). Let o be 2/l - 63/13. Is o equal to -3?
False
Let k be 4/(-14) - 615/(-21). Let w = 14 - k. Suppose 25*a = 32*a + 98. Which is smaller: a or w?
w
Suppose 8 = 2*x + 6. Is x at most as big as 2/2069?
False
Let v be (-4)/(-30) + (-608)/(-9840). Is -1 less than v?
True
Let o = 96.229 - 1.229. Is o not equal to -2?
True
Let i = -6 + 8. Suppose 0 = -2*o - i*o. Let c be 2 + -5 - (-112)/38. Which is smaller: o or c?
c
Let d = -175 + 173. Let g be (2 - (0 + 1))/(d - -21). Is -0.2 greater than or equal to g?
False
Suppose 0 = -3*q + 9*q + 6. Let r be q - -3 - (-431)/9. Let p = -50 + r. Which is smaller: 0 or p?
p
Let p be (-1)/(2 + -1)*0. Let c be (11 - 3) + (-339)/42. Which is bigger: c or p?
p
Let s(c) = 2*c**2 - 3*c + 2. Let d be s(2). Let m be -1*d*1/54. Let o = -9 - -10. Is o at least m?
True
Let w be 1/(-5) + (-1)/(-5). Let t = -620 + 625. Which is smaller: w or t?
w
Let c be (2/(-3))/((-2)/12 - 1). Let o = 1/14 - c. Let h(v) = -v**2 + 3*v + 4. Let u be h(4). Is u smaller than o?
False
Let u be (2/4)/(-2 - (-15153)/7598). Let w = -265/3 - u. Which is greater: w or 1?
1
Let y(u) = -u - 3. Let d(p) = p**2 + 6*p - 13. Let n be d(-6). Let m be y(n). Do m and 9 have different values?
True
Let v = 7555 + -98329/13. Which is smaller: -8 or v?
v
Let n(r) be the first derivative of r**2/2 + 7*r + 1. Let a = 49 + -53. Let b be n(a). Is -1 at most b?
True
Let s = 128969/25 - 5161. Which is greater: s or -3?
s
Let o = 86 - 81. Suppose -2*b + 14 = b - 4*y, 10 = o*b - 4*y. Let z be (-3)/30*(-15)/(-2). Which is smaller: z or b?
b
Let d = -74 + 51. Let j be d/(-5) - (-1 + (-16)/(-10)). Which is bigger: 3 or j?
j
Suppose -5*r - 22 - 143 = -5*p, 2*r - 3*p + 65 = 0. Let q = r + 42. Is q greater than or equal to 8?
True
Suppose 0 = -6*d + 56 - 14. Suppose -96 = d*q - q. Is -16 not equal to q?
False
Suppose -2*z + 294 + 1206 = 0. Which is smaller: 749 or z?
749
Let y = -661.769 - -662. Is 0 at least y?
False
Let l be -8*3*(-20)/(-24). Let v = l - -141/7. Which is smaller: v or -1?
-1
Suppose 15*h - 50 = 115. Suppose -9 = -h*i + 2*i. Let m be (-2 + 10/3)*-6. Is m at least i?
False
Let v = -7 - -6. Let w be (-2)/(((-6)/4)/3). Let f be 1/(-6)*w/7. Which is greater: f or v?
f
Suppose 0 = 3*o - 1 - 2. Let s = 33 - 33. Suppose s = -3*c - 42 + 48. Which is smaller: c or o?
o
Let c = 182.18 - 6.18. Is c smaller than 0?
False
Let d = 29 + -28.75. Let i = -2.75 - d. Do 2/3 and i have different values?
True
Suppose -5*l - 4 = -2*o + 3, 0 = -2*o + l - 5. Let j be -4 - 2/5 - o. Which is smaller: j or -3?
-3
Suppose 6*d - 12 = -180. Let q be (-21)/d - (-35)/(-4). Let p be (-7 - q)/(-1 - -2). Which is greater: p or -2?
p
Let n be (10 - 0) + 3 + -8. Suppose 0 = -n*f + w + 3, 2*w + 0 = 4*f - 6. Is f >= 6/13?
False
Let o be 259/35*(2 + 3). Is o > 25?
True
Let f = 182.9 + -183. Suppose 4 = -p - 9. Let o = 4 + p. Is o > f?
False
Suppose -5*x + 30 = x. Suppose -2*t = -x*t. Suppose -2*m - 3*m - 10 = t. Which is smaller: -1 or m?
m
Let c be -4 - 3/33*1991/(-44). Is 1 > c?
True
Let a = 5968 - 5969. Let j = -3208/3 - -1652114/1545. Let z = -1501/11330 + j. Is z smaller than a?
False
Let q = 14.1 - 14. Let u = q + -0.2. Which is smaller: u or 10?
u
Let w = 0.086 + 8.914. Let v = -13/36 - -1/36. Which is smaller: v or w?
v
Let n = -38 - 69. Let t = -320/3 - n. Which is bigger: -48 or t?
t
Let h = 9 - -22. Suppose 3 = -5*x + 2*s, -5*x - 10 = 4*s - h. Is 2/17 >= x?
False
Let f be (-16)/(-14) - (-21)/(-147). Which is bigger: 2/7 or f?
f
Suppose -11 = -w - 5. Let i be 5/(-1) + (-5 - (-3 - w)). Which is smaller: 1 or i?
i
Suppose 2*i + 2*s - 6 = 10, s - 44 = -5*i. Suppose -43 = -i*n + 38. Let l be 1/(-2) - (-30)/4. Is l less than n?
True
Suppose -2 = m - 11. Is m less than 68/7?
True
Let s be -1 - -3*4/6. Let c = s + 5. Let w be (2/(-78))/(c/(-18)). Does 0 = w?
False
Let d = 122.82 + -123. Let w = -0.33 - -0.05. Let i = w - d. Which is smaller: i or -4?
-4
Let t = -43.3 - -46.3. Let v = 1259/14 - 90. Which is smaller: t or v?
v
Let v = -15 - -13. Let d be (v/12)/(1/(-3))*6. Which is greater: d or 38/9?
38/9
Let s be (2/(-4))/(5/(-60)). Let u(j) = -j**3 + 7*j**2 - 7*j + 5. Let p be u(s). Suppose -m + 15 = 2*m, -2*o = -m + 3. Is o equal to p?
False
Let m = -51 - 46. Let i = m - -103. Which is smaller: i or 2/7?
2/7
Let p be (-8)/(-62)*20/(-80). Which is bigger: p or 1?
1
Let p be (2 - -3) + -2 + 0. Suppose -1 = -p*y - 7. Let u be (-1)/2*(4 + -1 + -5). Which is bigger: u or y?
u
Let t = 7 + -11. Let q(w) be the first derivative of w**2/2 - 2*w - 4. Let g be q(4). Which is smaller: g or t?
t
Let x = -1.2 + -16.8. Let p = x - -17. Is -2 at most as big as p?
True
Suppose 0 = -21*q + 23*q. Suppose -8*j = -3*j + 15. Let w be j/9*(-2 - 2). Which is greater: w or q?
w
Let l = -975/7 - -139. Let p = 105 - 61. Let m = p + -40. Is m <= l?
False
Let x = 156 + -172. Is -16 > x?
False
Suppose 5*n = 3*c - 16, -c + n + 13 = c. Let m be (-9*(-3)/36)/((-3)/(-12)). Let h be (-1 + (-13)/m)*27/(-18). Which is greater: c or h?
h
Let c be 29/(-55)*(-8)/(-18). Let q = c + 2/165. Let p be (1/(-3))/(9/27). Which is greater: p or q?
q
Suppose 13*a - 12*a = 6. Let d be 1/((9/a)/(91/(-14))). Which is bigger: -4 or d?
-4
Let t = 24781590 - 115581333651/4664. Let r = t + 1/424. Let l = -9/44 + r. Is l > 0?
True
Suppose 3*y = -5*u + 71, -u + 2 = -2*y - 7. Suppose u*h - 51 = 16*h. Is h not equal to -17?
False
Suppose -2*t = -25*t + 161. Let s = -1.5 - -0.5. Let x = s - 0. Is t bigger than x?
True
Let w be ((-8)/(-12))/(5/(-755)). Which is greater: 1 or w?
1
Let p be 7/((-35)/(-30)) - -2. Let o = 0 - -7. Suppose -3*v - p - o = 0. Which is greater: -2 or v?
-2
Let y(o) = 16*o**2 - 29*o - 30. Let g be y(-1). Let b = 2 - -15. Which is bigger: b or g?
b
Let r = 0.856 + -0.756. Which is smaller: r or 132?
r
Let d = 140 + -113. Is d bigger than 36?
False
Suppose -s + 5 - 2 = 0, 3*r = 5*s + 3. Suppose i + r = -5*i. Is 6/23 <= i?
False
Let p = 23 - 11. Let a = -11.8 + p. Let b = 8.8 + a. Which is smaller: b or -2/3?
-2/3
Suppose 321 = -5*j - f, 5*j + 80 + 225 = -5*f. Which is greater: -129/2 or j?
-129/2
Suppose 3*m - 583 + 88 = -t, 0 = 4*m + 2*t - 660. Suppose 4*c - q 