2/7 + -55/28. Which is bigger: y or s?
s
Let d = 0 + 21. Suppose -4*i - 5*o = -0*i + d, 3*i + 3*o + 12 = 0. Is i at least 1/29?
True
Suppose 13 = -n - 2*b, 4*b = 3*n - b + 6. Let w(s) = 5 - 2*s + 2*s + 1 - 3*s. Let j be w(4). Is j equal to n?
False
Let m = 4 - 3.92. Let z = -2.73 + -0.67. Let w = 4.4 + z. Which is greater: m or w?
w
Let m be (-18)/(-12) - (-2)/(-4). Is m greater than 2/1635?
True
Let u be (-5)/(20/8) - 13126/(-54). Let b = u + -241. Is -1 greater than or equal to b?
False
Let p be 2260/10818 + (-152)/684. Which is greater: p or -0.1?
p
Let h = 1/2178 + 3851/1099890. Is h != 0?
True
Suppose 959*c = 956*c - 1929. Is c less than 0.1?
True
Let g be -3*3*(1 + 0). Let a = -9 - g. Let s = -12/5 + 13/5. Which is smaller: a or s?
a
Let u = 203 - 202.909. Which is smaller: u or 0.1?
u
Let k = -1798444608/385 - -4671289. Let y = k + -17/35. Is 3 less than or equal to y?
True
Suppose -23*v = -15*v + 640. Let k be 6/8*v/(-150). Which is smaller: k or 0.06?
0.06
Let q = 272768/3621 - 1281/17. Which is smaller: q or 0?
q
Let l = -161 - -128. Is l greater than or equal to -33?
True
Let g be -6 - 12/(-2 + -2). Let y be -2 - -16 - (g + 2). Let z = 74 + -60. Which is bigger: y or z?
y
Let n be 3/24 - (-1500)/(-1760). Let d = 5 - 7. Does n = d?
False
Let j be (-416)/(-594) + (-265)/(-55) + -5. Let o = 623/108 - j. Is 6 at least as big as o?
True
Let k be 3*(1 + 3 + (-32)/3). Which is smaller: -23 or k?
-23
Suppose m = -0*m + 6. Let f be (m/(-12))/(-3 - -17). Is f bigger than 0?
False
Let q(b) = -b**2 + 4*b - 4. Let g = 28 - 26. Let m be q(g). Let l be ((-27)/(-180))/(m + -3). Which is bigger: 0 or l?
0
Let b = 31 + -11. Suppose -2*x - 23 = -q, 10*x - 8*x + 2 = 0. Is q equal to b?
False
Let u = -1 - 0. Let g = u - -3. Let h = 185/4 + -46. Which is bigger: h or g?
g
Let b = -25.8 - -28. Let l = b - 2.5. Is l smaller than -1/10?
True
Suppose -8*g = -3*m - 13*g - 334, 5*m - 5*g = -570. Does -338/3 = m?
False
Let r = 1277023/153163 + -809/97. Is 0 equal to r?
False
Let x be (4/(-12) + 0)*4674/95. Which is bigger: -15 or x?
-15
Let d be -10*9/(135/(-6)). Suppose d*a = 9 - 13. Let i(m) = -m**3 + 3*m**2 + 3*m. Let w be i(4). Which is greater: a or w?
a
Let k = -1685 + 1625. Does k = -47?
False
Let k = -6 - -11. Let n = -0.212 + 34.412. Let q = n - 34. Is k less than or equal to q?
False
Let f(p) = 4*p + 39. Let z be f(-10). Let u be (9/3)/((-6)/(-4)). Let o be u/(-8) + 18/48. Which is smaller: z or o?
z
Let r(u) = 11*u + 110. Let l be r(-9). Let d be (9/(-2))/((-4)/8). Is l greater than or equal to d?
True
Suppose 0 = -3*q - 3*q + 132. Suppose -4*y = -q - 114. Is y at most 34?
True
Let u be (-13 + 12)/((-1)/3). Suppose 2*o = o - u. Do o and -3 have the same value?
True
Let o(g) = -g**3 - 6*g**2 + 7*g + 6. Let i be o(-7). Let w be (-5)/(3/(-3) - (-8)/i). Let z(k) = 4*k + 1. Let r be z(-4). Is r less than w?
False
Let l(k) = -k**3 + 5*k**2 - 2*k + 2. Let m be l(5). Let v be (-4)/m - (-58)/4. Suppose -v = 8*s - 3*s. Which is greater: s or -2?
-2
Let v(p) = -p**3 + p + 20. Let q be v(0). Let w be q/6*(-264)/32. Which is smaller: w or -27?
w
Let x = 12.6 + -23.21. Let h = x - -0.51. Let t = h - -10. Which is smaller: 3/2 or t?
t
Let s = 109 + -122.8. Let j = -14 - s. Let q = -4.99 + -0.01. Which is greater: q or j?
j
Let b be (-12)/9 + (-2)/3. Is 85 not equal to b?
True
Let b(k) = -3*k - 21. Let r be b(-7). Let q be (20/60)/(227/6). Which is smaller: q or r?
r
Suppose 0 = -6*b - 4259 + 4253. Which is bigger: 23/56 or b?
23/56
Let k = 52513/15 - 15991/5. Is 302 greater than k?
False
Suppose -4*y = 5*s - 7, 2*s + 22 = -5*y + 6*s. Let u be (-1)/(y - 10/(-4)). Let h be 1/(1/6*u). Are -3 and h unequal?
False
Let y = 3.17 + -3. Let b = 118.9 - 119. Is b smaller than y?
True
Let s = 0.61 + -0.3. Let l = 15.69 + s. Do 1 and l have the same value?
False
Let d be (0 - (-16)/(-133)) + (-2)/14. Is d less than 0?
True
Let c(v) = -v**3 + 4*v**2 + v - 4. Let k be c(-3). Let j be 120/k + (-2)/14. Are j and 6/7 nonequal?
True
Suppose -2*y + q + 4 = 0, 6*y - 5*q = y + 5. Let r = -10 - y. Let v(h) = h + 14. Let d be v(r). Is -2/9 less than d?
True
Let g be (0 + (-1)/(-11))*-2. Let m(n) = 5*n + 15. Suppose -4*i - 16 = 3*u - 2*u, 11 = -i - 2*u. Let k be m(i). Which is greater: g or k?
k
Let d = -39860 + 1155938/29. Let w = -2 + 1.9. Is w at most d?
True
Suppose -k = 2*w - 9, -k - 5 = -5*w - 0. Let t be (4/(-6))/(20/(-102)). Is t < w?
False
Let p = -66 + 38. Let a be 21/p + (-166)/(-8). Suppose a = -d - 4*d. Is d <= -3?
True
Suppose -2*d = -4*t + 297 - 15, 0 = 4*t + 2*d - 302. Is 74 < t?
False
Let c(w) = w**2 + 7*w + 8. Let v be c(-6). Let b be 15231/(-45) + v/6. Let q = b - -338. Is q at most as big as -1/2?
False
Let i = -20 - -26. Suppose 0 = 2*h + i, 5*h + 23 = -5*m - 42. Is -7 > m?
True
Suppose 6 = 4*b - 2*o, 3*o + 7 = 3*b - o. Which is greater: 2/611 or b?
b
Let p be (-527712)/2 + (-2 - -4). Let l = p + 3955181/15. Let r = l - -175. Is r at least 1?
False
Let f(i) = -i**2 + 18*i - 21. Let j be f(17). Let k be (1 - 0)/(j - -2 - -1). Which is smaller: -3/16 or k?
k
Let d(q) = 2*q + 16. Let n be d(-7). Suppose 0 = j + 2*r - 6, n*j + r = 3*r - 6. Which is bigger: 3/22 or j?
3/22
Let d be -5 + 124/40 + (-3)/(-2). Which is smaller: 16 or d?
d
Let s(n) = -n**3 - 10*n**2 + 2*n + 29. Let m be s(-10). Which is bigger: 103/12 or m?
m
Let r = 197/231 - 12/11. Is r != 1?
True
Let g = 2.3 - 0.8. Let q = g + -0.5. Let v = -16 + 16.1. Which is bigger: q or v?
q
Let k = -1.7 + 1.4. Which is bigger: k or 0.5?
0.5
Let m(q) = q**3 + 21*q**2 - 74*q - 53. Let i be m(-24). Let y = 7993/5 - 1605. Is y <= i?
True
Let l = -1.1885 - -0.2285. Which is bigger: -1/7 or l?
-1/7
Suppose -36 = -g - 52. Is -84/5 smaller than g?
True
Let s = -6 - -8. Let v = 41 + -42. Let l be v/(-3)*(0 + 0)/3. Which is bigger: s or l?
s
Suppose 3*y - 25 = -7. Let i(r) = 19 - 9 + 2*r + 5 + y. Let l be i(-10). Do l and 2/9 have the same value?
False
Let x be (24/(-6) - 6) + (6 - 0). Are -44 and x non-equal?
True
Let i = 0.04 - 0.01. Let j = 599.03 - 603. Let p = j - i. Which is smaller: p or -2?
p
Suppose 15*y - 222 = 18*y. Which is greater: 2 or y?
2
Let b(q) = -82*q - 412. Let y be b(-13). Do y and 654 have the same value?
True
Let c = 428 + -433. Which is smaller: -39/10 or c?
c
Suppose -4*n = -3*r + 205, r - 6*r = n - 334. Which is smaller: 64 or r?
64
Let r be (-495)/(-70191)*1/(-5). Is r not equal to 0?
True
Let m be 20/18*3*3. Let p be 6/m*(-10)/8. Is 3 greater than or equal to p?
True
Let m = -16.9 - -17. Let t = m + 4.9. Let z = t + -4.8. Which is bigger: z or 0.3?
0.3
Let x(l) = -l + 5. Let h be x(4). Let u = 6640/29799 + -2/3311. Which is smaller: u or h?
u
Let g(x) = 2*x**3 + 13*x**2 + 7*x + 8. Let m be g(-6). Which is smaller: -6/13 or m?
-6/13
Let i = 23 - 17. Suppose l - 2*o + i = -2*l, 6 = 3*l + 2*o. Is l > -2/39?
True
Let r = -46 + 44. Is r smaller than 1/6?
True
Let n(i) = -i**2 + 12*i - 10. Let u(x) = -2*x**2 + 23*x - 21. Let d(l) = 7*n(l) - 3*u(l). Let p be d(14). Which is greater: -0.4 or p?
p
Let g(p) = -p**3 + 36*p**2 - 36*p + 45. Let j be g(35). Is 7 >= j?
False
Let w be 1/1 - 1 - (-1275)/(-15). Let f be -2*(-1 - w/10). Is f < 0.2?
True
Suppose 0 = -41*i + 36*i + 805. Let g be i/42 - (2 - -2). Which is greater: 1 or g?
1
Let w = -5.5 - -3.5. Is w > -0.24?
False
Let x = 61.6 - 57.4. Is x bigger than -0.07?
True
Let k be (7/2)/((-1)/(-2)). Let j be ((-4)/(-3))/(-5*(-14)/525). Let l = j + -3. Is k less than l?
False
Suppose 14 + 22 = 2*b. Let l be b/(-10)*300/(-90). Is l greater than or equal to 7?
False
Let h be 5 + 0 + -1 + 0. Let a be 65/(-55) - -1 - 336/(-33). Suppose 0 = y - a*y + 54. Which is bigger: h or y?
y
Suppose 1 = -5*d + 4*j, 0 = -3*d + 2*d + 2*j + 1. Let x be d*(-3 + 40/12). Suppose -3 = -t, -5*t = 2*c + 6 - 23. Is x greater than c?
False
Let y(p) = -p**2 - 4*p + 1. Let n be (4/(-5))/((-6)/(-30)). Let u be y(n). Is u != 6?
True
Let l be -2*(3 - 1010/20). Which is smaller: 93 or l?
93
Let v be 6/8 - (-177)/(-1180). Let i(w) = -w + 9. Let l be i(9). Is v smaller than l?
False
Suppose 1 - 153 = -4*a. Let w = 41 - a. Is -2 greater than or equal to w?
False
Let x = 2.3 + -2. Let t = 1 + -3. Which is bigger: t or x?
x
Let b = 10 + -9. Suppose -u - b = 0, -2 + 12 = -3*l + 2*u. Let v(s) = -s**3