. Which is bigger: n or f?
n
Let l be 0 + 35/34 + (-75)/150. Which is greater: l or 0?
l
Suppose 0 = -5*j + 5, 0 = -o + 3*j - 3 + 1. Suppose 0 = 5*q - 5 - 5. Is q bigger than o?
True
Suppose -268 = -3*t - 4*k, -2*t = -4*t + 5*k + 217. Suppose t = -p - 108. Let v be 1 + -3 - p/90. Which is smaller: v or -1?
-1
Let c be 1/(1/(-4)) + 5. Let p = -4 - -2. Let k be c/(p*(-4)/24). Is 4 >= k?
True
Let z = -3 + 8. Suppose 31 = -z*f + 36. Let l = -17 - -58/3. Is f greater than l?
False
Let m = 0.886 - 0.443. Let s = m - -0.057. Is -4/3 >= s?
False
Let h = 530 + -271. Let g = -261 + h. Let v be ((-1)/3)/(1/2). Which is smaller: g or v?
g
Suppose 7*i - 9*i + 2 = 0. Suppose -3*n = -9, i = 5*x - 4*n + 6*n. Which is bigger: x or -1/42?
-1/42
Let i = 80303/87 + -923. Is -0.3 greater than i?
False
Let v = -2621 - -2621. Let m be (-2)/(-5)*(-3)/57. Is v bigger than m?
True
Let u = 21 - 18. Let n be (-3 + u*-6)*1. Is -0.1 at most as big as n?
False
Let v(l) = 13*l**2 + 323*l - 51. Let q be v(-25). Let p be (-262)/(-770) - (-2)/(-7). Are q and p equal?
False
Let j = 145 + -273. Which is smaller: 1/3 or j?
j
Let c be 1/((-16)/(-20) + (-812)/1040). Is 1 equal to c?
False
Suppose -3*j = a + 2*a + 12, 4*a = -5*j - 15. Let u be ((-17)/(-204))/(j/(-50)). Which is bigger: u or -4?
-4
Let g = -25/47 + 1454/2115. Are 1 and g nonequal?
True
Let w = -182/67 + 1140/469. Let i = 28 - 28.46. Do i and w have different values?
True
Let g be (-14)/49 + (-1760)/14. Let z be (-406)/g - (-4)/(-18). Which is bigger: z or -2?
z
Let i be (22/18)/(109 + -108). Is i smaller than 2?
True
Suppose z - 3*s = -21 + 5, -3*s = z - 14. Let u = 0 + z. Are 0 and u equal?
False
Suppose 0 = -g + 4*g - p - 9, 5*p = 4*g - 12. Suppose -g*z = -6*z + 27. Does z = 9?
True
Let q = -32 - -101. Let b = q - 34. Is b greater than 35?
False
Suppose -2 = -2*t - 5*b - 32, t - 4*b = -2. Let j be -12 + 4/10 + 4/t. Which is bigger: 0.1 or j?
0.1
Let j be -2*1/(-2)*-2. Suppose 0 = -40*f + 41*f - 5. Let k be (-3 - (-42)/8)*f/(-15). Is j equal to k?
False
Let t be (-970)/12 + (10 - 21) + 13. Which is smaller: t or -79?
-79
Let q = -0.848 - -1.036. Which is greater: q or -0.01?
q
Let q = 106 - 102. Suppose -2*f - 90 = 2*x - 3*x, -3*f = q*x + 124. Is f at most as big as -43?
True
Let f(x) = -5*x**3 + 2*x + 1. Let m be f(-1). Suppose 0*p - 16 = -m*p. Suppose -p*r = -0*r + 24. Is -6 greater than r?
False
Let z = 0.243 + 0.067. Let s = 0.16 - z. Let j = 5.85 - s. Which is bigger: j or 0.1?
j
Let b be (10/(-200)*5)/((-1)/(-4)). Do -5/71 and b have the same value?
False
Let t = -561/13 - -43. Suppose 12*b - 121 - 119 = 0. Suppose b*k = 11*k. Which is smaller: k or t?
t
Let y = -11 - -12.3. Let r = 17.7 + y. Is r less than 0?
False
Let v = 597 + -596. Which is smaller: v or 32/77?
32/77
Let w be 4/(-10) + 406/(-35). Let h be (-60)/w*(-2)/(-6). Suppose -a = 5*d + 3*a - 14, 5*a - 9 = -2*d. Is d at most as big as h?
False
Let x = 0.007 - 30.007. Let u = -29.5 - x. Is u bigger than 2?
False
Let p = 26 - -31. Which is smaller: 47 or p?
47
Let p(s) = 4*s**2 + 3*s + 3. Let i(g) = -7*g**2 - 6*g - 5. Let j(x) = -3*i(x) - 5*p(x). Let m be j(0). Which is smaller: 9/8 or m?
m
Suppose 3 = 4*l + 39. Is -4/9 <= l?
False
Let h be (20/(-90))/(2/(-78)). Is h greater than or equal to 10?
False
Let i = 70 + -65.2. Let c = -2.8 + i. Let o = -0.3 + 0.1. Is c greater than o?
True
Let v = -777 - -722.9. Let o = 54 + v. Which is smaller: o or 1/2?
o
Suppose -5*w + k = -1189, 2*w + 3*k - 21 = 458. Is 239 at most w?
False
Let i = -1 - -2. Let v = 6.93 - 6.94. Do i and v have the same value?
False
Let x be 4 + -9 + (-161)/(-35). Which is smaller: x or 2/45?
x
Let y be 0/((1 + 0)*2). Suppose 5*z = z + 28. Suppose 3*b + 1 - z = 0. Which is smaller: b or y?
y
Let h(o) = -3*o**2 + 20*o + 4. Let n be h(7). Let c be (n/1)/(-1) - -4. Let g(q) = q + 2. Let m be g(4). Is m at least as big as c?
False
Let n be 1/9086*4913420/(-365). Let c = 47/8614 - n. Let k = 1/77 + c. Which is smaller: 2 or k?
k
Let k be 0/(-2 + -2)*(-1)/(-4). Which is smaller: 2/459 or k?
k
Let y(v) = 1. Let h(t) = -t**2 - 5*t - 7. Let p(c) = h(c) + 4*y(c). Let x be p(2). Which is greater: -1 or x?
-1
Let r = 580 + -581. Which is greater: 9/22 or r?
9/22
Let m = -2975 + 3005. Does m = 0.17?
False
Let l = 24465 - 171564/7. Which is bigger: -45 or l?
l
Suppose -3*f = -4*f. Let l be (1/2 + f)/(-2). Let i = 2/53 + -65/318. Which is greater: l or i?
i
Let x = -33915/62 + 547. Which is smaller: 0 or x?
x
Let k(q) be the first derivative of -q**3/3 - 3*q**2 + 7*q - 5. Let b be k(-7). Suppose -5*s + 5 = -3*w - b, 3*s - w = 3. Which is smaller: -7 or s?
-7
Let i = -3601 + 226852/63. Is 0 bigger than i?
True
Let u = -65.1 - -68. Let p = -3 + u. Let q = 0.85 + -0.05. Is p <= q?
True
Let l = 5432/5 - 1086. Is l >= -64?
True
Suppose -17 = 5*n + 3*m - 294, n + 5*m = 51. Is n greater than -3?
True
Let w = 32 + -146. Let v = w - -113. Which is greater: -13/7 or v?
v
Let k be 168/(-32) - 3/(-12). Suppose 30 = -2*o + 4*c, -2*o + 0*o + c = 15. Is k < o?
False
Let x(a) = -a**2 + 6*a + 7. Let l(u) = -u**2 + 7*u + 7. Let z(m) = 4*l(m) - 5*x(m). Let r be z(0). Which is bigger: -5 or r?
-5
Let w be ((-6)/(-9))/(1/3). Let d = w + -3. Let t be (-44)/36 - 1/d. Which is bigger: t or 1?
1
Suppose 63*d - 37 = 59*d - 101. Let b be (0 - 2)/(4/34). Which is smaller: d or b?
b
Let x = 1.805 + 0.195. Is -27 equal to x?
False
Let x(y) = -2*y**3 - y**2 + 4*y - 1. Let f be x(3). Let i be 14/63 + f/(-9). Suppose 5*g + 3 = 3*s + i, 5*s - 2*g + 5 = 0. Which is bigger: s or -3/14?
-3/14
Suppose 13*w - 11 - 2 = 0. Is 1/71 smaller than w?
True
Let t = 2144 + -2115. Suppose 3*z + 0*z - 89 = -4*x, 0 = 5*z - x - 156. Is z bigger than t?
True
Let p = 210.23 - 196.4. Is 0.1 smaller than p?
True
Let a = -41 - -59. Is a less than or equal to -2?
False
Let r = 625 + -943. Is -319 greater than r?
False
Let x = -1244 - -1265. Which is smaller: x or 1/5?
1/5
Let s = 0.701 - 0.201. Does 0.29 = s?
False
Suppose -246 = -3*d - 3*l, -18*l = 3*d - 22*l - 239. Is d > 4?
True
Let v(b) = b**2 + b - 1. Let w(x) = -2*x**2 - 17*x + 28. Let d(j) = 3*v(j) + w(j). Let q be d(12). Which is bigger: q or 1/18?
q
Let s = 0.802 + -0.472. Which is greater: s or 6?
6
Let m(r) = -2*r - 5. Let j(z) = z + 2. Let s(i) = 5*j(i) + 2*m(i). Let v be s(-2). Is 0.2 greater than v?
True
Let q be ((-4)/10)/(15/(-1050)). Let h = q - 46. Which is smaller: -17 or h?
h
Suppose 2*r + 10 = 2*i - 2, -i = 5*r + 60. Let u = r - 0. Are u and -10 equal?
False
Let y = -6267/52 - -527/4. Which is smaller: 10 or y?
10
Suppose 4*j = -16, k - 2*k + 16 = -3*j. Suppose 0*z = g - 5*z - 11, -k*z + 20 = 4*g. Let t(o) = -o**3 + 6*o**2 + o - 2. Let i be t(g). Is i smaller than 4?
False
Let f(a) = 8*a - 120. Let w be f(19). Are w and 26 non-equal?
True
Let i = -86 - -108. Let r be (2/(-14))/(i/(-77)). Is r bigger than 5/8?
False
Let t = -0.16 - 0.06. Let f = -0.12 - t. Is 0.1 less than f?
False
Let p be 210/175*45/1164. Is p not equal to -1?
True
Let p = 1511.06 + -1499. Let x = p - 0.06. Let k = x - 9. Is -5/4 greater than or equal to k?
False
Let d = -0.05 + -0.05. Let i be (0 - 3) + (130/6 - 2). Let j = i - 16. Which is smaller: j or d?
d
Let y = -0.553 + -69.247. Let b = y + 70. Is b > -0.08?
True
Suppose 5*g = -2*h + 73 + 16, g = -2*h + 13. Let c be g/(-2) + 3/6. Let z be ((-3)/c)/((-2)/42). Which is bigger: 2/7 or z?
2/7
Let a = -75733/135 + 561. Is -1 less than a?
True
Let l be -201*4/(-12) + 2. Is 70 at most l?
False
Let n = -360 + 377. Are 23 and n non-equal?
True
Let h(s) = s**2 + 4*s - 1. Let b be h(-5). Suppose -b*w + 6 = 2*w. Which is greater: 2 or w?
2
Suppose d = 26 - 2. Suppose d = -2*q + u - 8, -2*q = 5*u + 32. Let j = -17 - q. Which is greater: j or -1/6?
-1/6
Let g = 0.84 + 1.12. Let r = 0.24 + g. Let j = r - 2.3. Is j > 0?
False
Let m = -3.04 + 0.34. Let a = 2.7 - m. Is a at least -1?
True
Let l be ((-312)/(-5265))/((-2)/12). Which is greater: l or 0?
0
Suppose 4*g + 6 = 6*p - p, 0 = -5*g - 2*p + 9. Do -2/1097 and g have different values?
True
Suppose 18 = 2*d + 2*d - 2*s, -4*d = -4*s - 20. Suppose 0 = o + d*o + 20. Which is bigger: 2 or o?
2
Let v(b) = -b**2 + 10*b + 481. Let a be v(27). Are 20 and a non-equal?
True
Let w = -170 + 169.798. Let v = 0.102 + w. Which is smaller: v 