. Which is greater: n or 50?
n
Suppose 5*c = 165 + 330. Suppose 6*m = -c + 999. Is m smaller than 150?
False
Suppose 1845 - 29555 = -362*r + 345*r. Is 1631 greater than r?
True
Let r(b) = -b**2 - 3*b**2 - 11 + 3*b**2 - 10*b. Let c be r(-9). Let o be (c/10)/(3 - (-4 + 8)). Is o less than 0?
False
Suppose -4*w - 13*d + 189 = -18*d, 0 = -3*d - 3. Is w greater than 1326/29?
True
Let k = -8367 + 8367.043. Which is bigger: k or 11?
11
Suppose 962*l - 968*l = 0. Is -7/52 at least l?
False
Suppose -3*s + 4*y + 26 = 0, 3*y = -93*s + 94*s - 17. Is -1068 at least as big as s?
False
Let r be (-446)/12 + -10*(-13)/780. Does -3 = r?
False
Let l be (-921)/3070 + 3251/10870. Do l and -2 have the same value?
False
Let m = -5065 + 5065.06. Which is greater: m or -0.5?
m
Suppose 144 = -124*z + 268. Are 2/22595 and z non-equal?
True
Let r be ((-69)/92)/(1/4) - -197. Which is smaller: r or 192?
192
Let i(v) = v**3 + 11*v**2 + 6*v + 74. Let r be i(-10). Which is greater: r or 1242/11?
r
Let m = -195 + 299. Let d = m + -104. Is d < 17?
True
Let i = -670 - -673. Is -24/19 less than i?
True
Let w(i) = 25*i + 7*i**2 + 6*i + 5 - 36*i. Let r be w(1). Which is smaller: -2 or r?
-2
Let w = 90 - 86. Let l be 96/9 - (1 + w/6). Is 7 at most as big as l?
True
Suppose 28*m + 12162 = 3*m - 4463. Is m at least -665?
True
Let b(p) = -32 + 7*p + 44*p**2 - 4 + p**3 + 15*p - 16*p - 53. Let i be b(-44). Are -352 and i non-equal?
True
Let c = 5/57 - -1085/627. Let h = 161 - 156. Which is smaller: h or c?
c
Let i be 16/12 + -2 + (-1450)/(-6). Let g = -231 + i. Suppose k + d = 8, 3*d = 5*k - k - 67. Which is greater: g or k?
k
Let d = -1/2475 - -22304/71775. Suppose j + g = 5, j + 4 + 11 = 3*g. Are j and d equal?
False
Suppose -4*y = -3*y + 2*n - 3, -4*n = -2*y - 2. Let z be y/5 + 54/5. Suppose 0*h - 22 = z*h. Which is greater: h or -8/13?
-8/13
Suppose -4*l + 890 = 4*r - 2*r, -210 = -l + 2*r. Let p be l/50 + (-4)/10. Is p greater than or equal to 36?
False
Let v = -46 + 49. Suppose 0 = -v*m + 17 - 20. Let h be 1*((-4 - m) + 915/303). Which is smaller: h or 0?
0
Let w be -6*8500/(-8370) - 6. Which is smaller: -1 or w?
-1
Suppose -4*r - 5*c = 1199, -1106*c + 603 = -2*r - 1105*c. Which is smaller: -302 or r?
-302
Let a(j) = -j**3 - 6*j**2 + 21*j + 11. Let q be a(-8). Let m be q/203 - (-8)/(-42). Are -1 and m nonequal?
True
Let h = 353 - 240. Let m = h - 112.9. Let u = -51 + 11. Is m smaller than u?
False
Let j = 10809 + -20572. Which is bigger: j or -9762?
-9762
Suppose 153 = d + 235. Does -94 = d?
False
Let t be -5*-2*(-2)/4. Let k(b) be the second derivative of -b**3/6 - 5*b**2/2 - 909*b. Let v be k(t). Which is smaller: -1 or v?
-1
Let z(w) = 2*w - 3. Suppose 2*s - 4 = -0*s. Let h be z(s). Let l be ((-3159)/459 - -7)/(79/17). Does l = h?
False
Let j = -15781 + 15780. Which is smaller: 8983 or j?
j
Let c = 113 + 30. Let o = 41 - c. Let r = -104.5 - o. Which is smaller: r or 2/11?
r
Suppose -3*o = -4*o - 37. Suppose 28*z + 45 = 37*z. Suppose -t + r - 35 = 2*r, 4*r = -z*t - 175. Which is greater: t or o?
t
Let i = -7659 - -7684. Suppose -t - 4*t - 20 = 0. Which is smaller: i or t?
t
Let j be (15*32/10200)/(5/(25/(-2))). Is j not equal to 56.6?
True
Let o = -1812 - -7253/4. Do o and -1979 have different values?
True
Let w = -3.09692 - -0.09692. Is 130 smaller than w?
False
Suppose 10*w + 583 - 1613 = 0. Is 13 < w?
True
Let n = 2.4836 + -6.1536. Is n greater than or equal to 1/16?
False
Suppose 1 = -2*h - 3. Let s be (1 - 1)/(-4 - h). Let k be -2 - 168/92 - (9 + 2 + -15). Which is smaller: s or k?
s
Suppose -3*m = 9, -3*l + 33 = 201*m - 205*m. Let d = 9681/4 + -125469/52. Are d and l equal?
False
Let x be (32/20 + -2)/((-1)/(-5)) + 1. Let h be (-10)/1288*(-70)/175. Do h and x have different values?
True
Suppose 44*i - 49*i = v + 10, 4*i = v - 17. Let b = -16 - -10. Which is smaller: b or v?
b
Suppose -2*s + 3*j + 35 = 0, 27*s = 29*s + 4*j - 28. Suppose s = 2*y + u + 77, -4*u = -5*y - 133. Is -10 at most y?
False
Suppose v + 592 - 3812 = -9*v. Which is greater: v or 323?
323
Let v be ((-1)/35)/(33/165). Which is smaller: 11/3 or v?
v
Let u be 2/(-7) - (-16)/7. Suppose -u*z + 19 - 91 = 0. Let r be 10/z*(-40)/50. Are r and 2 equal?
False
Let h be 6 - (-2196)/28818*630/(-8). Which is greater: h or -1?
h
Let b(m) = -m**3 - 13*m**2 + 32*m + 37. Let z be b(-15). Suppose 5*s + z*r + 1115 = 5*r, -4*s - 3*r = 899. Is s equal to -219?
False
Let k = 578 - 566. Let y be (-17179)/9102 + 10/k - -1. Are -1/7 and y equal?
False
Let m = -285 - -173. Let l = -216 - m. Which is smaller: l or -1/2?
l
Let x(q) = -566*q - 988. Let m be x(-2). Suppose 36 = 4*i + 4*o, -2*i + 30 = 2*i + 2*o. Suppose i*g - 4*z = g - m, 5*z - 61 = 2*g. Are -2/9 and g unequal?
True
Let a = 337 + -286. Let z be ((-68)/(-6))/((-58)/(-261)). Is a at most z?
True
Suppose -3*j + 4*u = 1194, -2*j + 2*u - 758 = 36. Is j at most as big as -397?
False
Let p = 306 + -3148. Which is smaller: -2841 or p?
p
Let q = 5171.6 - 5181. Do q and -1 have different values?
True
Let r = 2063 + -1932.4. Do 6 and r have different values?
True
Let p = -7540 + 14239/2. Which is bigger: -420 or p?
-420
Let b(d) = 84*d + 513. Let o be b(-8). Which is bigger: o or -160?
o
Suppose 94*u = 174*u. Let i = -2/75173 - 299370/49689353. Do u and i have the same value?
False
Suppose 12 = 3*v - s, 0 = -3*v + v - 2*s. Suppose -v*a = -4*a + 16. Suppose -u + 2 = 0, 0*q + 3*q - 5*u = 38. Is q greater than or equal to a?
True
Let c be 725/330 + ((-1)/6)/((-4)/4). Does c = 2?
False
Let c(h) = -h**3 + 5*h**2 + 40*h + 36. Let y be c(-10). Is 1133 less than y?
True
Let k(x) = 3*x - 25. Let y be k(9). Let q be (y/4)/(45/10 - 4). Let g = 1785/4 - 283807/636. Which is smaller: q or g?
g
Let c = 166.99 + -98.78. Let m = 1.21 - c. Let q = m - -66.8. Is q equal to 3/11?
False
Suppose -4*s = -2*y + 38, 0*y + 56 = -4*s - 4*y. Let t(h) = -h**2 - 11*h + 1. Let w be t(s). Let p be (-2)/14*(-3 - 0). Is p > w?
False
Let y = 474 - 476. Let a be y + 0 + 6 + 218/(-17). Is a smaller than -9?
False
Suppose -u + 4*m - 179 = 0, 623*m - 619*m - 537 = 3*u. Which is smaller: u or -10?
u
Let y be 1/8 + ((-203685)/(-600) - -15). Which is bigger: y or 355?
355
Let f = 56 + -53. Let c be f + (28 - 4) + 0. Suppose c*j - 24*j = -3. Which is smaller: j or 18?
j
Let s(m) = -m**2 - 39*m - 129. Let n be s(-3). Is -20 at most as big as n?
False
Let c be (-78)/286 - 9/(1980/21016). Which is smaller: c or -97?
-97
Let a = 18543.84 + -18543. Let y be (1/4)/(1/(-2)). Do a and y have different values?
True
Let m = -19063 - -19294. Which is greater: 269 or m?
269
Suppose 90 + 219 = -3*t. Let i be 6 + (33 + 0)*(-50)/15. Which is bigger: t or i?
t
Let o be (2 + 20/(-5))/2. Let c = -70 - -68. Let f be 96/117 + c + 24/18. Is f greater than or equal to o?
True
Let s be (-8)/(-20) - 192/(-20). Let d be 15/s + 10/4. Suppose m + 5*p - 13 = 0, 2*m = -3*m + d*p - 80. Which is smaller: -13 or m?
-13
Let w = -1544 - -1519. Which is greater: w or 24/5?
24/5
Let y = -5222 + 5214. Is y equal to 181?
False
Let m = 2658 - 2658.2. Is 97/9 at least m?
True
Let g = -4814 - -6437. Is g bigger than 0.1?
True
Suppose -36 = 3*x - 3*n, 47*n = 3*x + 50*n + 66. Is -325/18 less than x?
True
Suppose -31*m = -29*m + 4*w + 5930, -3*m + 2*w = 8879. Which is smaller: -2960 or m?
m
Let p = -2423 - -15526. Is 1/4 bigger than p?
False
Let z be ((-49545)/30)/((-120)/(-10)). Is -139 bigger than z?
False
Let h = 90 + -88.73. Let m = -1.73 - h. Is -3 != m?
False
Let q = -24.1 + 547.1. Let y = q - 552.7. Let u = -30 - y. Is -2/5 <= u?
True
Suppose 0 = -13*i + 6*i + 2310. Suppose -4*k = i - 2. Let y = 82 + k. Which is bigger: y or 4/7?
4/7
Let v(h) = h**2 + 4*h + 2. Let i = -249 - -247. Let n be v(i). Is -7 at least n?
False
Suppose -5*j = -5*y + 1125, -3*j + 4*j + 231 = -y. Let g = j + -115. Let t = g + 2411/7. Is t <= 0?
False
Let h = -7.3968 - -0.0168. Let c = -7.7 - h. Let g = c - -6.32. Which is bigger: 7 or g?
7
Let y(c) = -c**2 + 6*c - 4. Let a be y(5). Let g(z) be the third derivative of 11*z**4/24 - z**3/3 - z**2 + 214. Let r be g(a). Which is smaller: r or 5?
5
Suppose -409 = 3*n - 268. Is n >= 4?
False
Suppose 1544*d = 1568*d - 984. Is 43 greater than d?
True
Let u(i) be the second derivative of -i**3/2 - 19*i**2/2 + 2*i. Let a be u(-6). Let h be -2