 have the same value?
False
Let g(a) = a**3 + 5*a**2 - 4*a + 7. Let m be g(-6). Let p = 29152 + -29191. Is m > p?
True
Let q be (-4 + -26 + 31)*(-87)/(-192). Is q at most as big as 0?
False
Let o = -96288 + 388481/4. Is 833 != o?
True
Suppose 4*f + 1956 = 4*s, f - 5*s + 95 + 406 = 0. Let j(d) = 3*d**3 - 7*d**2 - 79*d + 234. Let b be j(3). Let c be (-3)/b - f/5. Are c and 1 equal?
False
Let w be 168/(-70)*20/6. Let h be (w/6)/(36/108) + 3. Which is smaller: h or 1/58?
h
Let u be ((-488)/(-183))/(17/9 + -2). Let k be ((-249)/u - 10) + 159/24. Is k > -2.4?
True
Let j = 4 + -4. Let d(t) = 3*t**2 + 10*t + 4. Let p be d(-3). Let v be p/(((-66)/15)/(18/15)). Is v >= j?
False
Let y = -2189 - -2190. Is 4/535 less than or equal to y?
True
Let o = -11098 + 11127. Are o and 37 equal?
False
Let y = 1936/9 + -7753/36. Which is bigger: 619 or y?
619
Let r = -1315 - -135447/103. Let i be -3 - (-6 - -2) - -41. Let q = -43 + i. Is q <= r?
True
Let c = 23359 + -140147/6. Which is greater: c or -1.13?
c
Let a(l) = -l**2 - 73*l + 3488. Let q be a(0). Which is greater: 3487 or q?
q
Let z(o) = 128*o - 6399. Let t be z(50). Which is smaller: t or -1/40043?
-1/40043
Suppose -5*b = -5*y - 56 - 19, -3*y - b = 21. Let i be 0/1*(0 - -1). Let u be (-2)/(i - 4/(-10)). Is u at most y?
False
Suppose 0 = -2*v + 7*v - 460. Let h = 1544 - 1666. Let c = v + h. Is -29 not equal to c?
True
Let h be 0 - -20 - 61/((-1098)/162). Is -9 greater than h?
False
Suppose 0 = q + 4, f + f = -q + 38. Let x = -59 - -51. Which is bigger: f or x?
f
Let s = 27233035/3167 - 8599. Which is smaller: s or 0?
0
Let h = 8865.69 - 8904. Let b = 38.9 + h. Which is smaller: b or -3?
-3
Let r = -5702/351 + 452/27. Is -1 equal to r?
False
Let z = -21141/8 + 2642. Which is smaller: z or -25?
-25
Let l(m) = m**2 + 7*m - 3. Let w = 6 - 14. Let q be l(w). Suppose 3*c + 4*u - 108 = 0, -q*c - u = -c - 131. Which is smaller: c or 33?
c
Suppose 330 = -2*a + 13*a. Let l be (-3380)/325*a/(-4). Which is greater: 77 or l?
l
Let m = 115 - 115. Let w = m - 2. Let p = 21 - 15. Is w <= p?
True
Let r(f) = -525*f + 10709. Let a be r(17). Which is smaller: a or 16054/9?
16054/9
Let a = 15.2 + -15. Let u(h) = h**3 - 5*h**2 - 2*h - 12. Let s be u(6). Let t = s - 37/3. Are a and t unequal?
True
Let m = 708/203 + -73/21. Let y = -179/435 + m. Let x = -1.96 + 0.16. Is y > x?
True
Let s be 1/(((-9)/(-3))/87). Let y = s + -16. Let t(x) = -x**2 + 15*x + 69. Let c be t(18). Is c at most y?
False
Let q be (-11902)/1623*30/4. Let a = 12 - -43. Let u be 3/(-6)*-2 - a. Which is smaller: q or u?
q
Let i(r) = 62*r - 2165. Let l be i(33). Is -119 at least as big as l?
True
Suppose 20*i + 2758 - 14918 = 0. Which is greater: 1 or i?
i
Let h = 1006 - 1113. Let u = 61 - 165. Is u at least as big as h?
True
Let r = 5560 - 5557. Which is smaller: r or -2.302?
-2.302
Suppose 29 = 5*g - 11. Let o = g + -9. Let d = -258947/86 - -3011. Which is smaller: d or o?
o
Suppose -64*p - 22 = v - 59*p, -2*v = -2*p - 4. Is v != -35/48?
True
Let c = -1 + 2. Let h = 29422/184555 - 238/5273. Is h at least c?
False
Let p(l) = -8 - 5*l + 17 + 3*l + 7*l. Suppose -4*g + 4 = -5*g. Let z be p(g). Do z and -11 have the same value?
True
Let z = -977 + 1178. Which is bigger: z or 194?
z
Let n = 1568 - 1615. Is -15 less than or equal to n?
False
Let r be (-257)/(-10)*-1 + 108/(-360). Is r <= 21/2?
True
Let j be ((-40)/50)/(569/(-190) - -3). Let m be ((-1)/1)/(-3 + j/(-50)). Is -47/2 at most as big as m?
False
Let t = 2304/7 - 330. Let c = -39 - -23. Let k be ((-3)/(-6))/(4/c). Which is smaller: k or t?
k
Let s = 67 - 26. Suppose s*m = 42*m - 3. Let o(g) = 5*g**3 - g**2 + g. Let h be o(1). Which is bigger: m or h?
h
Let k = -3430.518 - -3431. Is 8 <= k?
False
Let z = 143.061 + -143. Let a = -0.351 + z. Is -1/2 less than a?
True
Let a = -33040 + 19615. Is -13424 at least a?
True
Suppose 4*a - 8 = -0*j + 4*j, -2*j = -10. Let y(f) = 4*f + 6. Let v be (0*3/12)/1. Let z be y(v). Which is greater: a or z?
a
Let b = -19 + 17. Suppose 0*u + u - 8 = 0. Let k be b*((-4)/u + 2). Which is smaller: 0 or k?
k
Suppose -7*b = 16*b - 3427. Suppose 2*v = p + b, 3*v - 2*p - p = 219. Which is smaller: v or 3?
3
Let n(a) = -a**3 + 7*a**2 + 8*a - 6. Let g(k) = k + 2. Let h be g(6). Let l be n(h). Let i be (l/8)/(30/50). Is i < -1?
True
Let q be ((-6601)/597)/(13/(-1599)). Let b = q - 1360. Let u = 170/5771 + b. Which is bigger: u or 0?
u
Let y = 38329 + -159027023/4149. Is y less than 0?
True
Let c(v) = -3*v + 143. Let k(b) = -2*b. Let w(h) = -c(h) + 4*k(h). Let q be w(-31). Is 10 > q?
False
Suppose 4*l + 4*r + 2 = 14, -22 = 2*l - 5*r. Let s be (0 + l - -1)*54/108. Which is bigger: s or 1/82?
1/82
Let z be (-142)/8 - 1/4. Let y(j) = 182*j - 314. Let t be y(2). Suppose -63*x = -t*x + 247. Are x and z nonequal?
True
Let r = -453.6 - -452.9. Which is bigger: r or 48?
48
Let t be (27 + (-4053)/147)*4298/(-4). Which is bigger: t or 612?
t
Let c = 12 + -7. Suppose c*f + 2 + 8 = 0. Suppose -251 = -727*y - 376 - 602. Is f != y?
True
Suppose 5*t + y = 2185, 28*y = t + 23*y - 437. Let b = -1747/4 + t. Let l = 13 + -6. Is l > b?
True
Let s = -42 + 44. Suppose -5*r - 29 = -3*o + 2, -3*o + 16 = -s*r. Suppose -m = -o*m + g - 36, -2*m = -g + 70. Which is smaller: -35 or m?
-35
Let m(b) = -b + 1. Let k be m(2). Let h = 17 + -9.02. Let t = -0.02 - h. Which is smaller: t or k?
t
Let d = 557/25 + -552/25. Is 144 less than d?
False
Let h = 19250/82517 - 47/202. Do 1 and h have different values?
True
Suppose 0 = 2*i, -2*z - 16 = 5*i - 2. Let a(s) = -s + 177. Let g be a(z). Is 185 equal to g?
False
Let z = 15293 + -8869. Let t = 250502/39 - z. Let s = t + 22/39. Is 1 <= s?
False
Let f = -8234 + 8235. Which is bigger: f or -9/245?
f
Let b(p) = -p**3 - 11*p**2 - 5*p + 4. Let i be b(-10). Let l = -36 + 36.188. Let c = l - 2.188. Is c > i?
True
Let q be (2 + -23 - -20)*(2 + -2). Is q <= -8/971?
False
Let r = 438 + -920. Let q = -481 - r. Which is bigger: q or -4.21?
q
Let d = 30 + -33. Let k = d - -1. Which is smaller: k or 4?
k
Let r(m) = -188*m + 447. Let x be r(4). Which is smaller: -308 or x?
-308
Let n = 57 + -58. Let u be (704/248 - 3)/(-1). Which is smaller: u or n?
n
Let o = -460/99 - -32/9. Let l = o + 38/55. Let b = 0.1 - -1.9. Which is bigger: l or b?
b
Let y(x) = 28*x + 20. Let h be y(0). Let t be (-4)/20 - (-28)/h. Let u be (2/(-1))/(0 + -2). Which is bigger: u or t?
t
Let m(d) = 6*d - 21. Suppose -27*c + 24*c = 0. Let k be m(c). Let j be (3 + -1 + -1)*276/(-12). Which is greater: k or j?
k
Let l be (0 + (-2)/2)/(-1). Let v(h) = h**2 + 18*h + 35. Let i be v(-10). Let k be 45/(-44) - i/60. Is k bigger than l?
False
Suppose -59*q - 25392 - 10185 = 0. Is q at most as big as -603?
True
Let x = -600.21 + -385.75. Let d = -967 - x. Let n = -0.04 - d. Are n and 0 unequal?
True
Let b = -48 - -232. Does b = 1/6?
False
Let o = 5904 - 5787. Which is smaller: o or 125?
o
Let p be ((-10)/360)/((-8)/36). Which is smaller: p or 485?
p
Let a be 1/(0 - (-1)/2). Suppose 5*i - 4*s = 530 - 570, 2*i - 3*s + 37 = 0. Is i smaller than a?
False
Let p = -10.02 - -3.75. Let t = p + 6.3. Let y = t + -0.05. Do y and -1 have different values?
True
Suppose 4*n + 3*h = -1, 4*n - 9*h + 4*h = -9. Let l be ((-1)/2)/(77/22). Which is smaller: n or l?
n
Let m be (-16)/(-2) - ((37 - 13) + -16). Is 3/377 > m?
True
Let z be (4/(-3))/(3/(-9)). Suppose 2*q - 17 + 71 = 3*h, 18 = h - z*q. Suppose 4*x - 8*j + 34 = -3*j, 0 = -2*x + 2*j - h. Do -12 and x have different values?
True
Let t be 7 - 7/231*655. Which is smaller: t or -14?
-14
Let n be (2 + -2)/(1/(-1) + -1). Is n > -2/31327?
True
Let t = 44/895 - 1104767/22453760. Is t <= 0?
True
Suppose 0 = -3*g - 5*j - 542, -3*g - 3*j = -2*g + 186. Let b be g/(-45) + 10/75. Suppose -2*n + 6 + 11 = 3*s, -2*n + 24 = -b*s. Which is smaller: 68/7 or n?
68/7
Let i = -117 - -1498/13. Suppose 2*q = 0, -5*f + 4*q = 5*q + 5. Which is smaller: i or f?
i
Suppose 3*o + c = 5*o - 1, -2*c = 4*o - 22. Suppose 2113 = o*x + 2*f, 4*x - 1126 - 1683 = -f. Which is smaller: 702 or x?
x
Let c(i) = i - 9. Let z be c(2). Let p be (z - 55/(-10))*4/(-9). Does -1/29 = p?
False
Suppose 20 = a - h + 3, -3*h = -3. Let t(l) = -l**3 + 16*l**2 - 13*l - 10. Let i be t(15). Suppose i*v - a*v + 24 = 0. Is v != 1?
True
Let x(n) = -n**2 - 21