. Is j != q?
True
Let k be 8/(-6)*(-1 + 4). Let d(w) = -3*w**3 - w**2 + 2*w - 1. Let i be d(1). Are k and i non-equal?
True
Let v = 51830/17 + -3049. Suppose 4*k - 4 = -0. Which is bigger: v or k?
k
Suppose -13 = -37*w + 61. Is w > -1/107?
True
Let p(l) = l**3 + 5*l**2 - 5*l. Let h(k) = k**3 + 5*k**2 - 6*k + 1. Let f(r) = -5*h(r) + 6*p(r). Let c be f(-5). Are c and -5 non-equal?
False
Let k = 1071 + -1730. Is -660 greater than k?
False
Let x(t) = t + 4. Let s be x(0). Let u(w) = -6 + 0*w**2 + w - w**2 + 2 - 1147*w**3 + 1148*w**3. Let b be u(2). Which is greater: b or s?
s
Let g = -0.22 - 0.78. Let i = -0.104 - -0.004. Which is smaller: g or i?
g
Let a(g) = -10*g - 15. Let n be a(-2). Suppose 44 = 3*p + 2*m + 6, -n*p - 2*m = -70. Is -2 != p?
True
Let d = -0.029 - 27.971. Let v = d + -1. Let i = -9 - v. Which is smaller: i or -1/2?
-1/2
Let r = 2/1847 + -258606/24011. Is r at least as big as -12?
True
Let o be -230*((-10)/55 + 7/(-22)). Let h be 207/o - (-1 + (1 - -1)). Which is bigger: h or 1?
1
Let y be (-19 - -14) + (-5)/(-1). Which is smaller: -13/17 or y?
-13/17
Let c be (-1)/(2 - ((-6013)/3010 - -4)). Which is smaller: 429 or c?
429
Let b = -1/67 + 743/402. Is 2 smaller than b?
False
Let i(b) = -137*b + 15. Let m be i(-1). Are m and 153 nonequal?
True
Suppose w - 1 = -0. Let f be (16/340)/((-10)/5)*1. Which is smaller: f or w?
f
Let m = -0.283 + 0.483. Do m and 64/7 have the same value?
False
Suppose -38 = 10*t + 28*t. Is t bigger than 55?
False
Let p(q) = q**3 + 7*q**2 + 6*q + 1. Let l be p(-6). Let g be (-1)/(-4) + l + 2. Suppose -33 = -7*k + 39 - 44. Is g greater than k?
False
Let w = -66 - -66. Let u be 33*3*((-4)/(-36) - 0). Which is greater: w or u?
u
Let b be ((-10)/4)/((-27)/1188). Which is greater: b or 109?
b
Let x = -0.22 - -0.2. Let v = 37 + -43. Let u = v - -6.1. Is u >= x?
True
Let z = -0.68 + 0.08. Let g = 4.91 - -0.09. Let m = -5 + g. Is z greater than or equal to m?
False
Let r = 12 - 130. Is r < -116?
True
Let n = 0.6 + -2.6. Let i = n - -4.6. Let d = i + -1.6. Which is smaller: 0 or d?
0
Suppose 3*v - 17 = 4*w - 2, -3*w - 6 = 3*v. Let q = 27 + -23. Let a be 130/(-8) - (-1)/q. Which is smaller: v or a?
a
Let t = 3 - 6. Let w(k) = -k**2 + 13*k + 12. Let r be w(14). Let q be (-4)/(-7)*r/(-8). Which is smaller: q or t?
t
Let x(d) = d**3 - 28*d**2 - 8*d + 9. Let c be x(29). Which is greater: 617 or c?
c
Let u = -5 + -30. Let d = 568 + -603. Let x = d - u. Are 2 and x unequal?
True
Suppose -2*f - 39 - 10 = -5*a, -3*a + 2*f = -27. Let i = 282.7 + -283. Which is bigger: i or a?
a
Let d be ((-16)/8)/(3/72). Is -47 greater than or equal to d?
True
Suppose 0 = 3*c + 5*d + 108 + 105, -3*c + d - 195 = 0. Let v = 39 + c. Is v at most -27?
True
Suppose -1733 + 1031 = -9*m. Is m at least as big as 71?
True
Let n be 2 + (3 - 2) + -1. Suppose -n*i = -5*q + 16, 3*q = -5*i + 3*i + 16. Suppose 4*z - 5 = -y, 1 = 2*z + y - 0. Is z at least i?
True
Suppose -3*r - 4*h = 401, -r + 564 = -5*r + 2*h. Which is smaller: -141 or r?
-141
Let x = 3440053/876 - 3927. Let h = 9199/876 - x. Let i = 2746 + -2734. Which is smaller: h or i?
h
Let y be 6/(-27) + 118/450. Let l be (2/3)/((-2)/(-18)). Suppose -4*i + 6*w = 4*w + l, -4 = 3*i - w. Which is bigger: y or i?
y
Let z be (6/86)/(561/(-34)). Does z = -1?
False
Let a be (1/(-3))/(1 - 10/(-8)). Let f = 170/783 + a. Which is smaller: f or -1?
-1
Suppose 5*f - 583 = -223. Suppose -3*s = s + f. Let r be (-24)/s*(-6)/4. Which is smaller: r or -8/13?
r
Suppose 5*u - 17 = 4*r, -2*u + 0*u - 5*r = 13. Let k be -2 - (-2 + u)*2. Suppose k = -2*o - o - 6. Are -2 and o equal?
True
Let m = -677/1784 + 1/223. Let n = 14 + -14. Which is smaller: m or n?
m
Let q be ((-42)/44)/((-4)/(-1208)). Let a = q - -288. Let p be 4*2*(-1)/(-8). Are a and p nonequal?
True
Let j = -0.08 - -2.08. Let i = -186.08 - -182. Let z = i + 0.08. Are z and j non-equal?
True
Let b = -2253 + 5639. Let q = 179450/53 - b. Is 0 less than q?
False
Let y(f) = -8*f + 14. Let l(o) = -o. Suppose -3 = k + 4*v, -k + 2*v = -3 - 6. Let q(c) = k*l(c) - y(c). Let z be q(7). Are z and 1 equal?
False
Let l(r) = r**3 + 13*r**2 + 40*r - 13. Let s be l(-7). Which is smaller: 13/55 or s?
13/55
Let b = -17 + 19. Let n = 2.15 - b. Suppose 4*z - 1 - 3 = 0. Which is smaller: z or n?
n
Let q = 312721/364 - 9573/28. Let j = q - 517. Let m = j + -71/195. Is -1 < m?
True
Suppose 6*i - 46 = -52. Which is smaller: 66 or i?
i
Let s(z) = -z**3 - 17*z**2 - 21*z + 8. Let q(h) = -h**2 - 1. Let y(k) = 4*q(k) - s(k). Let u be y(-11). Which is smaller: -1/5 or u?
u
Let c = -11 + 5. Let p be c/(-44)*8/12. Which is bigger: p or -1?
p
Let b be (15/6)/((-24)/(-96)). Let q = 21 - 13. Let k be (6/(-195))/(q/b). Is k bigger than -1?
True
Let j(x) = x - 16. Let y be j(0). Let m(r) = 4*r - 41. Let d be m(6). Is d at least y?
False
Let z(o) = o**2 + 3*o - 34. Let w be z(0). Is w at least -35?
True
Let d be (-1 - 1 - 0)/(6/(-9)). Let g be (-1 + 1)*((-9)/d - -2). Are g and 2/27 equal?
False
Let y(h) = -h**3 - 6*h**2 + 6*h + 34. Let o be y(-6). Let b be (-376)/189 + (0 - o). Which is smaller: -1 or b?
-1
Let q be -1 + -72 + -2*9/(-6). Let j be (-72)/q*(38/(-6) + 3). Which is smaller: j or -2?
j
Let p(i) = 2*i**3 - 6*i**2 + 4*i - 2. Let u be p(2). Let s = 357/4 + -90. Which is smaller: s or u?
u
Let h(n) = n**3 - 4*n**2 + 4*n - 2. Let f be h(3). Let j be f - -7*4/(-4). Let a be 2/j - 13/(-21). Which is bigger: -1 or a?
a
Let y = 0.254 - 12.354. Let i = -11.1 - y. Which is smaller: 4 or i?
i
Suppose 0*y + 21 = -y. Let h be 16/y + (-1)/(-3). Which is bigger: h or 0?
0
Suppose 2*i - 9 + 65 = 0. Let q be 61/7 + (-8)/i. Let j be 3/((-1)/((-6)/q)). Which is smaller: j or 3/4?
3/4
Let j be (-6)/(6/4 + -3). Let w = -4 + 6. Suppose 5*o + w - j = -3*q, -q + 1 = 2*o. Is -1/4 <= o?
True
Suppose 0 = 2*s - 2, -183 = 3*k - 15*s + 12*s. Are -65 and k nonequal?
True
Let v be 9 + (-2959)/143 + 13. Which is bigger: 1 or v?
v
Let y(v) be the first derivative of -v**4/4 - 3*v**3 + 11*v**2/2 + 10*v - 2. Let a be y(-10). Is a smaller than -2/17?
False
Let f = 1 - 8. Let u(b) = -b**2 - 10*b - 17. Let k be u(f). Suppose -4*t - 60 = 5*m, -t - 4*m + 76 = -k*t. Is t > -20?
False
Suppose 0 = 49*l + 101 + 1418. Is l not equal to -32?
True
Suppose 5*p - p = 5*c + 22, -p + 13 = -5*c. Let n be (-8 - -5)/(3/c). Suppose 4*k + n = -2*t, 3 = 5*k - 5*t + 28. Which is greater: -3 or k?
k
Let d be (-1)/11*2 + 544/4686. Which is bigger: 1 or d?
1
Let v = -8/198221 - -37466689/72350665. Let d = 81/52 + -5601/3796. Let j = d + v. Which is bigger: 0 or j?
j
Let k = -7 + 4. Let s be (-9)/(-15) + (-856)/1440*4. Are k and s nonequal?
True
Let k = -3 + 3. Suppose 5*z = 4*f - 2*f + 34, z = -2*f + 14. Suppose k = 3*t - 7 - z. Is 2 != t?
True
Suppose 0 = 28*k - 31*k + 72. Suppose -3*j + 69 = -d, -3*j - 4*d + 2*d = -78. Is j at most k?
True
Let a = -8 - -7. Let b be (9/(-5) - -2)*50/(-40). Which is bigger: a or b?
b
Let s(m) = -m**3 + 16*m**2 - 14*m - 14. Let l be -4*(-5)/20*(-15)/(-1). Let c be s(l). Which is smaller: -7/17 or c?
-7/17
Let z be -7 + -1 + 24/(-6). Which is smaller: z or -0.1?
z
Let d = 31 + -26. Suppose i + 13 = -r, -r + 0*i + d*i - 25 = 0. Is -2 less than or equal to r?
False
Let f = 1.5 + -1.6. Let m = f - 0. Let d be ((-6)/55)/(6/20). Which is smaller: m or d?
d
Let w be ((-5)/(-2))/(-5) + (-14)/(-28). Which is smaller: w or -1/176?
-1/176
Let l = -15 - -18. Suppose -l*b - 9 = -3, 5*u - 8 = 4*b. Let x = -1/237 + 541/15879. Do x and u have the same value?
False
Let g(t) = t**3 - 13*t**2 + 16*t - 47. Let q be g(12). Let o(y) = -2*y - 2. Let j be o(2). Which is bigger: q or j?
q
Let n = 6364862/3147 - 193/1049. Let o = n - 2059. Let r = o + 332/9. Are 0 and r equal?
False
Let g be (-13 - -9 - -1) + (-1010)/(-338). Do g and -1 have different values?
True
Let v be (10/(-28))/(99/(-143)). Let t = 1/14 - v. Let h be 6/(-4)*6/9. Are h and t nonequal?
True
Let d = 0.133 - -202.867. Which is smaller: 2/3 or d?
2/3
Let j(v) = v**2 - 5*v - 2. Let g be j(5). Let a be 51/(-34) + (-11)/(-2). Suppose 0*c + c = -a*c. Is g smaller than c?
True
Suppose 1 = n - 6. Let s be n + -5 + (-92)/45. Let m be (-20)/(-16) + 6/(-24). Which is smaller: s or m?
s
Let m(k) = k + 27. Let z be (-1)/(-2)*(6 - 0). Suppose 0 = -3*l - 5*y - 65, 0*y + z = -l + 3*y.