 Is -6/155 != x?
True
Let d = 1294 - 766. Is 6 > d?
False
Let n(d) = d**3 - 4*d**2 - 8*d - 5. Let u be n(-3). Let y = 46 + u. Suppose -6 = -2*h, -y*h = -2*o + h - 5. Which is greater: o or -2/5?
o
Let w = 587 - 21. Suppose 670 = -w*p + 561*p. Is p >= -133?
False
Let o be (-40)/(-42) + (-4)/6. Let m = 98 - 61.6. Let p = -36.6 + m. Which is smaller: p or o?
p
Let v = -229.253 + 0.253. Let l = -149 - v. Is -1 <= l?
True
Let o be (-1)/(-812)*(-16)/(-6). Let h = -3522 - -3522. Is o at most h?
False
Let o = -119 - 48. Let g = 167 + o. Are 24 and g nonequal?
True
Let n = 10111/17 - 595. Let z = 68121 - 68122. Which is smaller: n or z?
z
Let y be 1 + -1 - (-2)/(-85). Suppose -9*h = 5*j - 11*h + 28, 0 = -4*j + h - 23. Let p be -1*(j/(-1 + 7))/(-1). Is p bigger than y?
False
Suppose -4*t + 7*j = 6*j - 18, -10 = -5*j. Suppose -5*w + 2*g = 125, -4*w - t*g + 56 = -7*w. Suppose -4*u = 68 + 40. Is u greater than or equal to w?
True
Suppose 0 = 5*i - 20, -7*i + 8*i + 3 = p. Let u be (-480)/(-112) + (-2)/p. Suppose u = -0*d + 2*d. Is 4 equal to d?
False
Suppose 420*t - 98 = -338*t - 98. Is t > -156/227?
True
Suppose -3*v - 233 = 4*t, 0 = 4*t + v + v + 230. Let z = -1697/42 + -85/6. Which is greater: z or t?
z
Let r be 2*(-1)/3*6/(-4)*-976. Is -976 > r?
False
Let p(m) = -m**3 + 15*m**2 + 19*m - 13. Let c be p(16). Let u = c - 20. Suppose -114 = -21*j + u*j. Is j <= 19?
True
Let y = -67829 + 67829.6. Let l = -3 - -3.1. Let m = l - 0.1. Is m bigger than y?
False
Let h = -77 + -387.5. Let i = h + 465. Which is bigger: 58 or i?
58
Let i = -1490 - -1484. Do 95 and i have the same value?
False
Let j(n) = -n + 15. Let d be j(25). Let x = 14 + d. Let w be (2 + (2 - x))/(-4 - 0). Which is smaller: -2 or w?
-2
Let s = 3951.8 - 3952. Are s and 0.01744 unequal?
True
Suppose 22*p = -68*p + 645966 - 33966. Is 6800 greater than p?
False
Let l = -1225 + 1823. Let i = l + -599. Which is smaller: i or 7/18?
i
Let d(n) = -5*n**2 + 7. Let j be d(0). Suppose 12 = -j*o - 5*o. Let m = 1455 + -71298/49. Which is smaller: o or m?
o
Suppose -6*d + 2*d + 142 = -5*p, 0 = p + 2. Suppose d*n - 24*n - 27 = 0. Is -5 at most as big as n?
True
Let h = -4.7 + 8. Let n = 2.75 - h. Let s = -1.55 - n. Which is greater: s or 1/2?
1/2
Let v = 5885 + -5850. Which is bigger: 79 or v?
79
Let x = 2/2647 + -26492/29117. Suppose 267 - 47 = 10*l. Suppose -l*y + 17*y = 0. Which is greater: x or y?
y
Let n = 0.161 + 76.839. Let m = -65.7 + n. Let x = m - 12.3. Which is smaller: x or 2/83?
x
Let q be 30/(5/(-1))*-1. Suppose 257 = q*h - 199. Is 75 < h?
True
Suppose -4*p - 1788 = -5*a, 8*a - 3*a + 3*p = 1809. Let v be 20/a*(-3)/1. Which is greater: v or -37?
v
Let c = -11032 - -33404/3. Let z be (2405/111)/(5/24). Is c < z?
True
Let f be ((-2534)/(-5))/((-448)/(-560)). Is 635 less than f?
False
Suppose 3*a + 40 + 87 = 4*u, 5*u - a - 167 = 0. Let q = u - 100/3. Let x be ((-2)/(-7))/(2/(-16)). Is q at least as big as x?
True
Let n = -1.358 - -0.128. Let y = n + 0.23. Let x = -432 - -438. Is y less than or equal to x?
True
Suppose -12*q - 15*q + 880 = -7*q. Let r = 4 - 5. Which is greater: r or q?
q
Let v(c) = -4*c + 12. Let j(m) = -m + 1. Let h(u) = -3*j(u) + v(u). Let x be h(7). Let s = 6 + -4. Is s less than x?
False
Let j = -176 + -5. Let y = j + 94. Let r = 87.1 + y. Which is smaller: -33 or r?
-33
Suppose 949 + 1022 = 9*k. Let g = k - 879/4. Does -0.2 = g?
False
Let j(q) = -q - 10. Let v be (-8)/6*((-225)/(-6))/5. Let m be j(v). Let t be ((-12)/(-7))/(-2) - -1. Which is smaller: t or m?
m
Let u = -44 + -8. Let i = -462068 + 2310074/5. Which is greater: u or i?
u
Suppose -86*c = -233*c + 751905. Is c at most 5115?
True
Suppose 0 = 54*h - 51*h + 411. Suppose 5*y + 3*p + 687 = 0, -9*y + 273 = -11*y - 3*p. Which is smaller: h or y?
y
Let i be (1 - (-19940)/(-35)) + -11 + -1. Is -582 not equal to i?
True
Let r = 1028.1844 - -0.8156. Is 2/7 at least as big as r?
False
Suppose 225 = -3*j + 3*d, -3*j = -4*d + 2*d + 226. Let g = j + 78. Do g and -2/11 have the same value?
False
Let r be (-834335)/(-2)*3/(45/(-12)). Let l = r - -3673580/11. Let s = l + -228. Is 1 at most as big as s?
False
Let m = -25 - -12. Let l(j) = 120*j - 60. Let z be l(2). Suppose -z*q + 187*q = -70. Which is greater: q or m?
q
Let u be 51*(-124)/(-228) + 0 - 5. Do 24 and u have different values?
True
Let y(z) = 20*z**3 + 173*z**2 + 8*z - 39. Let o be y(-10). Which is greater: o or -2821?
o
Let n = -651 + 673. Is 0.082 at least as big as n?
False
Let l(k) = 10*k - 27. Let u be l(3). Suppose -2*y + 6*y - 4*b = -8, -u*y - 4*b = -15. Which is smaller: 0.2 or y?
0.2
Suppose 4*w + 78 = 2*d, 0 = -0*d + 5*d + 4*w - 125. Suppose -28*z = -d*z. Is -15/38 <= z?
True
Suppose 25*j + 1113 - 263 = 0. Let n = 47/8 + -323/8. Are j and n non-equal?
True
Let k(u) = 2*u**3 - 7*u**2 + 86*u + 966. Let i be k(-10). Which is greater: -2595 or i?
i
Let n = 35.2772 - 3.2772. Is n at least -12.1?
True
Suppose -3*r = -5*m + 361, 0 = 3*r + 2 + 4. Suppose 5*o - m = -4*x + 7*x, -4*o = 2*x + 18. Is x smaller than -18?
False
Let g = -32 + 12. Let s = g - -8. Let c be 9/(3/s - (-3)/4). Is c smaller than 17?
False
Let g(h) = 5*h - 88. Let n be g(20). Suppose -4*i + 4*l = n, 5*i - l = -0*l + 1. Is i greater than or equal to -2/95?
True
Let j be (6/144*-3)/217. Let k = -46583783/3 - -404347111463/26040. Let w = k + j. Is -6 <= w?
True
Let t(b) = -96*b + 2. Let d be t(-3). Suppose -92 = -z + 9*s + 233, 4*s + 594 = 2*z. Which is smaller: z or d?
z
Let f = -23628 - -39478. Which is bigger: 15849 or f?
f
Let x(w) = w**2 + 7*w - 27. Let m be x(-10). Suppose 2*j + 129 = 5*p - 32, 0 = 5*p + m*j - 146. Is p at least as big as -7?
True
Let l be 22/(-16)*(64 + -60) - -6. Which is smaller: l or 12397?
l
Let h = -4 + 5. Suppose 3*o - 32 = -13*o. Let x be (28/13615)/(o/(-5)). Is h smaller than x?
False
Suppose 240*z - 358961 = 925467 + 50212. Is 5561 at most as big as z?
True
Let a = -133 + 199. Let n(m) = 47*m - 2471. Let i be n(54). Which is smaller: i or a?
a
Let k = 141983/66 + -5377/6. Which is bigger: k or 1254?
k
Let n(w) = w**2 + 5*w + 1. Let a be n(-2). Let b = -2 - a. Suppose 214 = -11*j + 225. Which is smaller: b or j?
j
Let h = -1/36463 + 25451187/474019. Let q = h + -168192/3133. Which is greater: q or 1/4?
1/4
Suppose 5*h - c = 239, 248 - 72 = 4*h + 3*c. Is h at most as big as 47?
True
Let g(v) = 2*v**3 - 209*v**2 - 101*v + 1303. Let j be g(105). Is j greater than 1?
True
Let t = -0.2 + -0.8. Let l = -13638.7 - -13634. Which is bigger: t or l?
t
Let s = -88124 + 1322846/15. Is s < 65?
False
Suppose 4*g - 1632 = 5*z, -5*z - 2*g + 783 = 2427. Let j = 9839/30 + z. Let i(v) = -v**2 - 4*v. Let c be i(-4). Are j and c nonequal?
True
Suppose -141 = -4*s - d, 4*s = -4*d - d + 129. Let z be (-5)/(90/(-4)) - (-1228)/s. Let q = -34 + z. Which is smaller: 1/24 or q?
1/24
Let g be 12 - ((0 - -3)*1 - 0). Let v be (g/12)/(3/20). Suppose v = -16*d + 11*d. Which is smaller: 4/27 or d?
d
Let d = 76583 - 76581. Let l = 205 + -139. Which is greater: d or l?
l
Let b = 73866/7 - 10552. Is b greater than 634?
False
Suppose -3*j - 2*j + 2968 = -2*r, -r = -1. Suppose 4*c + j = 3*c. Let a = c + 10095/17. Which is greater: 0 or a?
0
Let x = 1098 - 1098.389. Is 19 >= x?
True
Let h(t) = -6*t**2 - 32*t - 44. Let c be h(-3). Suppose -17 = -3*a - 2*w, 16 = 4*a - 2*w - 2*w. Suppose -2*n - a = -1. Is n greater than c?
False
Let w be (-2 - -4)*2 + (-2009)/510. Let s = -1/60 + w. Are -1 and s unequal?
True
Let b be 1/1 + -8 + 265 + -258. Is 2/23627 less than b?
False
Let q = 4795 + -4782. Which is smaller: 23/2 or q?
23/2
Suppose -9*p + 28 = -4*q - 4*p, 5*q - 3*p + 35 = 0. Let x be 2/q - (-7)/((-7546)/(-553)). Suppose 0 = -0*l - 4*l. Which is greater: l or x?
x
Suppose -4*c - 6 = 2*k, -2*k - 9 = -4*c + k. Let z = -5408345/271 - -19957. Is c greater than z?
False
Suppose 10 = 2*g + 8. Suppose 17*j = -g - 16. Let b = -56 - -90. Is j at most b?
True
Let g be (-9)/21 - 1280/35. Suppose 2*x - u = 3*u - 80, -5*u - 185 = 5*x. Is g < x?
False
Let z = 1379.2 + -1379. Are z and -1/819 equal?
False
Suppose 0 = 52*k - 2489 - 4063. Is k < 127?
True
Let t be -5 - -5 - (5 - 5912/184). Which is greater: 26 or t?
t
Suppose 4*p + o = -905, -1135 = 5*p + 5*o - 3*o. Is p greater than or equal to 0.1?
False
Let s = 2.0413 + 1.9587. 