t v be (2 - (-1 - -12)) + 0*(-10)/(-30). Are k and v non-equal?
True
Suppose -498 = 3*r + 558. Let k be (-2)/6 - r/(-33). Let u(a) = 4*a + 30. Let y be u(k). Is 0 at most as big as y?
False
Suppose -264*o + 15 = 3*q - 261*o, 2*o + 50 = 4*q. Suppose 3*w - 96 = -w. Is w at least q?
True
Let t = -13249 + 10070. Do -3178 and t have different values?
True
Suppose 170 = -8791*g + 8757*g. Is g != -2536?
True
Let r = -38.7 - 4.3. Let u = -20 - r. Is -1 at most u?
True
Suppose 0 = 13*a + 575 - 1771. Let z be ((-19044)/(-44) - -5)*3/a. Let r = 158/11 - z. Which is smaller: r or -1?
-1
Suppose 0 = -24*q - 2*q + 1222. Let k = 199 + -150. Is k less than or equal to q?
False
Suppose 4*a - 44 = 2*s, -21*a + 5*s - 310 = -39*a. Which is bigger: 351 or a?
351
Let b = -1671 + 21677/13. Which is smaller: b or -0.01?
b
Let w(q) = -2*q**3 - 27*q**2 - 11*q + 21. Let m be w(-13). Let u be m - (-1*1)/(6/24). Which is bigger: 4/113 or u?
4/113
Let a = -2339 - -2312. Let h be (1 + -2)/(9/225). Which is greater: a or h?
h
Let h = -7.0342 + 1.1972. Let c = 5.8 + h. Let j = 0.537 + c. Do j and -1 have the same value?
False
Suppose -25*b + 972 = -29*b. Let y = -358 - b. Let k = 69 + y. Which is greater: k or -47?
k
Let y(d) = -d**3 - 29*d**2 - 2*d - 55. Let x = 103 - 132. Let m be y(x). Let r = 7.7 - 8. Is m smaller than r?
False
Let y be -4*(-2 - (-6)/4). Let d = -123 - -210. Let n = 103 - d. Which is smaller: n or y?
y
Let u = 614 - 584. Let r be (-3)/(-1) + (u - 32). Is r > 19/10?
False
Suppose 5*c + 1 = 4*z, -c + 140*z - 135*z - 17 = 0. Let j(g) = -2*g + 5. Let h be j(4). Let r be (h - -4)/(5/12). Which is greater: c or r?
c
Let z = 34562.014 + -34523. Let i = 39 - z. Let l = -1.014 - i. Are -1/9 and l equal?
False
Let q = -735/4 - -184. Let f be -7 - (-770)/250 - -4. Which is greater: q or f?
q
Let p = -94 + -147. Let d = 93503 + -93745. Which is smaller: d or p?
d
Let x(l) = -l + 43. Let v be 17 + ((-10)/3 - (-8)/24). Let y be x(v). Let u = -0.177 - -0.377. Which is smaller: y or u?
u
Let s be (0*(-9)/135)/(-1). Is -20/571 >= s?
False
Let i be (-2)/(5 + 918/(-192)). Let s be (-6)/16 + 9/72. Is i at most s?
True
Let b be (-3 - 6273)/((-64)/12 + (-9 - -7)). Do 856 and b have different values?
True
Let x(n) = n**3 - 31*n**2 - 28*n + 498. Let j be x(32). Is j at most 617?
False
Let h be (-2)/7 + (18/21)/3. Suppose 2*p - 2 - 4 = h. Suppose p*z + 43 = -11. Is -19 <= z?
True
Let i(f) = -2*f + 14. Let m be i(-6). Suppose -4 = -m*a + 28*a. Let r be -1 + 1 + 160/(-100). Which is greater: a or r?
r
Let q = 40.9 - 46.9. Suppose 3*n + 41 = 38. Is q bigger than n?
False
Let b(d) = -2*d**3 + 80*d**2 + 85*d + 4. Let a be b(41). Is 1 bigger than a?
False
Let p = 36 + -319. Let r = 284 + p. Do r and -17 have different values?
True
Let a be 3*(9/(-10) + 1). Let o be (23 + -19)/((-1)/(-4)) - 4. Let q be 15/((-45)/12) - (-45)/o. Which is smaller: a or q?
q
Let q be (-2)/(-4) - (-17)/(-42). Let j = 116/1377 + 449/11016. Is q bigger than j?
False
Suppose 4*q = -36*q - 280. Let d be q*8/((-360)/63). Which is greater: d or 11?
11
Let q = -2.55 + 0.81. Let k = q - 9.8. Let v = -0.54 - k. Which is bigger: v or 2?
v
Let x = -28 - -62. Suppose -17*y + 13079 = 13011. Is x greater than or equal to y?
True
Suppose -15*c = -18*c - 9. Which is bigger: -25/8 or c?
c
Suppose 0 = -67*g - 586 - 4037. Suppose 0 = -n + 4*n + 222. Let r = g - n. Are 25/7 and r equal?
False
Let a = -1.5 - -0.5. Let x = 350 + -496. Let w = 141 + x. Is w at least as big as a?
False
Let z = -29 - -27.8. Let x = -6851 + 6842. Which is greater: x or z?
z
Let a be 3950/(-6) - (25 + -17). Which is greater: a or -667?
a
Let j(w) = 18*w**3 - 159*w**2 - 13*w - 17. Let b be j(9). Which is smaller: 0 or b?
0
Let m(j) = -2*j**2 - 9*j - 10. Let u be m(-1). Let w be -2 + (u*(-10)/(-75) - -3). Is 64 greater than w?
True
Let l = 2831 + -2830. Are l and 14/83 nonequal?
True
Let k = -45 + 9. Let l = -2405 + 2367. Which is smaller: l or k?
l
Let g = -22669 - -22950. Which is smaller: g or 4790/17?
g
Let m(g) = 2*g**3 - 8*g**2 + 4*g - 3. Let r be m(3). Let a be ((-44)/8 - -4)/(r/(-24)). Let h be a - (-4 + 3) - (-68)/22. Which is greater: h or -1?
h
Let t be 12/56*(-21)/(-666). Let q(d) = 2*d**2 - 4*d - 1. Let l be q(2). Which is smaller: l or t?
l
Let f = 110 - 198. Let b be (22/f)/((-10)/(-16)). Are b and -2/9 unequal?
True
Let u be 192 + 0 - (-95 + 61 - -34). Which is bigger: u or 239?
239
Let x be (2 + 9104/(-4556))*(32/(-8) - -7). Are 0 and x equal?
False
Let i be (-6)/(-5)*5/2. Suppose -i*h - 7 = -223. Let t(q) = -9*q**2 + 676*q - 12445. Let l be t(42). Are h and l equal?
False
Let u = 19338 + -17715.8. Is u equal to -1?
False
Let w = -16834/403 - -538/13. Let z = 70/341 + w. Which is smaller: z or -36?
-36
Let p = -1586 - -1577. Let r = 5 + -17. Let k = r - -2. Which is greater: p or k?
p
Let v = -1119 - -414. Let q = -701.3 - v. Is q bigger than 0.4?
True
Let q be 54/(2 - 3) - -1. Let u be (-2)/(-10) + (-1421)/(-145). Let a be -5 - (-96)/(-20)*u. Is a greater than q?
False
Let n be ((-438)/8)/((-423)/(-1692)). Which is greater: n or -220?
n
Let l(k) = -30*k + 244. Let t be l(8). Suppose -5*d = -7*s + t*s - 62, 4*s = 4. Which is smaller: -0.31 or d?
-0.31
Let x = 8698 + -9038. Is x less than -343?
False
Let y(p) = 10*p + 1. Let r be y(4). Let c be ((-8)/10 + (-121)/55)*114/(-9). Is r >= c?
True
Let s(c) be the third derivative of c**6/120 + 11*c**5/15 + c**4/12 + 95*c**3/6 - 115*c**2. Let t be s(-44). Let n = 3 + 3. Is t at least as big as n?
True
Let v = -328.59 - 8.41. Which is bigger: v or -1?
-1
Let v = -8 + 10. Suppose 3*j = v*j + 3*b + 5, -2*j + 2*b = -10. Let w(z) = 3*z - 1. Let k be w(j). Which is greater: k or -2?
k
Let c be (-186)/(-15) - 2/5. Suppose -52*o + c = -58*o. Is -6 greater than o?
False
Let g = 65381/13 - 5029. Let v = 2 - 6. Let i be (-3 + 1)*(-2)/v. Is i < g?
True
Let s be (4/12)/(2/(-6)). Let v(h) = 3*h**2 + 4. Let n be v(1). Let o be (12/135)/(n/21). Which is smaller: o or s?
s
Let u = 24091461/25003 - 10599/11. Which is smaller: -1 or u?
-1
Let h = -3 - -6. Suppose 4*t + 62 - 190 = 0. Let s be ((-9)/6)/h*t + 0. Are 0 and s equal?
False
Let l = -2595 + -759. Are -3354 and l nonequal?
False
Let u = -115 + 75. Let r = 225275 + -225316. Which is smaller: u or r?
r
Let k = -714133 - -4299301/6. Which is smaller: k or 2416?
2416
Let i = -8.416 - 1.614. Let g = 0.03 + i. Let q be 13/(-20) - (-16)/40. Which is greater: q or g?
q
Suppose 9*i = -2*b + 12*i - 464, 3*i = -4*b - 928. Which is bigger: -233 or b?
b
Let s be (-3)/(-9)*(0/6)/(-5). Let f(l) = -l**3 + l**2 - 2*l - 5. Let a be f(s). Which is bigger: -75/14 or a?
a
Let j = -24194 - -5975916/247. Let l = -0.4 - -0.3. Which is smaller: j or l?
l
Let i = 1.3 + 0.7. Let z = -0.06 - 0.08. Let x = z + -0.16. Is i at most as big as x?
False
Suppose 0 = 5*m + 5*z + 310, -204 - 34 = 4*m + 2*z. Let o be m/(-2983)*(-1)/(-3). Which is greater: o or -1?
o
Let h = 471 - 796. Let q = h - -307. Which is smaller: q or 0.03?
q
Let f = -1067 + 1337. Is 270 at least f?
True
Suppose 45592 = -9*g + 2941. Are -4740 and g equal?
False
Suppose -82 = -69*t - 910. Do t and -141/11 have the same value?
False
Let j = 240 + -860. Let k be 14/119 + j/935. Which is smaller: k or 3?
k
Let b be 0/(36/45*-5). Is b bigger than 5/4782?
False
Let z(l) = -599*l - 1220. Let o be z(-21). Which is smaller: 11358 or o?
11358
Suppose 2*b - 8272 = 8*b + 5*b. Which is smaller: b or -751?
b
Suppose 37 = -2*p + m + 2*m, -4*m - 24 = 4*p. Let f(y) = -2*y**2 - 20*y + 17. Let v be f(p). Which is bigger: 2/3 or v?
2/3
Let z = -954 - -851. Which is smaller: -101 or z?
z
Let p = -5/172 - -773/2924. Let o = 299 - 370. Let m = -71 - o. Is p smaller than m?
False
Suppose -2*g = -k + 3, 2*g = -9*k + 4*k + 15. Suppose 5*l = 2*b + k*l, 5*l = b. Suppose -5*s + 0*s + s = b. Do 2/151 and s have different values?
True
Let p = -1084 - -3133. Let q be p/(-324) + 6 - 2/(-8). Which is bigger: 0 or q?
0
Let q be -14 - (2 + -5) - (24424/(-2064) - (-1)/(-6)). Suppose -4*n + 63 = -65. Suppose 2*h = -4*i - 2*h + n, h = 4*i - 12. Which is smaller: q or i?
q
Let o = -54.06 - -10.06. Let y = -139.5 - -95. Let r = y - o. Which is smaller: -0.07 or r?
r
Suppose -15*i + 3*i + 147 = 147. Which is smaller: 4/437 or i?
i
Let q = 1760.3906 - 0.39