: i or -1/604?
-1/604
Suppose -7*m + 25 = -87. Suppose 0 = -5*d + 2*d. Suppose -3*w + 13 - m = d. Is w smaller than 2/183?
True
Let m be (112/(-21) + 4)*(-609)/182. Which is bigger: 4 or m?
m
Let s be -5729*(58/1421)/((-2)/(-7)). Which is greater: -819 or s?
s
Suppose -21*k = 55*k - 13*k - 63. Which is smaller: -0.911 or k?
-0.911
Let u be 2/(-4) - 10/(-4). Suppose 0*n - 3*p = u*n + 66, -n - p = 33. Let d = n + 34. Are -2/11 and d unequal?
True
Let u be 201/(1/1) - -2. Suppose -u*f = -205*f + 54. Is 23 <= f?
True
Suppose p - r = 113, -r - 4 + 456 = 4*p. Suppose -484 = 32*u - 28*u. Let c = u + p. Which is smaller: c or -9?
-9
Let d be (34/34)/((-2)/(-20)). Let v be -2*3/30 - (-116)/(-20). Let s be (d/v + 0 - -1)*21. Which is bigger: -13 or s?
-13
Let j(t) = 2*t**2 - 1. Let x be j(-1). Let d be 44/(-242) + (-9373)/55. Let o = -170 - d. Which is greater: o or x?
x
Let i = 766.7 + -764.7. Is i smaller than 1598?
True
Let n = -128 + 63. Let q be (-452)/1017 + 2905/(-45). Are q and n unequal?
False
Let m = -1072 - -1090. Which is bigger: m or 8?
m
Let k(x) = x**3 - 11*x**2 + 19*x - 8. Let v be k(9). Let i be v - (2 + -4) - 18216/7760. Let c = 24/97 + i. Which is smaller: 2 or c?
c
Let n = 37 + -631/17. Suppose 0*b + 5*b = -5*y + 25, 4*y - 3*b = 13. Suppose 0 = 4*h + 5*o - 20, -2*h - h - o = -y. Which is bigger: n or h?
h
Let q(d) = -513*d**3 - 15 + d + 8*d + 512*d**3 - 5*d**2. Let x be q(-7). Which is greater: x or 17?
x
Let n = -235 - -426. Suppose -4*a = -n - 329. Which is bigger: 129 or a?
a
Let u(i) = 6*i + 23. Let t be u(8). Let g = 73 - t. Let l be g/3 + (-1000)/(-30). Is 33 != l?
True
Let d be (-1680)/270 - (0 + (-21)/(-27) + -1). Is -20/33 >= d?
True
Suppose 176954 = -46*c + 452. Is 0 not equal to c?
True
Let c(b) = -1147*b**2 - 492*b - 492. Let m be c(-1). Is m bigger than -1?
False
Let l = 1271725/59 + -21555. Is 5 equal to l?
False
Let g(h) = -h**3 + 12*h**2 + 11*h - 22. Let d be g(10). Let k be (-3)/(-12) + (-136)/d. Is -0.09 less than or equal to k?
False
Let i(b) = 55*b + 148. Let x be i(-6). Is -188 greater than or equal to x?
False
Let f be 1/(-21)*(533/(-26) - -1). Let t = 31/7 - f. Which is greater: t or -3/5?
t
Let s be ((-44)/6)/((-6)/(-53)). Let x = 65 + s. Let r = 8 - -5. Is r greater than or equal to x?
True
Let j be -2 + (-16383)/(-30) - 2/20. Let u = -331 + j. Is 213 bigger than u?
False
Suppose -15*g + 14812 = -g. Suppose -8*f = -1106 + g. Let m = 0.03 - -9.97. Is m greater than or equal to f?
True
Let o be (0 - 0)*(-89)/(-89). Suppose -5 = -n - 2*j, 5*j + 7 = 3*n + 25. Which is bigger: n or o?
o
Let l = 622 - 4365/7. Let c = l - -631/455. Does c = 1?
False
Let h = 27.5 - -154.5. Let r = -181.9 + h. Is -2.6 < r?
True
Let n = 4111 - 1663. Is 2450 at least as big as n?
True
Let b = -383668 + 1256512688/3275. Which is smaller: b or 0?
b
Suppose -4*y - 2*g + 672 = -y, 0 = -5*y - 4*g + 1120. Which is bigger: 1124/5 or y?
1124/5
Suppose 452*j - 49753 = 77*j + 183497. Is 618 at most as big as j?
True
Suppose 2*v + b + 1 = 0, -3*v + 3*b = -2*b + 21. Let q(u) = 19*u - 5. Let k be q(v). Do -45 and k have the same value?
False
Let l = -529.4 + 654.4. Is -9/5 >= l?
False
Let z be 3144/11298 - (-4)/(-14). Let j = -27 + 32. Suppose n + 1 = -4*o + j, 2*o + n = 2. Which is greater: o or z?
o
Let l be -7 + 19 - 40506/3376. Is l smaller than -1?
False
Suppose 10 = -2*s, -9 = 2*n - 5*s + 2*s. Let t(c) = -c - 9. Let f be t(n). Which is bigger: f or 19/2?
19/2
Let o(i) = 8*i**3 - 12*i**2 + 5*i - 24. Let m be o(5). Which is smaller: 702 or m?
m
Let z = -427 - -403.8. Let j = z - 87.8. Which is greater: 2 or j?
2
Let r be (-8)/78*((-729)/(-18))/9. Do -48.5 and r have the same value?
False
Let o(l) = -l**3 + 18*l**2 - 54*l + 95. Let y be o(15). Is y equal to -361/9?
False
Let t = -893 - -366. Is t less than -3?
True
Let l(n) = -3*n + 27. Suppose 2*d = -2*j + 8, -5*d + 2*d + 12 = 0. Let v be l(j). Let p = -27 + v. Is 3/14 less than p?
False
Let m = -96.69 + 96. Let f = -0.42 - m. Which is smaller: 4 or f?
f
Suppose 5*q + 33 = -l, -2*l + 11 = -4*q - 21. Is q equal to -40?
False
Let v = 233383/41002 + -74/13. Is 1 equal to v?
False
Let z(u) = 131*u + 783. Let b be z(-12). Is -7106/9 at most b?
True
Let t(p) = -3*p - 2. Let n be t(-6). Let l(i) = 17*i + 29. Let f be l(-3). Let u(o) = o**3 + 21*o**2 - 24*o - 28. Let w be u(f). Is w smaller than n?
False
Let o = 719 - 720. Is -1/464 > o?
True
Let a = -5087 - -4993. Are a and -93 equal?
False
Let a be (21/(-6))/(3 + (-5)/2). Let m = -34 + a. Let i(q) = q - 88. Let f be i(48). Is m at least as big as f?
False
Let r(k) = -85*k + 70. Let o be r(7). Which is smaller: -526 or o?
-526
Let o(f) = 3*f**3 - 38*f**2 + 24*f - 2. Let g be o(12). Suppose 0 = -0*v + 5*v + 55. Let u be ((-8)/6)/(v/(-18)). Which is smaller: g or u?
u
Suppose -2*h = -3*i - 2, -30*h + 35*h - 3*i - 5 = 0. Which is smaller: -14/137 or h?
-14/137
Suppose -15*u = 4866 + 1209. Are -406 and u unequal?
True
Let n = -8642/301 - 46/903. Is -30 equal to n?
False
Suppose 4*x - 348 = -4*o, 3*x = -0*o + 5*o - 411. Let v be 9*(o/(-945))/((-4)/(-6)). Which is bigger: v or 0?
0
Let n = 8199.048 - 8547. Let b = -350 - n. Let l = b + 0.048. Which is bigger: 7 or l?
7
Let q = 5.2 + -45.3. Let r = -40.2 - q. Which is greater: 113 or r?
113
Let y be 4/((-114)/(-42) - (4 - 1)). Suppose -16*o + 0*o - 272 = 0. Which is smaller: y or o?
o
Let f = -54093 - -54094. Let r = -15/4 + 21/4. Is r < f?
False
Suppose -15 - 10 = 5*x. Suppose 52*w = 64*w + 120. Which is bigger: x or w?
x
Let n be (-25)/10*((-7392)/35)/8. Is 70 < n?
False
Suppose -w = 3*p + 5, -3*p + 2*w + 2 = -5*p. Which is bigger: p or -106?
p
Suppose 10 = -2*n + 5*p, 52*p = -n + 47*p + 25. Let x be 58064/(-9680) + 1 + n. Do x and -1 have different values?
True
Let d(l) = 2*l - 17. Suppose -4*c = i + 35, 27 - 68 = 3*i - 4*c. Let j be d(i). Is -54 <= j?
False
Let j be (-1035)/16*20/100. Let h = j + 13. Does -2 = h?
False
Suppose 2 = w, 0*y + 6882 = 2*y - w. Is y less than or equal to 3442?
True
Let k be 0 + (4 + -1 - 13). Suppose 3*i + 4 = -3*n - 2, 0 = -n - 3*i. Let w be (k/(-105)*7)/(1/n). Is w != -25/4?
True
Let i = 134/2379 - 3500558/2379. Let z = 1086105/728 + i. Let q = 141/7 - z. Which is smaller: 1 or q?
q
Let d = -489.8 - -490. Which is smaller: 43.11 or d?
d
Suppose -18 - 6 = 3*g. Let w(a) be the third derivative of -a**5/60 - a**4/12 - 2*a**3/3 - 11*a**2. Let t be w(0). Which is smaller: t or g?
g
Let l(r) = r**3 - 23*r**2 - 25*r + 24. Let y be l(24). Suppose y = -4*z - 3*j + 3, 2*z + j = 7*z + 1. Let p be 108/(-50) + 3 + -1. Is p at most as big as z?
True
Let k be (0 - 3)/(36/(-1392)). Suppose -3*b + 3*d = -342, 26*b + d = 21*b + 588. Which is greater: b or k?
b
Let x = -762 + 753. Let q(n) be the first derivative of -n**4/4 - 10*n**3/3 - 5*n**2 + 8*n - 5. Let h be q(x). Is 17 at least h?
True
Let f be 2/7 - 368/14. Let x be 3*-1*(f - -3). Let l be (-1)/(4 + (-3 - 2))*x. Which is greater: l or 2/3?
l
Suppose -23*g = -5*p - 18*g + 5, 0 = 2*p - g - 2. Let o be (-34)/12 + (4 - p) + -2. Which is bigger: o or -3?
o
Let g be (-8)/(-12) - (62/(-6) - 1). Let t be ((-4)/g*0)/(-1). Let h be (t - 11) + 0/(-7 + 3). Do h and 0 have different values?
True
Suppose 3*d - 18 = s, -s + 4*s + 2*d = -10. Let q be 6/(s*(-3)/24). Let z be q/4 - (-30)/(-18). Which is greater: -50 or z?
z
Let d = 868 - 868. Suppose -4*o - 3*r - 1788 = d, -559 = -4*o + 2*r - 2327. Is o less than -444?
False
Let u be (-1 - (-4)/3) + 320/30. Let v be 2649/(-18) + u/66. Are -149 and v unequal?
True
Let h = 17 + -38. Let w = -20.93 - h. Let p = 0 + 2. Which is bigger: p or w?
p
Let v = 89053 - 29832709/335. Which is smaller: -1 or v?
-1
Let p = -31 + 22. Let m be (-705)/(-10) + 40/16. Suppose -11*b - 37 = m. Which is smaller: p or b?
b
Suppose -67*q - 2 = -61*q + 4. Which is greater: q or 519?
519
Let f = 98 + -67. Suppose -29 = 3*k - 5*m, 5*k - 3*m + 168 - 157 = 0. Is f at most k?
False
Let y(s) = s**3 + 15*s**2 - 307*s - 4499. Let k be y(-15). Let w(o) = 4*o**2 + 7. Let m be w(-5). Does k = m?
False
Let h = 8185/18 - 49805/36. Do -929 and h have the same value?
False
Let n = -6355 + 6437. Is n >= 0.045?
True
Let v = -978.265 - -978.2. Is 0.5 less than v?
False
Let k = -9.27 - 217.03. Let w = 226 + k. Is w greater than -27?
True
Let x