. Is 13 less than r?
False
Suppose -m + 614 = -4*d, -2 = 5*d - 12. Suppose -7*s = 918 + m. Let q be (3/s)/((-30)/(-25)) + 0. Which is bigger: 0 or q?
0
Let d = 81 + 120. Let v be (-670)/3 - (-67)/d. Does v = -222?
False
Let k = 2441 + -2597. Let w = 280 + -436. Is w not equal to k?
False
Let m be 94/6 + (-18)/27. Let v(h) = h - 65. Let o be v(m). Is o at least as big as 0?
False
Let q be 2/3*((-909)/18 - -7). Which is smaller: q or -560/19?
-560/19
Let x be 15 - 3*(2 + -3). Suppose b - 18 = 6*b - s, -x = 2*b + 5*s. Let d = 175 + -181. Which is bigger: b or d?
b
Let z = 817/7 + -117. Is z <= -683?
False
Let r = 366/5 - 73. Let f = -12211 + 12203. Is r at least as big as f?
True
Let h = -7256 + 56424/7. Which is greater: 805 or h?
805
Suppose -355*q = -316*q + 39. Which is smaller: q or 2/165?
q
Let h = -73 - -75. Suppose -h*n - 14 = 5*k, 3*k + 2 = 3*n - n. Is -6 at least k?
False
Suppose -2*y + 74*y = -1046 + 55622. Is 765 >= y?
True
Let y = 18498 - 16158. Is y equal to 2339?
False
Let j be 21*(0 + 2)*-2. Let i be j/(-16) + 2/4. Suppose 0 = 104*v - 128 - 496. Is i >= v?
False
Let u = -92122/7 + 13152. Is u <= -47?
False
Let v be 98/21*6/7. Suppose 6*w = -22 + v. Which is smaller: -23/8 or w?
w
Let j be (-202)/996 - 1 - 10/(-30). Let u = -3/83 - j. Which is smaller: u or 0.1?
0.1
Suppose -5*k + 2*p = -11, 2*k - 4*p - 6 = -8. Let m be 9/27*(3 + (-1506)/k). Is -167 less than m?
True
Let i = -1157 + -83. Which is smaller: i or -1242?
-1242
Let n be (-34)/85 + 22/5. Suppose -5*p = -15, n*p = -0*v + 3*v + 12. Which is smaller: 2/15 or v?
v
Let t be (8/16)/((-1)/(-52)). Let c = -21 + t. Suppose -28 = c*n + 2*a - 6, -3*n - 17 = 5*a. Is 8 at most n?
False
Suppose 93*r = -266300 - 84496. Do -3771 and r have different values?
True
Let y = -7348 + 9126. Is y > 1775?
True
Let p be (17 - 2) + (-10 + 7)/(-3). Suppose 2*z - 35 = -7. Which is smaller: p or z?
z
Let b = 716 - 1040. Let q = 245 + b. Is q less than or equal to 0?
True
Let o(q) = 8*q + 24. Let w be o(-4). Let p be 2/3*(-12)/w. Let u be -1*(6/(-9) + p). Which is smaller: u or -1?
-1
Let w be 90/(-4)*(-8)/36. Let h(u) = -u**2 + u + 20. Let m be h(0). Let l be (-21)/(-8) - m/w. Are -2 and l non-equal?
True
Let z be 10/(-15) + (-519)/(-603) + 0. Let m = z + 2/335. Is m at least as big as -1?
True
Suppose -9*k + 5*k = -4*p - 100, 2*k - 5*p - 35 = 0. Let i be k/50 - 1*2/(-5). Is -9/25 at least i?
False
Let a(i) be the first derivative of -i**4/4 + i**3/3 - i**2/2 + 7*i - 11. Let m be a(-3). Let y = -45 + m. Which is bigger: y or 1/30?
y
Let k = 11.3 + -11. Suppose a = 4*d - 3 - 7, 2*a + 3*d - 35 = 0. Suppose 45 = a*q - 85. Is k at most q?
True
Let y(l) = 13*l - 20. Let z(m) = 14*m - 20. Let g(d) = 3*y(d) - 2*z(d). Suppose -52 = 360*q - 373*q. Let s be g(q). Which is smaller: 22 or s?
22
Suppose -45*d = -39*d + 960. Let y = -147 - d. Is 20 at most y?
False
Suppose y = -2*s + 3, -6 + 3 = 5*s - y. Suppose -3*p = 3*m - 12, -2*p - 7*m + 2*m + 8 = s. Which is smaller: p or 22/5?
p
Let y = 287406001 - 1032074959324/3591. Let p = y + -2/513. Is -4 greater than p?
False
Let z be (832/(-182))/((-4)/14). Suppose 5*h + 12 = -u + 4*u, 4*h + z = 4*u. Which is smaller: -6/305 or h?
-6/305
Let y = 211 + -219. Which is smaller: y or -43?
-43
Suppose -57*o + 20849 = 2495. Which is bigger: -47 or o?
o
Let m(s) = 11*s - 44 - 9 - 22*s + 0*s. Let j be m(-5). Are -56 and j equal?
False
Let s(d) = d + 25. Let t be s(-17). Suppose -884 = -t*y + 21*y. Is -68 less than y?
False
Let i be 2292850/2968875 + 10/(-13). Is -0.4 > i?
False
Let n be 120/600 + (-1926)/5. Which is bigger: -389 or n?
n
Let r = -1875 + 1879. Let y be -4 + 2 + -1 + -1. Let n = 7 + y. Which is smaller: r or n?
n
Let w = -3755 - -2490. Which is bigger: w or -1264?
-1264
Suppose -128*m + 86*m + 63*m - 177030 = 0. Is 8429 equal to m?
False
Let y be (1/(-1134))/(234/(-298782)) + -3. Let g = -49/26 - y. Let u = 1 + -1.1. Is u at most g?
True
Let k be 1/(0 - (-5)/(1 + 4)). Suppose 2*j = 3*t + 60 - k, 5*j - 3*t - 161 = 0. Is j less than 30?
False
Suppose 4*d + 2204*l = 2199*l + 2017, -5*l = -4*d + 2007. Which is bigger: 500 or d?
d
Let y = 0.25 + -0.42. Let n = 0.13 + y. Let h be (-6)/27 - (-18)/810. Which is bigger: h or n?
n
Let r be 105/(2520/(-170) - -15). Which is bigger: 1787/3 or r?
1787/3
Let c = 34526 + -104968/3. Let r = 440 + c. Which is smaller: -24 or r?
-24
Let q be 6634/(-7254) + (-21)/27 + 1. Do q and -16 have the same value?
False
Let j = -30 + 44. Let q = -193 - -197. Suppose r + 6*g - q = 4*g, 3*r - 3*g - 57 = 0. Is j greater than r?
False
Let b(q) be the first derivative of -q**3/3 + 7*q**2/2 - 10*q + 24. Let c be b(5). Are 6/13 and c nonequal?
True
Let a be (78180/360)/(2/(-8)). Are a and -869 equal?
False
Let s = -43.233 + 0.033. Let c = s + 43. Let d = -2.5 + 2.6. Is d greater than c?
True
Let c be 74/(-6) - 1/(-3). Let x be 6/20*2/c. Let s be (58 + -57)*(0 + 0). Which is bigger: x or s?
s
Let y be 3 + (1 - (-9527294)/(-511)) + 5. Let d = y - -18635. Which is greater: d or 1?
1
Let q(f) = -2*f**2 + 7*f + 128. Suppose 0 = -4*j + 3*k - 31, -k - k = -2*j - 16. Let r be q(j). Suppose -27 = 5*h + 58. Which is greater: h or r?
h
Suppose -5*z = 2*b + 18, -3*b = -0*b - 2*z - 11. Let m = 4127 + -2203. Let q = 315535/164 - m. Which is greater: b or q?
b
Let q = -0.17249 + 0.17249. Does q = 772?
False
Suppose r - 2*m = 2*m, -2*m + 18 = -5*r. Let s be 5*(r/((-3)/(-3)) - -3). Which is smaller: s or -6?
-6
Let z(k) = 4*k**2 - 11*k - 81. Let c be z(-5). Suppose c = 2*h - 4*v, 3*v = 12*h - 10*h - 70. Does 0.1 = h?
False
Let n = -39 - -42. Suppose n*g = -3*d + 2*d + 18, -5*d - 10 = -5*g. Let p = 8 + d. Which is smaller: p or 10?
10
Let l(v) = -78*v + 4206. Let m be l(55). Is -48 < m?
False
Let h(w) = w**2 - 3*w + 11. Let n be (2 + -7)/(8/4 - 3). Let v be h(n). Let t = 182 - 160. Is v at least t?
False
Let f = 1/1209 - 4897/73749. Suppose -13*d = -84 + 71. Is d at least as big as f?
True
Let y = 401 - 427.5. Let c = y + 26.6. Which is smaller: -0.09 or c?
-0.09
Suppose 0 = 10*t - 436 + 136. Let k be 10/t + -1 + (-2)/(-6). Are 73 and k equal?
False
Suppose -2581 + 1601 = 20*v + 5820. Is v bigger than -4410/13?
False
Let b be ((-4)/6)/((-1525)/(-915)). Is b smaller than -1491?
False
Let u = -18.217 - -2.387. Let b = -15.7 - u. Which is smaller: 0 or b?
0
Suppose 24*f - 24 = 16*f. Suppose 2 = -3*o - 1, -f*n + 436 = 5*o. Which is bigger: n or 146?
n
Let y(k) = 85*k + 440. Let s be y(51). Is s at most 4775?
True
Let d be 1/(45*(-17)/(-153)). Let z = -13 - -20. Let f = z + -4. Which is bigger: d or f?
f
Let s(f) = 3*f - 4. Let h be s(2). Let w be (-1 - 0/(-2))*2 - h. Is -1 at least w?
True
Suppose 8 = y + 3*z, 3*z = 7*z - 12. Which is greater: -2/29017 or y?
-2/29017
Suppose -18*v + 2657 + 6757 = 0. Suppose -2*i + 1708 - v = 5*k, -k + 4*i + 237 = 0. Which is bigger: 238 or k?
238
Let z(q) = -447*q**2 + 29*q + 30. Let f be z(-1). Is f equal to -442?
False
Let f be (-2690976)/(-244640) + -9 + -2. Which is smaller: 1 or f?
f
Suppose -2*y - 2*m = -64, -y + 5*m + 56 = -0*m. Let q = 943 - 909. Let r = q - y. Which is smaller: -16 or r?
-16
Let x(b) = 902*b + 89. Let w be x(2). Let t = -47319/25 + w. Which is bigger: t or 0?
t
Let p = 292.8 - 292.8. Let j = 401/45 + -46/9. Which is greater: j or p?
j
Let v(z) be the first derivative of -z**3 + 47*z**2/2 - 23*z - 70. Let j be v(22). Which is smaller: -440 or j?
j
Suppose 0*o - 2732 = -4*o. Let h = o + -206. Let s be h/27 + 2/6. Which is smaller: 16 or s?
16
Let c = -10833/27070 + 1/5414. Which is bigger: c or 2/2849?
2/2849
Let s be (-1)/(-6) + 1/(-2). Let r(c) = c**2 + 19*c + 89. Let b be r(-8). Let w be (-99)/(-66)*2/b. Which is bigger: s or w?
w
Suppose -c = -5*k - 2917, -11*k + 8*k - 14651 = -5*c. Is 2932 greater than c?
False
Let v(y) = y**3 + 7*y**2 + 4*y - 12. Let c be v(-6). Suppose -4*o + 5*i = 21, c = 4*o - i - 2 + 3. Do o and 6/79 have the same value?
False
Let m = -1028 + 87. Let d = m + 794. Do -147 and d have the same value?
True
Let i = -203 + 208. Suppose i*g - 5*p = 8*g + 457, -3*p + 705 = -5*g. Which is smaller: -143 or g?
g
Let b = 16 + -20. Let i(q) = q**3 + 5*q**2 + 14*q + 5. Let f be i(b). Are f and -38 non-equal?
True
Let x(w) = w**2 + 17*w - 33. Suppose 18*f = 16*f - 40. Let s be x(f). Let h(d) = -