 j*g - 5 = 0. Are -2/7 and g nonequal?
True
Let l = -986 - -986.18. Is l less than -0.33?
False
Let l = -264 + 524. Is l less than 260?
False
Let i = 13.5 - 11. Let a = -0.3 + i. Is 0.1 > a?
False
Suppose 2*p - 8 = 4. Suppose 6 - p = -4*w. Are -5/18 and w non-equal?
True
Let m be (3 - (-1 + 0)) + (3 - 1). Suppose 0 = -2*a - p - 1, 5*a - 14 = 3*a + 4*p. Is a less than or equal to m?
True
Let s = 37 - 26. Let p = s + -10.8. Is p > 13?
False
Let h = 324 - 395. Which is bigger: h or -69?
-69
Suppose 0 = 9*v - 10*v + 8. Let h(z) = z**2 - 8*z. Let m be h(v). Is m bigger than -2/73?
True
Let a = 8.7 - -28.3. Let t = a + -36.95. Is t smaller than 1/4?
True
Let k be 6/(-14) - (20 + 54933/(-2688)). Which is smaller: k or -0.06?
-0.06
Let a(o) = -o**2 - 31*o + 224. Let n be a(-36). Which is smaller: n or 43?
43
Let k = -85/3 + 29. Which is smaller: 0.022 or k?
0.022
Let c = 29.5 + -29.3. Which is smaller: 0.052 or c?
0.052
Let q = 514 - 513. Does q = 300?
False
Let n(g) = -2*g**3 + g - 1. Suppose -5*j - 5*y - 45 = 0, -7*y + 3*y = -2*j - 12. Let c = 9 + j. Let a be n(c). Is 1 less than or equal to a?
False
Let q = -30.08 + 30. Let x = -0.1 - -0.18. Let g = x + q. Which is bigger: g or -2?
g
Let c = 1621 + -1626. Which is smaller: 107 or c?
c
Let g = 1.38 - 1.28. Let x = 0.3 - 0.2. Let r = g - x. Is r less than or equal to -0.3?
False
Let t(a) = 2*a**2 + a - 7. Let l be t(3). Let w be l - 1 - (4 - 5). Let o = 13 - w. Are o and 1 nonequal?
True
Suppose -5*h + 4*z = -237, 2*z = -3*h + 4*z + 141. Does h = 44?
False
Let p(z) = 2*z**3 - 28*z**2 + 90*z + 21. Let j be p(11). Is 571/2 greater than j?
True
Let b be (-14 - -9)*(-816)/40. Which is greater: b or 103?
103
Let a = 723120/41 + -17638. Is -2 less than a?
True
Let u(y) = -26 + 41 - 19 - 17*y + 16*y**2 - y**3. Let i be u(15). Which is greater: i or -33?
-33
Let p be (-40)/(-5) - 39/13. Let u be 0 - -2 - (-2 + 1). Which is bigger: p or u?
p
Let f = -1.63 + 1.511. Which is smaller: f or -5?
-5
Suppose 21*l + 422 = -1594. Do -99 and l have the same value?
False
Let a = -60 + 40. Let t = -16 - a. Is t at most as big as 0.1?
False
Suppose 0 = -4*z - 8. Suppose 7 = v - 5*d, -4*d - 20 = 5*v + 3. Which is bigger: z or v?
z
Let c be (95/(-76))/(3/(-12)). Is -12 <= c?
True
Let t be (-616)/(-22)*(-2)/4. Let q = -12 - t. Is -1.3 >= q?
False
Suppose -84*a = -1150 - 26. Is 102/7 at most as big as a?
False
Let x be (45/18)/(1/2). Suppose -99 = -5*v + 2*g + 120, x*g = 4*v - 165. Are 44 and v unequal?
True
Let y = 456 - 1825/4. Is 3/55 greater than y?
True
Let l be 60/(-90) + -8*(-2344)/12. Which is smaller: 1561 or l?
1561
Let w = 4157/172 - 61/43. Let x = -471/20 + w. Let b(r) = r**2 + 7*r + 4. Let i be b(-6). Is i >= x?
False
Let w(y) = -y**3 - y**2 - 3*y - 2. Let l be w(-3). Let r be (-1 - -3)*1400/112. Do l and r have the same value?
True
Let n = -4538 - -4538. Let b(d) = -4*d**2 - 4*d + 3. Let m be b(3). Let k be 1/(-4) - m/148. Which is bigger: n or k?
k
Suppose 2*y = -2*b + 12, -9 = -b - b - 5*y. Which is smaller: -8 or b?
-8
Let s = -167 + 350. Is s greater than or equal to 183?
True
Suppose -i = n - 11 + 29, 2*n + 24 = 2*i. Let a(s) = s**3 + 5*s**2 - 2. Let v be a(-3). Let r = v + n. Is 12/7 smaller than r?
False
Let s = 18 - -6. Let k = 26 - s. Let m = -138 + 419/3. Is k < m?
False
Let k(h) = h**3 - 4*h**2 - 2. Let c be k(5). Suppose -c - 22 = -5*j. Suppose -2 = 7*m - 9. Is j > m?
True
Let j = 802 - 801.6. Which is smaller: -93 or j?
-93
Let t be ((-12280)/(-108))/(6/(-45)). Let b = t - -851. Which is smaller: 2/7 or b?
b
Let i(a) = a + 4. Let b be i(-2). Suppose -o - o = u + 28, 4*o - b*u = -72. Do o and -14 have the same value?
False
Suppose -55*b + 15 = 47*b - 117*b. Let i = 0.9 - -0.1. Do i and b have the same value?
False
Let v = 3.1 - -10.9. Let b = v - 17. Do b and -0.2 have different values?
True
Let m = 67 - 70. Let j(o) = 2*o**3 + 10*o**2 - 2*o - 11. Let z(d) = 5*d**3 + 21*d**2 - 3*d - 23. Let w(l) = 7*j(l) - 3*z(l). Let k be w(6). Is m bigger than k?
False
Let v = 10 - 6. Let q = 191/282 - 1/94. Which is greater: q or v?
v
Let m(c) = 3*c + 40. Let a be m(-13). Let j be a + -1 - 22/(-77). Which is bigger: j or 0.04?
j
Suppose -5*t + 9 = -2*t. Suppose 0 = 4*x + t*f - 31, x - f + 5*f - 11 = 0. Is 6 greater than or equal to x?
False
Let r(c) = 2*c**3 - 25*c**2 + 35*c - 22. Let g be r(11). Is -2/3861 < g?
True
Let f be 2/(-5)*150/(-10) + 449. Is f >= 455?
True
Let t = -6 + 5. Let g = -2/373 + 800/10071. Is g greater than t?
True
Let l(t) = -2*t**2 - 3*t. Let u be l(-6). Let p be (u/(-3))/(-2)*-1. Suppose -4*q + 5 + p = -2*n, -2*q + 3*n = -5. Which is smaller: 5 or q?
q
Let z(a) = a**2 - 19*a + 14. Let b be z(18). Which is smaller: 37 or b?
b
Let d = -10/223 + 1336/19847. Let t = -4 + 3. Does d = t?
False
Let h be 1/(2 + 6/(-4)). Let n be h/(-13) + 408/117. Which is smaller: n or 4?
n
Let w = 1.069 + -0.049. Let n = 21.92 - w. Let f = 21 - n. Is f bigger than 9?
False
Let f = -9 - -14. Suppose 3 = -4*b + f*b. Suppose k = b*s + 2, -2*k + 0*k = -4*s - 2. Does k = 0?
False
Let m be (6/10)/(14/(-5)). Suppose 19*v - 8 = 27*v. Which is smaller: v or m?
v
Let s = -1195 + 1264. Which is smaller: 0 or s?
0
Let n = 50.4 + -9.4. Let h = -37 + n. Is h less than or equal to -2?
False
Suppose 6 = 6*b - 0. Is -1/49 greater than b?
False
Let i = -42 + 49. Suppose 2*r - 13 = 5*a, 2*a = i*a - 3*r + 17. Is a smaller than 4/21?
True
Let q be -1 - (-2 - (-1)/(-1)). Suppose 2*l = -q - 2. Let w = 18 + -20. Is w greater than l?
False
Let r = 38/1269 - -1/141. Which is bigger: -3 or r?
r
Let g be (-2)/5*8505/216. Which is greater: -16 or g?
g
Let f be (-69)/207 + 710/6. Which is smaller: f or 114?
114
Let r = -53 - -44. Is -6 != r?
True
Suppose q + 28*r - 33*r + 2 = 0, -4*r + 8 = 0. Is 7 at least q?
False
Suppose -2*y + 3 = -r - 2, -2*y - r + 3 = 0. Let q = -13 - -12.9. Which is greater: y or q?
y
Suppose 982 = 4*k - 5*j, 6*j - 731 = -3*k + 7*j. Which is bigger: k or 248?
248
Let q = -2 - -1. Let k = 7570.8 + -7571. Which is bigger: q or k?
k
Let l = 2.4 - 2. Let c(h) = -3*h - 37. Let j be c(-14). Suppose s - 8 = j*s. Which is smaller: l or s?
s
Let m = -3212 - -28736/9. Are m and -19 non-equal?
True
Suppose 14*r + 372 = -426. Let g be (-16)/8 - ((-333)/r)/(-3). Is -1 not equal to g?
True
Let p = 63 + -63. Let c be (42 - 2)/4 + p. Let q = -0.9 - -1. Which is smaller: c or q?
q
Let r be (6/8)/((-15)/(-55)). Let p = r + -61/20. Let h = 0 - -1. Is h >= p?
True
Let d = -50 - -30. Let a be (-6)/d*10/(-4). Which is smaller: -1 or a?
-1
Suppose 52*t + 6593 = -1363. Which is smaller: -155 or t?
-155
Let s = 5 + -1. Let i be 6 - ((0 - -1) + 1). Let x be (-31)/(-10) + i/(-8). Is x > s?
False
Let q = 0.1 + 2.2. Let k be (2/(-12)*-6)/(-1). Is q less than k?
False
Let v = -2.536 + 0.036. Let j = v + 2.6. Is j less than 4.6?
True
Let b = -1 - -3. Suppose -b*j + 7 = 3. Suppose o - 5*u = 28, -5*u = j*o - 0 + 4. Which is bigger: o or 7?
o
Let o = 0.77 - 0.88. Let c = o - 0.29. Is c less than or equal to -0.04?
True
Let d = -28.051 + 0.051. Let y = 37 + d. Suppose -2*c + 3 - 16 = -5*x, -2*c = x - 5. Are c and y equal?
False
Let g(b) = -b**3 - 4*b**2 + 5*b. Let p be g(-5). Let i be p*(1 - 9/6). Is 4 smaller than i?
False
Suppose 460 - 1296 = -11*g. Is -1/2 greater than or equal to g?
False
Suppose 1110 = 29*q - 311. Let d be (28/q)/((-2)/6). Let z(h) = 2*h + 2. Let k be z(-2). Which is smaller: k or d?
k
Let v be (2 - 1)*(-13)/8. Let r(u) = -2*u**2 - u - 1. Let k be r(-1). Which is smaller: v or k?
k
Let j = 30631455326552/108171 - 283176224. Let l = 3/707 + j. Are 1 and l nonequal?
True
Suppose 2*i + 17*i + 114 = 0. Let m(z) = 8*z + 48. Let n be m(i). Let k be 32/26 - 2/2. Is n bigger than k?
False
Let d(k) = -2*k - 3. Let a be d(-4). Let w be 5/((a - 1)/(-2)). Suppose -2*i - 2*p = -4*i - 12, -5*p = -4*i - 27. Is i < w?
True
Let d = 7 + -4. Suppose 0 = 5*z + 2*i + d*i + 65, 4*z - 3*i + 45 = 0. Let x = z - -6. Is x equal to -6?
True
Let g be 1/(-7) - (-1)/(7/22). Let u be ((-190)/(-6))/(-5) - 2/g. Which is bigger: -3 or u?
-3
Let i = 210 - 219. Which is smaller: i or -8?
i
Let r(l) = -10*l - 10. Let w be r(-4). Let x = -21 + w. Let c = -23 + x. Is c at most as big as -14?
True
Let q be (2/5)/(3/60). Suppose 8*k - 10*k + 4 = 0. Suppose 5*j + 41 = 