m?
z
Let j be 5530/45*(-6)/(-8)*(-6)/(-294). Are 0 and j non-equal?
True
Suppose -30132*k = -30166*k - 884. Is -654/25 less than k?
True
Let o = 85/6367 - 2138191/161116935. Which is bigger: o or -1?
o
Let i(g) be the first derivative of -9*g - 1/3*g**3 - 43 + 9/2*g**2. Let v be i(8). Which is bigger: 3/13 or v?
3/13
Let x = -3036 + 3038. Is x greater than 2155?
False
Suppose -10 = 11*z - 32. Suppose -z*y = 43 - 45. Is y < 2/503?
False
Let w be (3 - 0)*210/(-90)*17718/(-14). Which is smaller: w or 8858?
8858
Let c = -20349/316592 - -3/6736. Is -2 < c?
True
Suppose 0 = 7*g - 8 + 1. Suppose 0 = 3*u, z + g + 2 = -2*u. Let m be 4/(6/z) + 2. Is -5 at least m?
False
Let g = 69 - 99. Let i = -9 - g. Suppose 0 = -2*h - 11 - i. Which is smaller: -14 or h?
h
Let m be 4036/14 - (2673/3402 - (-1)/(-2)). Does m = 279?
False
Let v = -369 - -1105/3. Let o = 374 - 274. Is v < o?
True
Let v = -4.46 + 341.46. Let p = v - 337.29. Does p = -0.1?
False
Let n be (-19104)/(-4778) - ((-3)/(-4) + (-273)/(-84)). Which is greater: n or 0?
0
Let u(b) = -7*b**2 + 2 + 8*b**2 - 17 - 6*b. Let x be u(-6). Is 56 greater than or equal to x?
False
Let j = -1061 - -35009/33. Let k = 16136 - 16135. Does k = j?
False
Suppose -q - 2 = -o + 2, -5*o + 2*q = -14. Do o and 31/57 have the same value?
False
Let s = -56.1 - 561.9. Let l = 616 + s. Is 29 at least l?
True
Let t be 902/1362 + 14/(-21). Which is smaller: 1 or t?
t
Let o = -581 + 294. Let r = -286.9 - o. Which is greater: 187 or r?
187
Suppose -20 = 4*v - 0*o + 3*o, -5*o - 20 = 0. Let a = 724 - 715. Suppose 0 = -5*s + g - a, 0 = -s + 2*s + 2*g + 4. Is v > s?
False
Let h = -26 - -22. Let l(u) = 2*u + 12. Let i be l(h). Suppose 0 = n + 5*f - 1, -f - i = -4*n - 0. Is -1 >= n?
False
Suppose -3*v + 5*h + 56 = -0*h, 3*h = v - 24. Let z be 76*((-6)/(-28))/(v/14). Is z less than or equal to 11?
False
Let f be ((-41)/1 - 2)/(-1). Let i = 118 + -41. Suppose 0 = -70*n + i*n - 294. Which is bigger: n or f?
f
Let w(d) be the first derivative of -5*d**2 + 2*d + 16. Let h be w(1). Let k be (h/(-10))/(28/(-490)). Which is smaller: -16 or k?
-16
Let x be 10922/6*64/(3328/156). Which is smaller: 5462 or x?
x
Suppose 111*n = 209*n. Is n greater than -5/2199?
True
Suppose -4*r = 2*v + 1722, 0 = 6*v - 3*r + 8*r + 5124. Are v and -848 unequal?
True
Let v(t) = 7255*t**2 + 6*t + 10. Let w be v(-1). Is w equal to 7259?
True
Suppose 0 = b, -3*x = -0*b + 4*b - 1656. Suppose -2247 + x = -15*c. Is 113 less than or equal to c?
True
Let x be (4502/(-88))/(-7*3/126). Let i = 307 - x. Which is smaller: i or 1?
i
Let v = -6719 + 6718.5. Let t = 2.6 + -1.4. Which is greater: t or v?
t
Suppose -19*s - 105 + 48 = 0. Let t be (0 - 0 - -10) + -2. Suppose 0 = -5*p + 4*c - 4, -2*p + t = p - 5*c. Which is smaller: s or p?
p
Let g be (16 + -20)/(18/(-18) + (-130)/(-126)). Is g greater than -131?
True
Let h be (18/(-4))/(((-77)/(-84))/(-11)). Suppose -7*w - h = -2*w - x, 2*w = 2*x - 28. Let c be (-5)/w*-8 + -20. Is c greater than -25?
True
Let l = 17671/1928225 - 1/8725. Let g be (6/(-4) - -3)/((-2)/((-4)/(-6))). Do g and l have different values?
True
Let j be (3630/16720)/((-6)/20). Which is smaller: -1 or j?
-1
Suppose -341 = -3*p + 73. Let h = 141 - p. Suppose 0 = 3*d + 9, 4*y = -d - h*d - 16. Is 1/53 less than y?
False
Suppose -1 = -i - 0*i. Let k be 45/90 + 2/(-12) + 185/(-564). Is i not equal to k?
True
Let y be 9/11 + (-420)/(-132) + -3. Is y greater than -4/2691?
True
Let m = 252 + -244. Let p = 0.46 - 3.46. Which is greater: m or p?
m
Let i = -17337/806 - -4/403. Let s = 4253/198 + i. Which is bigger: s or 0?
0
Let l be 12/24 + 190/4. Let i be 8*(-1)/(-4)*-2 + 0. Let v be 144/(-2)*i/6. Is l != v?
False
Let u be (247/39 + -33)*15/(-2). Which is greater: -68 or u?
u
Let b(d) = -577 - 19*d + 585 + 0*d + 4*d. Let g be b(2). Which is smaller: -21 or g?
g
Suppose 2*m = h + 5*m - 21, -m - 9 = -h. Suppose -2*p - i = -5*p + 10, 4*i = -3*p - 10. Let v be 4*p/h*-3. Which is bigger: v or -7/5?
-7/5
Let o = 36 - 13. Let j = o + -21. Suppose d + 3 = -0*d + 3*u, 0 = -j*u. Which is smaller: -3/2 or d?
d
Suppose -275 - 77 = w + i, -1757 = 5*w + 2*i. Let u be -1 + (-4)/(-3)*w/(-494). Let t = 590 - 589.6. Which is bigger: t or u?
t
Let r = -157843/26 - -122260569/20150. Let k = 76/25 + r. Is 0 >= k?
True
Let y = -78.6 + -17.4. Let z = y - -98. Let h = 413 - 2897/7. Is z less than h?
False
Let q be 11 - ((-5225)/(-57) + 9). Which is bigger: q or -91?
q
Suppose -l - 2*l - 4*o = -45, -3*l + 5*o + 18 = 0. Suppose 0 = -l*g - 90 - 20. Is g != -10?
False
Let v(o) = o**3 - 21*o**2 - 68*o - 95. Let f be v(24). Let l be (11/(-2))/(-3 - -4). Let n = l + 35/6. Is n not equal to f?
True
Suppose 21 + 19 = 5*k. Suppose -5*w + 677 = 4*i, -4*w = -3*i + 781 - 281. Suppose -25*u + i = 43. Which is smaller: k or u?
u
Let j be 3 + 5 + (3 - 4). Suppose -5*l = -2*f - f + 70, 5*l + 10 = 0. Suppose -f = 2*r - j*r. Which is smaller: 6 or r?
r
Suppose 56*r + 103*r = -3058 - 440. Let s be (-4)/(-5)*106/(-4). Which is bigger: s or r?
s
Suppose -5*h - 42 = -19*h. Suppose 0 = 3*n + 3*l - 6, -9 = h*n - 8*n - 4*l. Which is smaller: n or -3/382?
-3/382
Suppose 0 = 2*o - 2 - 0. Let j be (-875)/21 - (-3)/(-9). Let b be (6/21)/(-2 + (-282)/j). Which is smaller: b or o?
b
Let i(r) = 1153*r - 2491. Let b be i(-8). Which is smaller: b or -11713?
b
Suppose h + 0 - 6 = 0. Suppose 0 - h = -3*g. Suppose g*r + 0 = -2. Is r equal to -1?
True
Let r = -256 + 263. Let a = r - 7.2. Is a at least -5.7?
True
Let c be -2 - -2 - (-2)/(-1257). Suppose -28*m - 16*m = 6*m + 30*m. Which is smaller: m or c?
c
Let l(w) = -6*w**3 - w + 1. Let z be l(1). Let v(u) = 6*u + 45. Let d be v(-9). Is z < d?
False
Let a(v) = 30*v**3 + 5*v**2 - 23*v - 72. Let u be a(-3). Which is smaller: -5385/7 or u?
-5385/7
Let u be (-1)/(586/(-6))*(-22 - (-26 - -1)). Which is bigger: u or 1?
1
Let c = 233.009 + -2.909. Let t = c + -240. Is t less than 0.1?
True
Let b(k) = 9 - 9*k + 12 + 30*k. Let y be b(-5). Let s = y + 587/7. Is -1 smaller than s?
True
Suppose 0 = 80*y - 75*y - 3*m - 2822, 0 = 5*y - 2*m - 2823. Which is greater: y or 566?
566
Let f be (-2)/3*48/(-32). Let b = -34 - -37. Let s be 46/24 + (-2)/b. Which is smaller: s or f?
f
Suppose -192 = 119*z - 122*z. Let c be ((-6)/8)/(40/z)*70. Is -2 at least as big as c?
True
Suppose 5*q - 29 = -t, 0 = -t - q - 5 + 22. Let n be (0 + 1)/((-532)/(-88) + -6). Suppose 0 = -3*i + f + 53, -f + 27 = 24*i - n*i. Is t at least as big as i?
False
Suppose s - 423*f + 897 = -428*f, -4275 = 5*s - 5*f. Which is smaller: -11190/13 or s?
s
Let k = -1562 + 2350. Suppose -k*w + 784*w = 0. Which is greater: -8/25 or w?
w
Let c = -1613 + 1624. Let d = 3.1 - 3. Let u = 0 - d. Are c and u non-equal?
True
Let y = -2316 + 2518. Which is bigger: 9 or y?
y
Let f = -252 + 730/3. Let m be ((-2)/4)/(144 - 145). Which is bigger: f or m?
m
Suppose -6562 = -5*f - 2*b, 3*f - 3*b = 818 + 3136. Is 1314 bigger than f?
False
Let x be (-1 + 10/(-6))*300280/(-16). Let w = 3902963/78 - x. Let z = w - -102/13. Which is greater: 0.1 or z?
0.1
Let w = -44.9 - -42. Let p = -2916.9 - -2913. Let x = p - w. Is -33 > x?
False
Let h = -12961 + 2332963/180. Let k = h - -2/45. Which is bigger: k or 0.5?
0.5
Let c(b) = 9*b + 12*b + 6 + 2*b**3 + 29 - 26*b**2. Let d be c(12). Let l = -3457/32 - -108. Which is greater: l or d?
l
Let t = -0.7 + 465.7. Let h = 466 - t. Which is smaller: 0.012 or h?
0.012
Let k(h) be the third derivative of h**5/60 - 7*h**4/24 + 5*h**3/6 + 3*h**2. Let w be k(6). Let j(t) = 292*t - 584. Let z be j(2). Is z smaller than w?
False
Let q = 777 + -756. Which is smaller: q or 27?
q
Let l(i) = i**2 - 26*i - 71. Let u be l(24). Let b(z) = z**2 - 11*z - 117. Let t be b(0). Which is greater: u or t?
t
Let n be (-20 - -15) + 7/1. Suppose 0 = n*z + 5*p - 20, -6*z + 4*p - 20 = -8*z. Suppose z*o - o = 144. Is 16 less than o?
False
Let s be ((-57)/(-152))/((-9)/6) - 399. Is s > -399?
False
Let g = 1004 + -999. Are 165/28 and g nonequal?
True
Suppose -4*j = -j - 2*c - 5, -3*c - 6 = -4*j. Let p be ((-91)/(-12))/(-7)*42/(-14). Let x = -3/4 + p. Which is bigger: x or j?
j
Let w = -8.477 - -5.477. Which is smaller: w or 1/13?
w
Suppose 5*a = -2*i + i + 9, -a + 4*i = 15. Which is bigger: -3/476 or a?
a
Let g = 7/236 + -67/767. Let x(k) = -2*k**3 + 1