r: -665/3 or q?
-665/3
Let t = -5 + 33. Let d = 31324 + -31296. Does d = t?
True
Let g(y) = -15*y - 103 + 55 - 29. Let l be g(-5). Is -12/19 < l?
False
Let k be -1 + (-1 - 13 - -12). Suppose 3*z + 8 = c, -c - 2*c = -2*z - 17. Let i = z + 2. Which is smaller: i or k?
k
Let m(z) = -29*z + 262. Let n(d) = 31*d + 226. Let k be n(-7). Let f be m(k). Is 94/9 smaller than f?
False
Let w = -3104 + 3593. Suppose -a + 319 = -5*z - 175, 5*z + 1961 = 4*a. Is w smaller than a?
False
Let t = -113.01 - -113. Let y = -0.16 - t. Let g = -2.9 + 0.9. Which is greater: g or y?
y
Let x = 108 + -74. Suppose -x*d + 3080 = 6*d. Which is bigger: 75 or d?
d
Let b = 10 - -60. Let m = -56 + b. Let n = -4 + m. Is n at least 11?
False
Suppose 3*l - 560 = 11*l. Let s be (-4)/l*(-10)/(-3)*-87. Do s and -16 have the same value?
False
Let c be 13 + 1518/8 - (2/(-8))/1. Is c <= 249?
True
Suppose 21 - 70 = -7*l. Suppose 0 = -5*p - 3*r - 484, -l*p + 88 = -8*p - 5*r. Is p >= -99?
True
Let s = -1778 - -1314. Is s greater than or equal to -3?
False
Let d = 0 - 1. Let f be (-1 - 5)*d/(-2). Let q(z) = 4255*z + 38307. Let s be q(-9). Is f at least s?
False
Let h = 24520 + -25111. Which is bigger: -1.1 or h?
-1.1
Let u = 37 - 35.7. Let f = 0.7 - 0.78. Let p = -0.18 - f. Which is smaller: p or u?
p
Suppose -7 = 4*p + 5. Let w(t) = -2*t**2 - 7*t + 14. Let x be w(-5). Which is smaller: p or x?
p
Let y = 93736 - 470416/5. Let w = y - -347. Which is smaller: w or 9/4?
w
Let z be 291/(-24)*5699 + -2. Let w = z + 68882. Let i = 220 + w. Is i not equal to 1/2?
True
Let g = -4/235 + 629462/7755. Let l be (-2)/(-3)*(-122 - 0). Let o = l + g. Which is bigger: 3 or o?
3
Let n be 45/5*((-20)/5 - -9). Suppose a = 5*w - 42 - n, -78 = -4*w - 2*a. Which is greater: w or 0?
w
Let d be ((-7)/(-16)*4)/((-48)/16). Are 2 and d unequal?
True
Suppose z = 3*z - 12. Let i = -3364 + 3364. Do z and i have different values?
True
Let m(a) = 4*a - 4. Suppose -68 = -3*v - 2*l, 5*v - 3*l = 2*v + 93. Let u = -25 + v. Let k be m(u). Which is greater: k or 2?
2
Let k be ((-1)/1)/(-1) - 9. Suppose 14*j = -123986 + 123958. Is j < k?
False
Let i = -2258/6771 + 1/6771. Which is bigger: 337 or i?
337
Suppose -3*l - 3 + 39 = 0. Let m(g) = 7*g - 96. Let q be m(14). Suppose -q*b + 18 = -2*w, 3*b - 5*w + 51 = 6*b. Is l greater than or equal to b?
True
Let z be (24/(-2100))/(1/(-5)*19). Suppose -4*v = 25*x - 30*x - 5, x + 1 = -2*v. Which is smaller: z or x?
x
Let n = -1286.0545 + 1287. Let p = n + 0.0545. Is p greater than or equal to -8?
True
Suppose 0 = 20*h - 208*h - 74*h - 262. Which is greater: h or -3/4843?
-3/4843
Let m = 41 + -70. Suppose -3*l = -2*k - 66, -3*k - 84 = 3*l - 0*l. Let f = -59 - k. Is f < m?
False
Suppose 0 = 1206*q - 1193*q. Is 2/4051 smaller than q?
False
Let m be ((-1)/(-2))/((-4)/(-6) + (-7055)/10470). Is m at least -71?
True
Let r be ((-38)/(-133) - (-4226)/350) + (-6 - 1). Which is smaller: r or 6?
r
Let z = 19616 - 19615.93. Which is smaller: -1.433 or z?
-1.433
Let u = 41 + 1. Suppose -14 + u = -7*r. Let g be 3/r*16/(-30). Which is greater: -7 or g?
g
Suppose -103*y - 575 = -42*y - 13812. Which is smaller: y or 187?
187
Let m(b) = 3*b**2 + 17*b + 10. Let x be m(-12). Let w = x + -238. Which is smaller: -3/5 or w?
-3/5
Let i = -189 - -98. Let s = 83 + i. Which is greater: s or -64/9?
-64/9
Suppose 5*c - 20 = -5*v, c = -4*v + 1 + 9. Let g be ((-33)/(-99))/(c/(-6)). Is g less than -1?
False
Let g = 18452 + -18451. Which is smaller: -5/618 or g?
-5/618
Let z = -81071056/122015 - -15282/23. Is z bigger than 1?
False
Let x(v) be the third derivative of v**5/30 - 65*v**4/24 - 4*v**3/3 + 4*v**2 - 11. Let w be x(32). Let m = -33 - 7. Is w equal to m?
True
Let o(v) = v**2 - 26*v - 37. Let f be o(9). Let z = 197 + f. Are 120/17 and z nonequal?
True
Suppose 5*g - 4*m - 14 = 0, -2*m + 2 = 4. Suppose 0 = 7*i - 8*i - 3, g*w = 3*i - 75. Which is bigger: -125/3 or w?
-125/3
Let k = 12775 - 11705. Is k > 1?
True
Let y = -24344.7 - -684.7. Are y and -0.1 unequal?
True
Let m be (-150)/(-90) + (160/(-12))/5. Is -3/9250 at most m?
False
Let m be (-22 - -7 - -15)/(-4). Let t = -147672/179 + 825. Is m < t?
True
Let w(y) = -y + 15. Let m(g) = g**2 - 4*g + 3. Let p be m(3). Let u be w(p). Let d(b) = -441*b - 427. Let x be d(-1). Are x and u non-equal?
True
Suppose -14*i + 44*m = 43*m + 133734, -2*i - 19134 = -5*m. Is -9552 less than i?
False
Let d be 1115/(-25) - 3/(-45)*-6. Let p be (d/6)/3*(-445)/25. Is p >= -0.2?
True
Let x(t) be the second derivative of -t**4/12 - t**3/3 + 8*t**2 + 57*t. Let i be x(4). Which is bigger: i or -90/13?
-90/13
Let p(v) = -v**3 + 3*v**2 + 11*v - 8. Let z be (25/(-10) - (-3)/(-2))*1. Let o be p(z). Let j be (-700)/o*(-1)/(-5). Does -3 = j?
False
Let u(w) = w**2 + 9*w + 14. Let a(s) = -s**3 - 6*s**2 + 11*s + 13. Let v be a(-7). Let t be u(v). Let n = 93 - t. Is -12 equal to n?
False
Suppose -6 = 4*a - 14. Let n(k) = k**2 + 3*k - 24. Let d be n(5). Suppose -u + 4*x - 5*x = 6, a*u + d = 2*x. Is -8 less than or equal to u?
True
Suppose 40368 - 44460 = 77*d - 418*d. Let w(b) = b + 8. Let y be w(-6). Let f be 10 + (-2)/(-4)*y. Are d and f unequal?
True
Let a(r) = -5*r + 36. Let i be a(15). Let u be (0 - -1) + (-9)/i. Let q(p) = -p**3 + 10*p**2. Let y be q(10). Which is bigger: u or y?
u
Let g = 4704.951 - 4705. Is -2/37 <= g?
True
Let a be 18/(-36)*(1143 - (1 + 4)). Are -7 and a non-equal?
True
Let z be (-722)/6*1 + 13/(585/(-30)). Is z at most 11?
True
Let f = 0.73 + 2.87. Suppose 0 = -9*j + 2*j - 28. Let v be (9/30)/(-1*(-3)/j). Which is bigger: f or v?
f
Let g be -2 + 6 + (-252)/12. Suppose 0*l + 6 = -2*l. Let w be 2 + 1 + -17 + l. Are w and g nonequal?
False
Let w = -29935 - -388955/13. Which is bigger: -1 or w?
-1
Let j = 0.6108 + 0.3892. Which is bigger: 594.4 or j?
594.4
Let n = -3024 - -2481. Is n smaller than -542?
True
Let k = -97.849 + -0.151. Let n = k - -39. Let b = -57 - n. Which is greater: b or -0.9?
b
Let t = -1.3 + 0.45. Let x = -0.25 - t. Let p = -0.112 - -1.112. Which is greater: x or p?
p
Let g = -2514.624 - 0.376. Does g = -1?
False
Let g be (75/100)/((-6)/226*1/24). Do -680 and g have the same value?
False
Let n(p) = -p**3 + 10*p**2 + 22*p - 150. Let z be n(8). Are 149 and z non-equal?
True
Let w = 18913 - 18910.3. Is 0.6 at least as big as w?
False
Let d be (2*1)/(8/(-3004)). Let p = d + 5248/7. Suppose 0 = 159*x - 157*x - 6, -x = -4*h - 3. Is p >= h?
False
Let j = 53/3 + -18. Let v(l) = l**3 - 5*l**2 + 6*l - 5. Let s be v(4). Suppose -s*h - k = 218, 3*h - 2*k + 118 + 112 = 0. Which is smaller: h or j?
h
Let k be (-32)/112*(9 - 2). Let o be (-8 + 14)*k*(-2)/(-56). Which is smaller: 0 or o?
o
Suppose 27 = 7*k - 309. Let w be k/36 + 12/(-9). Which is greater: -1/30 or w?
w
Let k(f) = 0 + 3 - 35*f + 12*f. Let o be k(-3). Suppose 0 = 5*b - 4*l - o, 2*b - 10 - 26 = 4*l. Which is smaller: b or 7?
7
Suppose 4*f + 356 = 968. Let c be (3/f*200589)/3. Let j = c + -1311. Is -1 greater than or equal to j?
False
Let l be (-20)/(-5) + 2/1. Suppose -36 = -2*c + l*c. Suppose 4*i + 3*u + 35 = 6, 5*u + 19 = -3*i. Which is greater: c or i?
i
Suppose 8*y + 105 = 57. Let z be 1232/42*y/28. Is -6 at most z?
False
Let s = -111 + 110. Let v(o) = -o**2 - 2*o - 1. Let m be v(s). Suppose m = 56*g - 52*g + 76. Is -19 not equal to g?
False
Suppose -4*r - 16 = -2*u, -3*r + 12 + 2 = 5*u. Let z be (0 - (-1 + r)/(-147))*6. Let p = z - -20/49. Is p at most as big as 5?
True
Let l = -64 + -207. Let x = 275 + l. Is -4/5 less than x?
True
Let w = 13 - 13. Which is bigger: -2/3983 or w?
w
Let c(m) = m**3 - 66*m - 56. Let n be c(0). Is n <= -9?
True
Let i be (3805/(-10) + 3)*180/150. Which is smaller: i or -456?
-456
Let t(y) = -4*y + y**2 - y**3 + 15*y**2 - 17*y**2 - 9 + 13*y**2. Let k be t(7). Let u be 6/15 - k/620. Are u and -1 equal?
False
Let a be (-1567880)/760 - (0/2 - -8). Is a less than -2069?
True
Let p = -1191.9 + 1192. Which is bigger: p or 502/41?
502/41
Let r = -503/252 - -239/36. Let f = 16 - 10. Which is smaller: f or r?
r
Let k = -4161 - -4161. Which is smaller: -10/7149 or k?
-10/7149
Let i(w) = 3*w**2 - w - 889. Let f be i(-17). Which is bigger: -283/46 or f?
f
Suppose -4*y = 2*z + z + 14, -y + 8 = -5*z. Let v be -4 - (-5 - (-186)/6). Let a = 46 + v. Is a < y?
False
Let g = 160477/97 + -1654. L