 + 137/22. Which is bigger: -0.9 or z?
z
Suppose 3*c = 5*n - 50, 26*c = -5*n + 28*c + 55. Is n smaller than 2/11?
False
Let o be (4/6)/(-3 + 0). Let c = -0.4 - -0.36. Is c greater than o?
True
Let p be 1 + 6 - (11732/236)/7. Is p at most 1?
True
Let f be 2 + 0 - -280 - (11 - 9). Suppose -10*q = -6*q + f. Is -71 bigger than q?
False
Let y = -45 + 48. Suppose 1 = -y*s - 5. Let x = -4 + 1. Is s not equal to x?
True
Let r be 25 + -25 + 6*8/(-84). Let w = 3 - 5. Is w bigger than r?
False
Let c be (-16)/(-4) - (2 + 2 + -3). Suppose 0 = c*k + 5 + 4. Which is greater: k or -2?
-2
Let c = 10/17 - 143/272. Let s = -35/48 + c. Suppose 2*x - 2*g = -16, x + 3*g + 2*g = -2. Which is bigger: s or x?
s
Let c = 65 - 47. Suppose p + 17 = -4*i, -4*i = -7*i + p - c. Are -5 and i non-equal?
False
Suppose n - 320 = 9*n. Is -40 at least as big as n?
True
Let j be ((-34)/2)/((-4)/4). Suppose 3*m - 3*d = -15, j = -0*m - m + 4*d. Which is greater: m or 12?
12
Suppose -2*n = 17*i - 18*i - 2768, 2*n + 5*i - 2768 = 0. Is 1384 less than n?
False
Suppose -2*g = 4*f + 2*g - 32, 2*f - 3*g - 11 = 0. Let v be (-451)/(-143) - (f - 1)/2. Which is smaller: v or -1?
-1
Let q be ((-14)/35)/((-12)/15). Suppose 0 = -2*m - 17 + 1. Let t be (m/10)/((-2)/5). Which is smaller: t or q?
q
Let f be ((0 - -2)*-3)/(-2). Suppose 4*u + 5*k = 12 + 10, f*k - 9 = -u. Let y = -236 + 235. Is u greater than y?
True
Let b = -16 - -191/12. Let w be (9 + 0)*2/6. Suppose -4*g = 3*o + o + 16, -w*g = -5*o - 12. Is b <= g?
False
Let z = 309 - -154. Let u = -5105/11 + z. Let q be -9 + -3 + (-2 - -12). Are q and u unequal?
True
Let z be 522/(-10353) + (0/1)/2. Do 0.2 and z have the same value?
False
Let s be 1*(-3)/15 - 112/40. Which is smaller: s or -36?
-36
Suppose -12*j + 4872 = 12*j. Is j less than or equal to 202?
False
Let z(n) = -16*n**3 - 2*n**2 + 2. Let i be z(1). Let r be (28/(-280))/(i/50). Which is bigger: r or 0?
r
Let f = 14 + -23. Let s = f + 9.02. Let g = 0.05 - s. Is g < 1/3?
True
Let r(k) = 3*k**2 - 2*k + 3. Let l be r(7). Let z be 2/(-12) + ((-108)/l - -1). Is z less than or equal to 0?
False
Let q = -347 + 346.7. Is q < 3/16?
True
Let w(g) = -3*g**2 - 35*g + 14. Let y be w(-12). Which is greater: 38/53 or y?
y
Let l be 21/(-36) - (-155)/93. Which is bigger: 1 or l?
l
Suppose -47*u = -3*u - 8228. Is 188 bigger than u?
True
Let k = -494 + -57. Is k equal to -2/5?
False
Let z = 37 - 24. Let r = z + -8. Are r and 3 nonequal?
True
Let v = -1.12 + -0.28. Is 4 bigger than v?
True
Let q(x) = -9*x - 30. Let k be q(-12). Suppose k - 8 = -5*s. Is -16 smaller than s?
True
Let v(n) = -n**3 + n**2 + 8*n - 7. Let o be v(3). Which is greater: o or 6/79?
6/79
Suppose 878 = -2*t + 890. Let k(p) = p**3 - 6*p**2 + 6*p + 1. Suppose v + 30 = 5*g, v + 15 = -2*v. Let h be k(g). Is h bigger than t?
False
Suppose 5*y = 3*z - 25, 0 = -5*y + 2*y + 4*z - 26. Which is smaller: -126/61 or y?
-126/61
Let t(f) = -f**3 - 38*f**2 - 71*f + 48. Let r be t(-36). Let b be (-2)/r - 6/(-36). Let i be 2/1 - (-1 - 0). Which is greater: b or i?
i
Let t = -833 - -219081/263. Which is greater: t or 0?
t
Let n = -2.2 - -0.1. Let y = 0.8 + -2.8. Let a = n - y. Is a equal to 2?
False
Let j = -2467935703/77 + 32052082. Let m = j + -969. Which is bigger: -1 or m?
m
Let r = -1586/817 - -36/19. Which is smaller: 1 or r?
r
Let o(u) = 5*u**3 + 3*u**2 - 6*u + 3. Let a be o(1). Suppose a*i + 0*i - 25 = 0. Which is bigger: 35/8 or i?
i
Let k = -63 + 4349/69. Let h(f) = 5 - 3*f**3 - 6*f + 4*f**2 - 2*f**3 + 4*f**3 + 2*f**2. Let y be h(5). Which is smaller: y or k?
y
Let n = -29 + 27. Let j be 1 - (3 - 2) - n. Suppose 5*y - 5*p + 20 = 0, y - 8 = 5*y - j*p. Which is bigger: y or 6?
6
Suppose 5*n + 0 - 77 = -3*z, -5*n - 56 = -4*z. Suppose -6*h + z = 31. Is -2/3 > h?
True
Suppose -9*i + 14 = -7*i. Suppose -i*z = -5 - 2. Which is greater: 2/245 or z?
z
Suppose 0 = 4*p + 5*b - 131, 2*b = -3*b - 5. Let c = -23 + p. Let o(v) = v + 6. Let t be o(5). Are c and t non-equal?
False
Let o = 9964/122305 + 1/2005. Which is bigger: 0.01 or o?
o
Let q = 1398 + -2281. Are q and -883 equal?
True
Let j(c) = -4*c**2 - 15*c + 6. Let d be j(-8). Let h = d - -648/5. Which is smaller: h or 2?
h
Let g(p) = -p**3 + 5*p**2 - 12. Let h be g(4). Which is smaller: -20 or h?
-20
Let y be -146*6/4092 - 2/(-11). Is -1 smaller than y?
True
Let i = -599 - -587. Let a be (-1 + (-33)/9)*3. Which is smaller: i or a?
a
Let f(h) = 2*h + 17. Let j be f(-13). Which is greater: j or -4?
-4
Let x = 6 + -4. Let j be (-1)/(-3) - x/42. Let h = -574 - -1721/3. Is j greater than h?
True
Let b = 90 + -808/9. Let x(r) = -2*r**2 + 9*r - 9. Let f be x(5). Let v = 10 + f. Which is greater: b or v?
b
Let w(m) = -7*m + 3. Let p be w(-7). Let x = -37 + p. Let c = -23 + x. Is c less than -9?
False
Let w = 1336/23347 + -2/631. Which is smaller: w or -0.05?
-0.05
Let c = 564691895/1176269 - 57/40561. Let u = 480 - c. Which is greater: u or -1?
u
Let y(t) = 4*t - 28. Let o be y(8). Let s(g) = -g**3 - 14*g**2 + 16*g + 20. Let v be s(-15). Which is greater: o or v?
v
Let l be 3/(-6) - 4/((-8)/9). Suppose l*n + 8*n - 744 = 0. Is n > 62?
False
Suppose 3*k - 6*s + s = 373, -2*k = -3*s - 247. Suppose 6*c = -k + 32. Which is smaller: -13 or c?
c
Let z(t) = t**2 - 34*t + 65. Let f be z(32). Suppose -b + 4*b = 12. Let s be b/3*2/4. Is s < f?
True
Suppose -g + h + 2*h + 6 = 0, -4*g + 24 = h. Let x = -31 + 36. Which is greater: x or g?
g
Let n = 54 - 27. Suppose 5*j + n = -2*t, 3*t - 4*j = 1 + 16. Let m be 6/9 + 1/t. Is 6 at most m?
False
Let r = -15 + 6. Let u = r + 23. Let k = -13 + u. Is -1 less than or equal to k?
True
Let q = 0.0326 + 0.4674. Does -3/62 = q?
False
Let x(n) = 2*n - 2. Suppose q = 4*a + 4*q - 21, -2*a + 5*q - 9 = 0. Let y be x(a). Let u be 2*(6/y + -3). Which is bigger: 1 or u?
1
Let f = 0.62 - 0.32. Let d = 0.49 + 2.51. Which is greater: f or d?
d
Let a(f) = -f**3 + 4*f**2 + 4*f + 7. Let g be a(5). Suppose -k + 52 = g*y - 10, 2*y - 46 = -5*k. Let o be (22/y)/((-4)/(-30)). Which is smaller: o or 0.1?
0.1
Let k = -670509 + 19454420/29. Let i = k + -333. Which is greater: i or -1?
i
Let g = 2949 + -97316/33. Is 0 smaller than g?
True
Let x(m) = m**2 + m - 2. Let b be x(-3). Let r be ((-57)/b)/((-35)/(-56)). Let j = 23 + r. Is j bigger than 0.2?
False
Let n be 1*-2*4/(-44). Let p = 0.19 - 1.69. Let u = -1.1 - p. Which is smaller: u or n?
n
Let s = -2/257 + -1532/1285. Let y(t) = -70*t. Let n be y(-1). Let u = 70 - n. Are u and s equal?
False
Let g be 14/(-3) + 6/9. Let n = 0 - g. Suppose -n*w + 3*h = -16, -2*w - 2*h - 5 = 1. Is 4/9 at most w?
True
Let i be -2 + 2/(162/48687). Let z = i + -599. Let y = 1 - 1. Is y >= z?
False
Suppose u - 178 = 4*j, -8*j + 3*u = -7*j + 39. Is j greater than or equal to -41?
False
Let p = -547.59 - -547. Is -3 > p?
False
Let r = 11 - 9. Let k = r - 2. Which is smaller: -1/18 or k?
-1/18
Let y be (9/117)/((213/2)/3). Is y bigger than 1?
False
Let c = -64 + 63.57. Which is smaller: c or -3/2?
-3/2
Let z = 6566/5 - 1313. Suppose 0 = -3*g + 6*g. Which is greater: z or g?
z
Suppose 3*u - 5*p - 1 = 0, -3*u - 5*p + 2*p - 15 = 0. Is -3 not equal to u?
False
Let z be (3/54)/(1/8). Let r = 2/3 - z. Are r and 1 equal?
False
Let a be 4/2 - 360/135. Which is greater: 125 or a?
125
Let x = -170 - -61. Let t = -30 - x. Suppose 4*f = -s - t, f + 65 = -2*f + 5*s. Does f = -20?
True
Suppose l = -9*l - 680. Which is smaller: l or -73?
-73
Let c be 50 + (1*2)/(0 - -2). Let r = 59 - c. Is r greater than 0?
True
Suppose 0 = 5*n - 5, -3*n = -5*r + 6*r + 74. Is -78 > r?
False
Let x = 40 - 32. Let q be (-11)/80 - (-1)/x. Which is bigger: 0 or q?
0
Let c be -2 + 19/5 - 0. Let u(f) = 7*f**2 + 3*f - 20. Let d(q) = 4*q**2 + 2*q - 10. Let o(x) = -5*d(x) + 3*u(x). Let v be o(4). Which is smaller: c or v?
c
Let y be 1 - 2 - (-230)/260. Let m be (-8)/10 + (-7)/35. Which is smaller: y or m?
m
Let q = 40 + -37. Let w be 1844/462 - (q + 1). Is -1 smaller than w?
True
Let g(q) = 15*q + 707. Let i be g(-49). Does -27 = i?
False
Let p be (0 - -1)/((-1)/(-4)). Let o = 3 - p. Suppose -4*y - 4 = -0. Are y and o nonequal?
False
Let x = 1.611 - 30.471. Let t = 29 + x. Which is smaller: t or -3?
-3
Suppose 50 - 32 = 18*v. Which is bigger: -5/117 or v?
v
Suppose -4*p + 180 = m, -p + 2*m = 14 - 50. Suppose i + 3*i -