 or i?
c
Let o = 38 - 43. Is o at most as big as 1/21?
True
Let b(y) = 20*y**2 + y + 13. Let k(r) = 7*r**2 + 4. Let z(f) = -6*b(f) + 17*k(f). Let q be z(-7). Which is greater: q or -16?
-16
Let z = 2 - -22. Let c = z + -10. Let i = c + -13. Which is greater: 0.2 or i?
i
Let q = -13 - -13. Suppose 15 = 5*i - 0*i. Suppose 7*w - i*w = 44. Is w at most as big as q?
False
Suppose 0 = -0*p - 4*p + 16. Suppose -i = p*a + 29, -2*a + 4*i = 2 + 8. Let y be 3/a*(-6)/(-9). Which is smaller: 1.1 or y?
y
Let t be 6/801*(-24)/(-8). Let s = t - -168/445. Is s at least 0?
True
Let n = 28 + -20. Let l = n + -6. Let o be l/(-12) - 6/(-12). Which is smaller: o or 0?
0
Let w = 3 + -2. Let z(p) = p**3 + 6*p**2 - 3*p - 13. Let o be z(-6). Let s be ((-5)/(150/12))/((-4)/o). Which is bigger: w or s?
w
Let c = -176 - -177. Is c at most as big as 2/111?
False
Let j = -1573 - -1571. Let m = 11 - 0. Which is smaller: m or j?
j
Let w be 2/(-5) + 2748/20. Let c = w - 61. Let d be c/(-25) + (-1 - -4). Which is bigger: d or -1?
d
Let p = -0.101 + -0.299. Is p at most as big as 42?
True
Let s be 129/6 - 3/6. Let m = -7 + s. Which is bigger: m or 13?
m
Let t be (24/(-9))/((-2)/3). Let l be 2/11 - 48/22. Let v(w) = w**2 - 2*w - 3. Let d be v(l). Is d less than or equal to t?
False
Let j be ((-18)/(-2214))/((-64)/(-60) + -1). Which is greater: 1 or j?
1
Let v = 8 - 1.6. Let k = v + -36.4. Let r = k + 28. Which is greater: r or 6/7?
6/7
Suppose 2*q - 7*q - 55 = 0. Let y = -131 - -195. Let f = 52 - y. Is f less than or equal to q?
True
Let i be 12/8*11/(198/(-12)). Which is smaller: i or 154?
i
Let q(z) = -z**3 + 7*z**2 - 2*z - 40. Let y be q(5). Let b = -17/4 + 331/76. Is y > b?
False
Suppose -11*a + 1095 = 985. Is 26/3 smaller than a?
True
Let b = 42 - 41.83. Let c = -0.23 + b. Let d = -33 + 34. Do c and d have the same value?
False
Let t be (3 - 80/48) + (-4)/(-6). Is 54/59 >= t?
False
Let s(k) = k**3 - 5*k**2 - 7*k + 7. Let t be s(6). Let j be 3 - (-1 - (-1 + t)). Suppose -j*w = w. Is w at most 0.02?
True
Let a = -954 + 963. Is a greater than or equal to 103/13?
True
Let i be (1 - -1)*6/(-4)*3. Let c = i + 9. Let p = -2/125 - -143/1125. Is p > c?
True
Let a(l) = 3*l + 105. Let i be a(-9). Is 388/5 equal to i?
False
Let s be ((-48)/(-18))/(7/((-42)/(-20))). Let a = 2 - 2. Which is smaller: s or a?
a
Let j = 61930/13 - 4774. Do j and -10 have the same value?
False
Let j = 0.0415 - -0.1585. Which is bigger: j or -473/5?
j
Let a = -20 - -23. Suppose 4*y = x + 22, 0 = -6*x + a*x - 5*y + 2. Which is smaller: -5 or x?
x
Suppose -3*o - 3552 = -6*o. Let p be 2/8 - 168/o. Which is greater: 1 or p?
1
Suppose -5*r + 236 = -3*r. Let k = r + -1769/15. Let j = 4 + -5. Which is bigger: k or j?
k
Suppose -30 = 5*k + 30. Let q = -32 - -34. Let a be 3 + 1 + -18 + q. Is a >= k?
True
Let n = -7 + 45. Let p = 44 - n. Which is greater: 5/2 or p?
p
Suppose 0 = 2*y + 4*b + 68, -45*b - 180 = 5*y - 40*b. Do y and -33 have the same value?
False
Let z = -55 - -87. Let t = -31.9 + z. Suppose 0 = -3*q - 2*v + 1 - 12, 2*v = -q - 1. Are q and t non-equal?
True
Let s be 90/300 + (-13)/10. Is s equal to 1/1047?
False
Let k = 507 - 513. Which is smaller: -22 or k?
-22
Let g(j) = -23*j + 207. Let m be g(9). Which is bigger: -21 or m?
m
Let x be ((-4)/(-1))/(12/9). Suppose 0*t = -3*t - x. Let a = t + -5. Are a and -4 equal?
False
Let j = 65 - 57. Let y = 1.17 + 11.63. Let u = -13 + y. Is j greater than u?
True
Let k be 5/(-3) - 135950/(-75). Which is smaller: 1810 or k?
1810
Let n(o) = o**3 + 14*o**2 - 20*o - 25. Let i be n(-14). Which is greater: i or 256?
256
Let k = 2253 - 65343/29. Let i = k - -25/261. Let q be (-2)/(-2*(-3 + 4)). Which is bigger: i or q?
q
Let c = 0.1 + -0.1. Let v = -106 - -158. Let g be (2/((-56)/v) + 2)/1. Which is bigger: c or g?
g
Let y be 4/18*(-15141)/14. Is -241 <= y?
True
Let a be (4/(-135))/(4/42). Let k = -1/9 - a. Suppose -9*p - 1 = -8*p. Is p > k?
False
Let y(d) = d**3 - 10*d**2 - d + 12. Let j be y(10). Let i be (j*1/5)/((-15)/(-450)). Is 11 not equal to i?
True
Let b(h) = 26 + 2*h - 30 - 50. Let d be b(27). Which is bigger: 1/91 or d?
1/91
Let f be 10*-3*(-7)/21. Do f and 95/11 have the same value?
False
Let a = -2 + 3. Let x = -70 + 97. Let j be 9/(x/(-2))*(-14)/(-4). Which is smaller: j or a?
j
Let w(n) = n**3 + 4*n**2 + 2*n. Let t be w(-2). Let y = 12 - t. Suppose 3*z + 1 = -4*x - 3, -3*z - 5*x = y. Is z bigger than 3?
True
Let j = 202134201/112 - 1804758. Let s = 26885/7 - 3829. Let h = s - j. Which is smaller: -1 or h?
-1
Suppose 4*p - 18 = -2*u, 2*p - 5*u + 23 = p. Suppose -3*n + 3*i = -18, p*n = -3*n + 2*i + 15. Let s = n + -2. Which is bigger: -4 or s?
s
Let t be (0 - (4 + -3))*(-718)/(-10). Let s be (3 - (-72)/1) + -2. Let x = t + s. Which is bigger: 2 or x?
2
Let v = 20.22 - 20. Let m = v - 1.22. Is 4 less than or equal to m?
False
Suppose -301*s = -315*s + 504. Is 38 > s?
True
Suppose 3*l - 6 - 6 = 0. Suppose -2*o - 10 = -5*v, l = -0*v + 2*v + 5*o. Suppose 0 = s - v*i - 12, -12 = -3*s + 4*i + 20. Is -2/3 < s?
True
Let l = 88 + -58. Let d(x) = 5*x**3 - x**2 - 3*x + 1. Let o be d(2). Is l at most as big as o?
True
Let b be -1 + 2451/(-819) + 4. Let j = b - -85/819. Which is smaller: 2 or j?
j
Let y = 0.49 - 0.11. Let x = y + -60.38. Is 0.1 greater than x?
True
Let s = 3.31 + -1.19. Let a = -0.12 + s. Let p = 253/5 + -51. Is a >= p?
True
Let p be (1 + (2 - 2))*1. Suppose -2*n = 3*n - 3*n. Let q be (-3 + n + 0)/(40/(-25)). Is p < q?
True
Suppose -b = -5*i - 23, 3*i + 4 = 2*b - 35. Let w be (0 - (-2 - -1)) + (5 - 6). Let l be 14 - (3 + (-6 - w)). Which is greater: b or l?
b
Let n = 0 - 3.7. Let x = n - -3. Let m be 3/(-5) + (-66)/(-210). Which is bigger: x or m?
m
Let m = -33 + 41. Let h be m/(-20) + 26/40. Which is bigger: -0.5 or h?
h
Let n = -3 + 9. Let x(f) = f**2 - 3*f - 13. Let p be x(n). Suppose 4*i + p*b = 21, -3*b + 1 = i - 6. Which is smaller: i or -2?
-2
Let c = 1 + 1. Suppose -2 + 16 = c*b. Suppose -6*l + l = -30. Do l and b have different values?
True
Let u be ((-99)/(-5))/((-21)/(-10)). Which is bigger: u or 10?
10
Let r be ((-93)/(-4))/(4/48*-3). Let o = 1745 - 9196/5. Let q = o - r. Which is greater: q or 0?
0
Let i = -1605 - -1608. Which is bigger: 63/31 or i?
i
Suppose -3*b - b = r + 5, -5*r + 20 = 5*b. Is r greater than 8?
False
Let w(u) = 3*u - 6. Suppose -4*c + 2*y = 7*y, 4*c = -y + 16. Let g be w(c). Let t = g - 12. Are -6 and t nonequal?
True
Suppose -29*k + 21*k + 224 = 0. Let h be (24/6)/4 + k. Is 30 greater than or equal to h?
True
Let f be -5*3/(-5) + 12. Let n be 4/(-16) + f/12. Which is smaller: n or -2/71?
-2/71
Let h be (-88)/484 - -5029*(-2)/(-22). Does h = 456?
False
Let v(j) = -j**2 + 12*j - 14. Let k be 3 + 7/(35/40). Let b be v(k). Let s be (((-45)/(-2))/(-9))/b. Is s not equal to 2?
True
Suppose -3*w - 228 = -4*n, -n + w - 212 = -5*n. Let f = n - 67. Is f less than -13?
False
Let h be ((-3)/(-6))/1*-64. Let i be ((-13)/44)/((-1 - 3)/h). Which is smaller: i or -2?
i
Let s(m) = -2*m - 2. Let w be s(-3). Let u be (-188)/6 + w/(-6). Let v be u/(-30) - 8/12. Which is smaller: v or 2?
v
Let i(a) = 7*a**2 - 5*a + 1. Let d(b) = -6*b**2 + 4*b. Let n(y) = 6*d(y) + 5*i(y). Let z be n(4). Is -17 <= z?
True
Let g = 48 - 36. Let h be (4/2)/((-24)/g). Which is greater: -0.6 or h?
-0.6
Let t be (354/5)/((-165)/(-25) + -7). Is t >= -181?
True
Let o be 0*((-21)/(-6) - 3). Let f(k) = -2*k - 15. Let z be f(o). Which is bigger: -16 or z?
z
Let k(i) = -128*i + 224. Let b be k(-20). Which is smaller: b or 2785?
b
Let m = 1576/3 - 121382/231. Is m greater than -1?
True
Suppose 0 = 4*h, -2*n + 4*n + 18 = -4*h. Is -12 at least as big as n?
False
Suppose -80 = 3*w + 2*a, -a + 0*a = 3*w + 85. Let l = -12 - w. Which is greater: l or 20?
20
Let u be (-31)/2*2/(-8). Is u at most as big as 4?
True
Let g = -50 - -50. Suppose 0 = -g*x + 4*x - 96. Do x and 21 have the same value?
False
Suppose -5*o = 12 - 2. Let s be (o - (-1 - 0))*-1. Let r be (-2 + 50/24)/((-4)/6). Which is smaller: s or r?
r
Let z(f) = f**2 + 12*f + 3. Let x be z(-12). Suppose -2*r = r - x, 3*k + r - 4 = 0. Which is smaller: 3 or k?
k
Let p be 10/45*6/4. Let z(o) = -2*o**2 - 2*o**2 + 11*o**2 + 3*o - 9*o - o**3. Let g be z(6). Which is smaller: p or g?
g
Let o = -1/70 + 17/14. Let a(r) = -r**3 + 7