qual to g?
True
Let g(t) = 42*t + 504. Let f be g(-12). Are -120 and f nonequal?
True
Let f = 11937639/3868 + -12345/4. Which is smaller: f or 0?
0
Let u be ((-136)/(-32) - 4)/((520/35)/8). Is u at least 1?
False
Let z = 3072 + -4897. Let v be (-24)/(-30) - 1 - 340/z. Which is greater: v or 2?
2
Let a be 21 - -6 - 1*3. Suppose -23 = 2*h + 4*p - 9*p, 4*h + 4*p - a = 0. Let i = -475 + 1429/3. Is h at least i?
False
Let p be (-47)/27824*(-6)/(-7). Is p smaller than 1?
True
Let b be ((-172)/249 + 4/6)/(-1). Let x(g) = g - 9. Let j be x(8). Is b at least as big as j?
True
Suppose -t = 1028 - 1084. Let c = t - 51. Which is smaller: -57 or c?
-57
Let d = -1 + -63. Let n = -1668 + 1733. Let y = d + n. Do 40 and y have the same value?
False
Suppose -20*r - 6 = -14*r. Let x(j) = j**3 + 2*j**2 + 2*j + 1. Let p be x(r). Is p > 1/26?
False
Suppose 5*n - 8*r - 9682 = 2689, -n + 2428 = 5*r. Is n at most as big as 17232/7?
False
Let v = -1.4 + -32.7. Let p = v + 34. Which is smaller: 0.275 or p?
p
Suppose r - 659 = 6*r + 2*l, l = -4*r - 526. Which is smaller: r or -3?
r
Let y(n) = -18*n + 10. Let a be y(3). Let i be (-3644)/10 - a/110. Is i equal to -364?
True
Let a be (0/64)/(-1*(-2)/(-1)). Which is greater: a or -610?
a
Let g = 31411/4 - 7853. Which is smaller: g or 3/1118?
g
Let l(n) = n**3 - 19*n**2 - 24*n + 46. Let v be l(20). Let j = v - -35. Which is smaller: j or 5/42?
5/42
Let z = 663 + -629.2. Let t = -23 + -11. Let m = z + t. Which is smaller: m or 3?
m
Suppose -238*f + 463968 + 260496 = -66*f. Is f > 1?
True
Let y = -287 - -2007/7. Let i be 2 + 12/20 - (-2)/5. Suppose -a + a + i*a = 0. Which is bigger: a or y?
a
Suppose 0 = -5*o + 3*q - 1230 - 841, 2*o + 4*q + 818 = 0. Let x = o - -449. Which is smaller: 38 or x?
x
Suppose d = -2*g - 4882, 3*g - 14619 = -2*d + 5*d. Which is smaller: d or -4874?
d
Let l = 22802319/56 - 407212. Let u = 32703/8 + -4059. Let f = u + l. Is f > 1?
True
Let u = -26 + 26. Suppose -g - 8 = -3*q, 0 = -4*q + g + 3*g + 8. Suppose 3*h = -7*n + 12*n + 16, u = 4*n + q*h + 29. Which is smaller: -6 or n?
-6
Let g(i) = -90*i**2 - 3818*i + 3. Let l be g(-42). Which is smaller: 4795/3 or l?
4795/3
Let y = 1/148 + -1337/740. Let n = 551.5 - 551. Which is smaller: n or y?
y
Let l = 683 + -771. Do -6 and l have the same value?
False
Let b = -162193/10563 - 7/3018. Let w = -104/7 - b. Let m = 12814/7 - 1826. Is m smaller than w?
False
Let u be 40/15*6/(-8). Let r(n) = -n**3 - 2*n**2 + 4*n + 8. Let v be r(u). Which is greater: 1/126 or v?
1/126
Let a(n) = n**3 - n. Let x be a(-1). Let h be (160/120)/(0 + (-1)/(-189)). Let j = h + -5293/21. Which is smaller: x or j?
j
Let z = 6919 - 6893. Which is smaller: 447/17 or z?
z
Let k(v) = 2*v**2 + 15*v + 11. Let d be k(-7). Suppose 17*h - 13*h = d. Let n = -2560 - -33296/13. Do h and n have different values?
True
Let h = -52 + 59. Suppose -29 = -h*v - 113. Is v not equal to -64/5?
True
Suppose 0 = -4*v - 3771*z + 3776*z + 14, -3*v + 16 = -z. Let g be -2*(-3)/12*-2. Let q be g/(-1) - (-36)/6. Which is smaller: v or q?
v
Let c be ((-10)/((-180)/(-27)))/((-3)/2). Suppose 2*y + r = 2, 0*y - 18 = -4*y + 5*r. Which is smaller: c or y?
c
Let z(o) = 30*o**2 + 8*o + 6. Let y be z(3). Let x be ((-207)/(-6))/(135/y). Which is bigger: 78 or x?
78
Let u(v) = 97*v + 7745. Let o be u(-80). Let w be -1 + (1 + 0 - 19). Is w at most o?
True
Suppose -4*k = -20, -s - 3*s + 5*k + 155 = 0. Let w = 45 - s. Suppose 0 = -2*c - w*c + 2. Is c greater than 2/11?
True
Let q be (5/(-4) - 361/(-532)) + (-13920)/(-56). Is q >= 250?
False
Let b = 22.933771 + -0.000771. Let z = b - -0.067. Let l = z + -23.1. Which is greater: l or -8?
l
Suppose -3*k + 5*s = -360 + 2135, s = 2*k + 1167. Which is greater: -581 or k?
k
Let o = 25903 - 25135. Do 3837/5 and o have the same value?
False
Let p = 557 + -552.9. Let j be (-2)/7 + 261/203. Do j and p have the same value?
False
Suppose 0 = -12*m + 15*m + 12. Let r be (-1 + 3 + 13)*m/2. Let h = r + 88/3. Is h at most as big as 1?
True
Suppose 0 = 18*d + 16*d + 612. Let b(l) = -l**3 - 11*l**2 + 14*l + 12. Let y be b(-12). Which is smaller: d or y?
d
Let a(u) = 9*u**3 + 8*u**2 + 9*u + 9. Let q(p) = 11*p**3 + 8*p**2 + 9*p + 8. Let y(h) = -5*a(h) + 4*q(h). Let r be y(-7). Which is greater: r or -1/215?
r
Let q = 12807 - 12857. Which is smaller: q or -32?
q
Let z = 967 + -960. Is z smaller than 89/12?
True
Suppose -36*d = 243 + 9261. Let y = d + 263. Let k = -0.35 - -29.35. Is k < y?
False
Suppose -k + 15 = i - 5*k, -5*i + 5*k + 45 = 0. Suppose i*z - 2*z + 2*q = -74, z + 5*q = -24. Let m(h) = -2*h**2 - 6*h + 3. Let a be m(2). Are a and z unequal?
True
Suppose -19 + 17 = -f. Let b be f/(-9) + ((-1880)/36)/(-10). Do 9 and b have the same value?
False
Let q = 47 - 113. Let r be ((-7)/(-14))/((-21)/q). Let t be ((-12)/(-14))/3 + (-40)/(-56). Which is greater: t or r?
r
Let z(o) be the first derivative of o**3 + o**2 - 3*o - 12. Let i be z(-3). Suppose -3*m + x = -0*m + 27, -2*m - i = 5*x. Is -9 bigger than m?
False
Let d be 280386/560 - (-12)/42. Suppose 2*b + b - 1503 = 0. Let r = b - d. Is r not equal to 0?
True
Let i be (-2655)/(-7) + (-50)/175. Let f = 409 - i. Is f > 8/5?
True
Let d(w) = -w**2 + w + 15. Let p = -315 - -312. Let y be d(p). Is y at least 39/10?
False
Let c = 772 - 756. Suppose -c*n = -14 - 18. Which is bigger: n or 12/13?
n
Let s be ((-1648)/(-78))/((8/(-30))/((-114)/285)). Is s > 33?
False
Let n = -235738 - -8424097429/35735. Is -1 at most as big as n?
True
Let m be 1/((-3)/(-9)) + -18 + 15. Is 4/4499 less than or equal to m?
False
Let p be (-1)/(12/570)*-26. Let b = -5561/5 + p. Is b greater than 123?
False
Suppose 3*o + 5*o + 272 = 0. Let t = 36 + o. Suppose j - 6 - t = -2*c, 2*c = -3*j + 8. Which is smaller: -6 or j?
-6
Let z be 1755769/(-2405)*-3 + 158/(-1027). Let n = 2190 - z. Is n less than 0?
False
Let d(t) = 2*t**3 - 20*t**2 - 24*t + 21. Let b(f) = 7*f**2 + f + 11. Let v be b(0). Let p be d(v). Which is greater: p or 14/67?
14/67
Let z = -15295 + 15294. Is z less than or equal to 1/17535?
True
Let f be -1*3 - (26 - 100). Let j = 66 - f. Are j and -19/3 unequal?
True
Let v be ((-2052)/24 - -26) + 2/4. Is -70 >= v?
False
Let v = 3 - 2.9. Let i = 63 + -43.6. Let d = -19.5 + i. Is v smaller than d?
False
Let k = -28 - -16. Let g = k - -12.3. Let c = -20.3 - -19.4. Is c < g?
True
Let y = -0.2909 + 0.3109. Is 0.667 greater than y?
True
Let r = 411 + -81. Let n = r - -76. Which is smaller: n or 1/3?
1/3
Let q = -2665 + 2665. Do 0.3644 and q have the same value?
False
Let q be (3 + 252/(-64))*20/(-6) - 3. Which is bigger: q or 0?
q
Let z = -15 + 25. Let x = -3643 - -3626. Let a = z - x. Is a greater than or equal to 0?
True
Suppose -2*s - 9 - 63 = 0. Let f = 46.2 + -41. Let z = f - 5. Which is smaller: z or s?
s
Let f be (-79)/(45030/24450)*(-1 - (-2)/(-2)). Which is greater: 85 or f?
f
Let f(d) = d**3 - 12*d**2 + 9*d + 43. Let i be f(11). Let o = -14.14 + 0.14. Let g = o + 12. Which is smaller: i or g?
g
Suppose -5*l = 2*r + 3658, -5487 = 3*r - 464*l + 459*l. Which is greater: r or -1828?
-1828
Let o = 735 + -419. Let l = o + -195. Is l at least 121?
True
Let n be ((-2)/30)/(20*(-3)/(-2484495)). Let m = -2760 - n. Is -3 at most m?
True
Let h(r) = 30*r**2 + 53*r + 4. Let d be h(6). Is 1401 > d?
False
Let h = 6456 + -839271/130. Which is greater: h or 0?
h
Let a = 249.861 - 250. Let b = 103 - 102.961. Let c = b + a. Do 21 and c have different values?
True
Suppose f + 57 = -2*o, -56*o + 231 = -4*f - 61*o. Which is bigger: -62 or f?
f
Let x = 13 - 8. Let i be (-1)/((-660)/130 - -5). Suppose x*d + 5*c = -15, i*d - 8*d + 3*c = -9. Which is smaller: d or -1/31?
-1/31
Suppose 0*w - 24 = -3*w - 3*n, -2*n + 40 = 5*w. Suppose 3*p = -15, -3*p - 4 = 3*v + w. Is -1 equal to v?
False
Let m(b) = b**2 - b. Let o(k) = -k**3 - 2*k**2 + 12*k - 5. Let c(i) = 6*m(i) + o(i). Let s be c(5). Let x be 1014/3432 - 63/14*(-2)/(-12). Are x and s nonequal?
True
Let v = 1570.019 - 0.019. Let s = v + -1641.1. Let u = 71 + s. Is u greater than or equal to -14?
True
Let w(l) be the third derivative of -l**4/24 - 8*l**3/3 + 56*l**2. Let y be w(-16). Are -1 and y non-equal?
True
Let n be (-153)/628 - 2/(-8). Let q(f) = 4*f**3 - 3*f**2 - 127*f + 7. Let o be q(6). Is n at most o?
True
Suppose 0*j - 5*j + 19 = y