Let r be 2/v - 15849/(-189). Does r = 84?
True
Let m be (213/5)/(2/(-20)*2). Let c = 212 + m. Which is greater: 2/201 or c?
2/201
Let f = -332.443 - -332. Let t = 0.543 + f. Which is smaller: 12.4 or t?
t
Let t = -25.07 - -40.84. Let z = 16 - t. Let v = 0.07 - z. Which is smaller: v or -1?
-1
Let j be -28*1/(-4) + -4. Suppose 34 = 3*n - p - 142, 200 = 3*n + 5*p. Suppose 3*g - n = -z - g, -2*z + 76 = -j*g. Is z less than 45?
True
Let i be (54/(-15))/((6/(-3))/10). Let q(o) = -o**2 + 19*o - 153. Let y be q(i). Is y > -136?
True
Let w(p) = -40*p**2 + 2*p + 2. Let a be w(-1). Let q(o) = 63*o - 4663. Let y be q(74). Which is smaller: y or a?
a
Let h = -9271/13000 - -471/500. Let q = 3/104 - h. Is 34/9 >= q?
True
Let y = 1.2824 - -25.7176. Are -29/4 and y non-equal?
True
Let z(f) = -f**3 - f**2 - 2*f - 26. Suppose -2*m - m = 0. Let g be z(m). Which is smaller: g or -25?
g
Let m be (18/31 + 2)*8/(-500). Let r = -69209/106950 + m. Let p = r + 1/46. Is p less than or equal to -0.04?
True
Let m be (-7 + (-19590)/(-2800))*(26/(-8) + 1). Which is bigger: m or 1?
1
Let m be 7 + 290/35 + -15. Is m greater than or equal to -25?
True
Let z = -37326 - -36843. Is -445 < z?
False
Suppose 5*p = 6*p - 53. Let h = p - -72. Suppose 0 = 2*y + 3*y + h. Is y equal to 2/5?
False
Let x(j) = -j**3 + 6*j**2 - 18*j + 28. Let f be x(3). Is 14/15 less than f?
True
Let x = 4948 - 5631. Do -2 and x have the same value?
False
Suppose 4*k + 24*c - 2456 = 0, -3*k + 139*c = 136*c - 1758. Which is greater: k or 601?
601
Let g be (-7 - 12876/44) + -7. Let w = 371 - 678. Let b = w - g. Which is greater: b or 0?
0
Let v(n) = 2*n**2 - 9*n - 11. Let m be v(5). Let k be 3*-3*m/(-54). Which is smaller: -0.1 or k?
k
Let v(z) = z**2 + 14*z - 8. Let q be v(-14). Let f(k) = -2*k - 16. Let j be f(q). Let d be -11*(-3)/(-1 - -4 - 4). Does d = j?
False
Suppose 4*b + 80 + 40 = 0. Let n be (b/(-4))/(-3)*136/(-68). Which is greater: n or -2?
n
Let x = -16.5 + -126.5. Let j = x + 142. Is -17.8 at least as big as j?
False
Let i = 18342 - 18341. Is i at least as big as -12982?
True
Let n = -18837827/77 + 244640. Let c = 24152/7 - 3443. Let r = n + c. Is r at least -7?
True
Suppose 0 = 219*n - 201*n - 10314. Which is smaller: n or 574?
n
Let i(z) = -z**3 + 6*z**2 - 6*z + 7. Let v be i(5). Suppose -3*o - 5*s + 155 + 3574 = 0, 2464 = v*o - 4*s. Let l = o + -27241/22. Which is smaller: -1 or l?
-1
Suppose -3*d + 311 = 155. Suppose 12*t = -t + d. Suppose 0 = -4*l + 16, -g - l - 3*l + 22 = 0. Are t and g non-equal?
True
Let s be 4*(89/(-20) - (-6)/30). Let z = s + 461. Let v = z + -1789/4. Which is smaller: v or 0.1?
v
Let x(j) = j**2 + 11*j - 22. Let r be x(-11). Let u be 5/(-55)*2 - 1346/r. Suppose -3*n + 122 = -n - 2*l, -l = -5*n + 301. Which is bigger: n or u?
u
Let l = 40 + -15. Let o = -90 - -104. Let m = l - o. Is m less than -0.1?
False
Suppose -17*f - 71*f = -528. Is 13 at most f?
False
Let q(m) = -6*m - 120. Let f be q(-20). Suppose -s = 3, f*s + 2*s = 2*l - 12. Let z = -321 + 4171/13. Which is bigger: z or l?
l
Suppose 38 = -3*i - 4*j, -28 = -2*i - j - 55. Which is bigger: -218/15 or i?
i
Let r(g) = -8*g**2 - 3*g + 6*g**2 + 7*g**3 - g**2 - 8. Let n be r(4). Is 379 equal to n?
False
Let x(i) = 19*i - 113. Let p(q) = q**3 - 6*q**2 + 3*q - 12. Let d be p(6). Let k be x(d). Which is smaller: k or 2/451?
2/451
Let v = -19410 - -19259. Is -24 less than v?
False
Let b = 4533 - 4650. Which is bigger: -114 or b?
-114
Let b be -18*(51/(-45) + 1)*20. Let q = 115 - b. Let g be (-4)/6 - (4 - (-215)/(-3)). Is g < q?
False
Suppose -252 = 17*h - 11*h. Let y be (h/(-1))/((744/(-112))/(-31)). Is 194 less than y?
True
Let m = -22228 + 22261. Does -130 = m?
False
Let k be ((-287)/(-35) - 5)/(2/5) - 7. Which is bigger: 47/101 or k?
k
Let b(q) = -1334 - q**2 - 3*q + 2*q**3 - 1344 + 2681. Let m be b(2). Is 9 smaller than m?
False
Let p(i) = -i**3 - 9*i**2 + 2*i + 24. Let z(n) = -n**3 - 9*n**2 + 2*n + 23. Let d(j) = 4*p(j) - 5*z(j). Suppose 0 = r - 2*r - 9. Let t be d(r). Is -2/21 >= t?
True
Suppose -v = q + 1, 4*v = 2*v + 2*q + 2. Let s = -4565/612 + 132/17. Is s equal to v?
False
Let z = 59.1 + -59. Let w = 38 - 48. Let d be (w/595)/((-9)/21). Is d < z?
True
Let m be ((-9)/(-2))/9 + -1*3/2. Is m at least -33/74?
False
Let b = 7679 + -7271. Which is greater: b or 407?
b
Suppose -4*z = -n - 11489, -3*n + 4163 + 1592 = 2*z. Is 2874 at most z?
False
Let n = -38 + 42. Let a be (-1486)/7 - ((-30)/7 + n). Let o = 1910/9 + a. Is -26 > o?
False
Let o = -60 + 62. Let w be -1*(o + -7 + 6). Let a be (2/4)/(174/4). Are a and w nonequal?
True
Let r(p) = p**2 + 78*p. Let m be r(0). Are m and 2/8509 nonequal?
True
Let h(c) = -495*c**3 + 4*c**2 - 98*c - 102. Let a be h(-1). Are a and 487 equal?
False
Suppose 0*p = -7*p + 917. Let r = 131 - p. Suppose -3*q + 4*s - 302 = 0, r = q - 3*q - 4*s - 208. Do q and -102 have the same value?
True
Suppose -57*f - 183764 = -21*f - 37496. Is -4061 equal to f?
False
Let o(p) = -11*p + 179. Let b be o(-36). Let f = b - 526. Is 44 greater than f?
False
Let f(i) = -i**2 + 6*i + 4. Let r be f(3). Let j be ((-120)/(-720))/(3/228). Let h = r - j. Which is smaller: h or 12?
h
Let u = -72 + 432. Suppose 2*r + 554 = 4*w, -3*w + 773 = -4*r - u. Which is smaller: r or 0.1?
r
Let o = 2809 - 2797. Suppose 5*h + 4*m - 3 = -18, -3*h - 4*m = 17. Which is smaller: h or o?
h
Suppose -5 = -5*h, 3 = -4*f - 5*h + 4. Let z = -53921/59 - -914. Is f <= z?
True
Let g = -0.38 - 0.73. Let p = 1.292 + g. Let l = 0.042 - p. Which is bigger: 1 or l?
1
Let x = -199 - -199.0131. Let l = x - 95.0131. Which is smaller: l or 0.2?
l
Let a be -5 + 2 + (-324)/(-4). Suppose d + 24 - a = 0. Is 55 bigger than d?
True
Let g be 4 - (3 + 85/90). Let y be (20 - 16)/(20/5). Which is smaller: y or g?
g
Let x(y) = -y**3 + 18*y + 5. Let q be x(0). Suppose q*b - 5*i = -1355, 3*b - i + 684 = -121. Is b != -1?
True
Let t(y) = -459*y + 2294. Let d be t(5). Let p = -2 - -7. Let q = -7 + p. Is q less than or equal to d?
True
Let u(l) be the third derivative of l**6/120 + 2*l**5/15 - 13*l**4/24 + 4*l**3/3 + l**2 + 52*l. Let i be u(-10). Is -62 at most as big as i?
True
Let f(u) = -2*u**2 - 48*u + 10. Let r be f(-7). Let x = 238 - r. Do x and -100/11 have the same value?
False
Let l = -19/4 - -125/28. Is -763.4 less than or equal to l?
True
Let w = -2900/383 + 54540132/4979. Let i = w - 10964. Is i at most as big as -19?
False
Let p = -1902 - -1768. Which is bigger: -25 or p?
-25
Suppose -726 = -52*c - 28*c - 71*c + 29. Let s = -4 + -6. Let q be (-4)/10 - 64/s. Which is smaller: c or q?
c
Let v = 52 - 54. Let u be ((10/16)/(-5))/(v/(-6)). Which is bigger: u or 1?
1
Let t be 4 + 270/(-75) + 2 + (-2517)/1030. Do -1 and t have different values?
True
Let d = 3 + -1. Let a be (4 - 1) + 0 - d. Let f = 106726 - 7043917/66. Which is bigger: a or f?
a
Let c(j) = j + 29. Let b be c(-18). Let w(f) = -f**3 + 12*f**2 - 15*f - 1. Let o be w(b). Let l = o - -32. Are l and -13 non-equal?
False
Suppose -2*i - 3*i - 2 = 3*k, i - 4 = -5*k. Let c be (-7)/14 + 365/(-2). Let n = 554/3 + c. Is k less than or equal to n?
True
Let j be (18/12)/((-66)/(-116248)). Are -2 and j non-equal?
True
Suppose 0*s = 3*s - 21. Let m = 29965/5283 + -28/5283. Which is smaller: m or s?
m
Let s = 316 - 314. Let i be ((-936)/(-15) - 2) + s. Which is smaller: i or 63?
i
Let k be 6999/(-2)*((-668)/(-112) - 6). Let u = -125 + k. Which is bigger: 0 or u?
0
Let m(c) = -11*c**2 + 7*c + 8. Let o be m(-3). Let q be -1 + 5/7 + (-5408)/o. Let k be (-10)/(-3)*q/70. Is k greater than 1?
True
Let u(g) = g**3 + 10*g**2 - 5*g - 6. Let a be u(-11). Let i = -18 - a. Let b = i - 82. Which is smaller: -27 or b?
b
Let v(z) = z**3 - 8*z**2 + 8*z - 2. Let x be v(7). Suppose 0 = x*w - 0*w - 175. Let r(a) = a**3 - 29*a**2 + 79*a - 26. Let k be r(26). Which is bigger: w or k?
w
Let v(q) = 10*q**3 + 10*q**2 - 145*q - 67. Let t be v(-14). Is -0.1 greater than t?
True
Suppose -4*i = f - 20, -9 = -i - 5. Suppose f*k - 20 = 2*k - 4*a, -a = 4*k - 40. Let s be (1*k/(-18))/(7/42). Which is bigger: s or -4?
s
Suppose 3*s + 56 = 5*r, 228*r + 4*s = 229*r - 35. Which is smaller: -122 or r?
-122
Let r(k) = 4*k**3 - 2*k**2 + 4*k - 4. Let d be r(3). Suppose 0 = 3*o - o - d. Let v = o + -35. Is v smaller than 15?
True
Suppose 0 = -31