107 at least as big as t?
False
Let d = -158 + 159.17. Let g = 0.17 - d. Let v = -46 - -60. Do v and g have different values?
True
Let s = 557683/52 + -10725. Which is greater: 1 or s?
1
Suppose 550 + 826 = 2*k + c, 4*c = -3*k + 2064. Suppose -64*w + k = -21*w. Is 12 less than w?
True
Let o(g) = -326*g + 4310. Let m be o(12). Which is smaller: 391 or m?
391
Let d be 18 - (154343/68 + -18). Is -2234 > d?
False
Let j be 658/(-189) - 6/(-2). Is j >= 0?
False
Let s be 4/18 - (-183577)/225. Let v = 816 - s. Let i(x) = -x**2 + 14*x - 13. Let m be i(1). Which is smaller: v or m?
v
Suppose -1688 + 1438 = -250*l. Let w be (-1)/(-4)*12/20. Which is smaller: w or l?
w
Let a be 9/(81/1872) + -1. Let m = -279 + a. Which is greater: m or -71?
-71
Let y be (-3 + 4)/(-7 - 8370/(-1195)). Which is bigger: y or 229?
y
Let z = 17 - 16. Let v = -1676/3 - -561. Which is smaller: v or z?
z
Suppose -3*u + 19 = 1. Let t(k) = -k - 10. Let w be 3/(-12) - (-2)/(-8)*31. Let s be t(w). Which is greater: s or u?
u
Let n = 395 - 101. Suppose -w + 207 = n. Is -86 greater than or equal to w?
True
Suppose -4*y - 8503 = 5*r, 5*r = 49*y - 44*y + 10640. Is -1 at most as big as y?
False
Let f = 0.22 + -0.2. Let h = 268 + -164. Let l = h - 105. Is l less than f?
True
Let k = -3 - -1.5. Let q = -3.5 + k. Let x be 2/(-18)*(40 - 43). Which is smaller: x or q?
q
Suppose -5*j = -5*m - 320, -5*m - 3*j - 115 - 173 = 0. Let w = 658 + -661. Let n be (w - 159/m)/((-2)/8). Do -5 and n have different values?
True
Let o = 252924/199 + -337934120/266063. Let n = 2/191 + o. Let l = 4.06 + -4. Which is greater: n or l?
n
Let p be ((-6804)/(-630))/((-5)/(-600)). Which is smaller: 9078/7 or p?
p
Let m(s) = s**2 + 7*s - 62. Let k be m(0). Let i be k/(-8) - ((-56)/(-32) - 3). Which is smaller: 20 or i?
i
Let a = -98 - -68. Suppose -12*l = -21*l + 261. Let q = a + l. Do 2/31 and q have the same value?
False
Let z(k) = 4*k**2 + 15*k - 14. Let y be z(-23). Are 1757 and y non-equal?
False
Let j be (645/45)/((-2)/138). Is -989 smaller than j?
False
Suppose 5*a - 6*a + 29 = -5*z, 33 = -3*a - 5*z. Do -2/28737 and a have the same value?
False
Let h(d) = 415*d + 412. Let u be h(4). Which is smaller: u or 6212/3?
6212/3
Let f = -0.6 + -1.4. Let q(v) = -86*v**3 + 4*v**2 + 17 - 7*v**2 + 85*v**3 + 8*v. Let a be q(-4). Is a != f?
True
Let q = 8818 - 14019. Which is smaller: q or -5202?
-5202
Let b be (10/(-40))/(136/(-64) - -2). Are b and -626 non-equal?
True
Let c be 1290/2226 - ((-29)/(-14) + 15/(-10)). Which is smaller: c or 1?
c
Let f(v) = v**3 + 10*v**2 + 11*v - 1. Let s be f(-8). Suppose -4*x + 2925 = -13*x. Let r = x + 364. Do s and r have different values?
False
Let m = 290 - 10729/37. Let w = -40/111 + m. Let c = -798 - -799. Is c greater than w?
True
Suppose -5*y + 2 = s, 10 = -10*y + 12*y + 5*s. Let u = 30 + -16. Suppose -u = x + x. Which is greater: y or x?
y
Let u = 664.8821 - -0.1179. Let s = u - 660. Is -3/16 less than s?
True
Suppose -4*c + 7 = -3*k - 18, 2*k = -6. Suppose 5*g - 2 = -t, -t - 2*t + 6 = -c*g. Suppose o - 4*i - 5 = 5, 0 = o + t*i + 8. Which is greater: -1/2 or o?
-1/2
Suppose 4*t - 3*t = 3*g + 15, -3*g - 21 = -3*t. Let r be (-3)/44 + g/(-16). Which is smaller: r or 1?
r
Let m(g) = 10*g**3 + 2*g**2 - 15*g - 26. Let l be 20/15*(-51)/34. Let s be m(l). Which is bigger: -267/4 or s?
-267/4
Let a(r) = -5*r + 152. Let z be a(31). Let y(i) = 49*i - 37. Let k be y(z). Which is smaller: -365/2 or k?
k
Let q be 2/10 + 927198/89145. Let v = 2/1981 - q. Let o(d) = d**2 - 7*d - 1. Let c be o(5). Which is smaller: c or v?
c
Suppose 852 = -56*r + 60*r. Let p = r - 220. Are p and 0.3 unequal?
True
Let a(f) be the second derivative of f**5/20 + 7*f**4/12 + 11*f**3/6 - 3*f**2 + 33*f. Let g be a(-5). Which is smaller: g or -10?
g
Let b(z) = 4*z**2 - 20*z + 28. Let a be b(8). Suppose 68 = -2*p - 5*u, 2*u + a = -3*p - 0*u. Is p at least -44?
True
Let l = 258 + -256. Suppose -s - w = 4, 2*s - 10 = 3*w + l. Is s less than or equal to 1/91?
True
Suppose -79 - 128 = -23*z. Do 4/67 and z have different values?
True
Let w be (-177407)/(-50676) + 42/(-12). Which is smaller: -1 or w?
-1
Let y be ((-12549)/(-6))/47*6/(-1). Suppose -4*v + 3*h - 1055 = 0, 4*h + 8 + 4 = 0. Which is smaller: y or v?
y
Let n = 7861.1 - 9001. Let t = n - -1091. Let q = 49 + t. Is -31 != q?
True
Let j be 7 - 12*(-1)/(-3). Suppose -w - p - 2 = 32, 2*p - 127 = j*w. Is -39 smaller than w?
False
Let r = -14510 + 13643. Is r not equal to 0.07?
True
Suppose -16*u - 23 = 20 - 43. Which is smaller: u or -1/1974?
-1/1974
Suppose -2*c + 602 = -1342. Suppose -f = 2*f - 4*y - c, 0 = -2*y - 6. Which is smaller: 321 or f?
f
Let x be 5/2*(1534/531 + (-4)/6). Is x > 7?
False
Let r(x) = x**3 + 10*x**2 - 12*x + 6. Let c be ((-2 - -1) + 12)/(-1). Let m be r(c). Are m and 120/7 non-equal?
True
Suppose x - 15 = -4*u, -5*x + 2*u + 45 = 14. Let t be (-64)/(-10) - (42/(-10))/x. Let y = -20 + 23. Is y at most t?
True
Let j = -3.233 + 3.13. Let b be (-4 + -1)*-1 + (-165)/35. Is j greater than or equal to b?
False
Let y = 31 - -58. Suppose -3*w = -2*w - y. Suppose -5*x + 2*t = 3*t - w, -3*x - 4*t = -67. Is x greater than or equal to 17?
True
Let x be 448/84*6*(-1)/(-4). Suppose x*w - 6 = 2. Are -1/30 and w nonequal?
True
Let h(p) = -322*p**3 - 2*p**2 + 12*p + 13. Let c be h(-1). Is 322 > c?
True
Let l = -98.9 + 99. Let y = -39 - -43.5. Let o = y + -4.573. Does o = l?
False
Let g = 7794 + -7798.5. Is g not equal to -1/20?
True
Suppose 4*k - 11*z - 18 = -9*z, -40 = -5*k + 5*z. Which is smaller: 6/6227 or k?
6/6227
Let f = 12125 - 12080. Which is greater: f or -9.2?
f
Let w = -1048 - -663. Let k = w - -449. Is 64 equal to k?
True
Let p be 1473/6*(-742)/56. Let z = p - -3261. Which is smaller: z or 7?
7
Suppose -46*h + 114459 + 64343 = 0. Are 3888 and h non-equal?
True
Let x = -874 + 9594/11. Suppose c - s - 17 = 12, -2*c = 3*s - 63. Let j = c + -33. Is j >= x?
False
Let t = 63507/65 + -977. Let s = -13/42 + -4/21. Is t < s?
False
Suppose 0 = 81*k - 86*k - 2*a + 8, -2*k - 5*a = 22. Are k and 1980 unequal?
True
Suppose 0 = 4*m + m - 2*l - 153, 2*m - 5*l = 78. Let j = m - 29. Suppose j = -2*t - 4*v + 50, v + 3*v = 0. Which is greater: 26 or t?
26
Suppose -4*w - 344 = 4*r, -7*w - 412 = -2*w - r. Suppose -4*z - n - 2*n = -434, -5*z + 541 = 3*n. Let p = w + z. Is p greater than 24?
False
Let i = 252 + -231. Suppose 22*c + 21 - i = 0. Which is smaller: 2 or c?
c
Suppose -2*s - 798 = 3*n, 5*n = -2*s - 61 - 745. Let h = 176 + s. Which is smaller: -218 or h?
-218
Let h = 252 + -232. Let d(b) = 11*b - 209. Let a be d(h). Suppose 0 = f - g - 2, 4*f + 0*f = -2*g + 14. Which is smaller: f or a?
f
Let p = -1725.1 - -1737. Is 38 less than p?
False
Let z(y) = y**3 + 9*y**2 + 3*y + 3. Let a be z(-9). Let g be (-5)/2*(a/(-10))/(-3). Suppose 3*d = -g*d + 100. Which is smaller: 19 or d?
19
Let w be 656/(-876)*1 + (10 - (-341)/(-33)). Is w at least as big as -1?
False
Suppose -166599 = -368*l - 893767. Is l >= 3?
False
Suppose 0 = -2*z + q, -26 = -3*z + 3*q - 8*q. Let s be 1/(1236/246 - 5). Let v = s - 40. Is z less than v?
False
Let s = -92 - -43. Let f(h) = -2*h**2 - 2536*h + 54089. Let x be f(21). Do x and s have the same value?
True
Let t = 0.01101 + 1479.98899. Which is smaller: t or 2/5?
2/5
Suppose -16 - 5 = -3*b - 3*t, -b = -5*t - 37. Suppose -4*j + b*j = -104. Is -11 at least as big as j?
True
Let a(f) = 7*f - 16. Let m(t) = -20*t + 49. Let k(u) = 17*a(u) + 6*m(u). Let v be k(20). Let x be (0 - -12) + -4 + 1. Is v at most x?
True
Let y = 58.17 + -146.27. Is 3 bigger than y?
True
Suppose -3 = 3*f - 0. Let q = -1652159 - -819471839/496. Let s = 33/16 - q. Is f greater than s?
False
Suppose 7*t - 3*t + 3*n + 7 = 0, t + 3 = -n. Suppose 4*r = 5*w - 19, 5*w = 2*r + t + 5. Let l be ((-38)/6 - 0) + -1. Which is greater: l or r?
r
Let p = -85848 - -85846. Let i = 1 + -1. Which is greater: p or i?
i
Let n = 45284167845/1768 - 25613218. Let g = n + 4/221. Let w = g - -11/8. Is w at least 2?
False
Let o(q) = 2*q**2 - 61*q - 1048. Let n be o(43). Are n and 53 equal?
False
Let s = -41 + 75. Suppose 49 = -t + s. Let i be 10/t*51/(-2)*-2. Which is smaller: i or -33?
i
Suppose -k + 3*f = -1, -5*k - 4*f + 12 = 7. Let a be 1078/(-297) + (-2 + 7 - k). Which is smaller: a or 1?
a
Let b = 145 + -32