f = c?
False
Let j be (0 + (-130)/5)*(-38)/(-4). Let i = j + 260. Which is greater: 0 or i?
i
Let w = -4957 - -4957. Are 1/6453 and w nonequal?
True
Suppose 10*u = 15*u - 15. Suppose -4*v - 46 = -2*v + 4*m, -4*m = u*v + 59. Which is smaller: v or -11?
v
Let u be 2*((-135)/(-10) + -3). Let r be 4/21*(0 - u/(-30)). Is r less than 0?
False
Let c = 0.0644 + 0.1286. Let a = c - 0.293. Which is smaller: a or -219?
-219
Let w be (-3)/(-6)*4 - -73. Let b(r) = 2*r**2 + 33*r + 110. Let k be b(-18). Suppose 0 = 2*t - 3*p - k, -5*t + 96 = -p - 288. Which is greater: t or w?
t
Let g(l) = -l**2 - 5*l - 6. Let w be g(-4). Let z be 1*w*92/8. Let c(m) = m**3 - 119*m**2 - 1015*m - 148. Let h be c(127). Which is bigger: z or h?
h
Let y be (6 + -44*4/28)*(-112)/69. Which is smaller: -1 or y?
-1
Suppose -11 = 4*o + y, 3*y - 16 + 34 = 3*o. Let n = 28085/119 - 236. Which is smaller: n or o?
o
Let q = -205/2 + 6361/62. Suppose -s = -4*o + 1 - 19, o - 4 = -4*s. Suppose -r - 4*m - s = r, -3*r - 3 = -3*m. Is r not equal to q?
True
Let s = 74.9 - 75. Let x = -3315185/88 + 37673. Let j = x - 5/8. Is j at most as big as s?
True
Suppose 1043 = -2*b - p, 4*b + 5*p = -834 - 1237. Let x = -41400/79 - b. Which is smaller: x or -1?
-1
Let u be -1 - (-49940)/90*-9. Is u not equal to -4995?
False
Suppose -4*y - r + 10196 = 0, -3*y - 4*r - 2245 = -9892. Which is smaller: y or 0?
0
Let o(x) = 1119*x - 4675. Let r be o(6). Is r bigger than 2039?
False
Let b be (16/(-7233))/(-4)*(742/(-68) - -11). Is 0 > b?
False
Let l = 448 + -656. Let h = -9735 - -9734.9. Which is greater: l or h?
h
Let v(g) = 60*g + 8677. Let o be v(-114). Is 1841 >= o?
True
Let q = -5103/8 + 37657/56. Is q less than or equal to 36?
True
Suppose -106 - 146 = 21*y. Let g be 0*(7 + 87/y). Let i be 13/(-186) + (-7)/(-42). Is i at most as big as g?
False
Suppose -74*s + 3618 + 1608 = 4*s. Is s equal to 741/11?
False
Let s = 61 - 63. Let c(i) = -32*i - 20. Let n be c(s). Let g be 66/4*32/12. Is n smaller than g?
False
Let g(c) = 30*c + 34. Let v be g(-17). Let n be (-3)/(-15) + v/180. Which is smaller: -3 or n?
-3
Suppose -3*v + 7*v + 22624 = 0. Let d be (-14)/(-20)*v/98. Which is smaller: -41 or d?
-41
Let s = -519.0674 - -519. Let x = s + -2.9326. Which is smaller: x or 94?
x
Let m be (324/3235248)/(9/48). Which is smaller: 0 or m?
0
Let t = 9/2243 + 10891/80748. Are t and -4 unequal?
True
Let z be ((-2)/(-10))/(3/15). Let n = 27 - 27.27. Let f = n + 0.67. Is z at most as big as f?
False
Let g(w) = -86*w**2 + 34*w - 5. Let t be g(-6). Is -3305 at most t?
True
Suppose -6*l = l - 1918. Suppose l = -11*r - 529. Is -74 greater than or equal to r?
False
Let m = -85535 - -279784988/3271. Which is greater: m or 0?
m
Let m be 2/(-5) - 122/(-155). Let j be (-21 + 7/35*105)/((-2)/(-2)). Is m at least as big as j?
True
Let n be 639/4530*78 - 11. Is 0.1 greater than n?
True
Let f be (-480)/(-64) + ((-90909)/442)/27. Suppose -4*t - 3*n - 11 - 6 = 0, -3*t + 3*n - 18 = 0. Is t bigger than f?
False
Let j be (10/(1/1))/((-40)/(-20)). Suppose -15 = 4*k + h, 0 = 8*k - 6*k + 3*h + j. Is -1 at least as big as k?
True
Suppose 4*y - 379 = -5*b, 0 = -2*b - 7*y + 4*y + 146. Are b and 73 unequal?
True
Let p = 59.43 + -59.5. Which is greater: 0.0202 or p?
0.0202
Let v be (-1 + 2)*22/(-22). Let c be 48 + -44 - (1 + v). Which is bigger: c or 39/11?
c
Let b(j) = j**2 + 6*j - 4. Let p(g) = -10*g + 13. Let i be p(2). Let k be b(i). Suppose 2*h - 39 = 3*n, k*n + 5*h + 26 = n. Is -10 at most n?
False
Let q = -6488 + 6639. Which is smaller: -10 or q?
-10
Let n be 9*4*(-2)/(-4). Suppose 5*l + 2*j = -64, 1247*l - 1245*l - 4*j = 8. Which is smaller: n or l?
l
Suppose -5*v + 2*d = -3*v - 102, 4*v - 202 = 2*d. Let f = -351/7 + v. Let y(i) = -i**3 - 4*i**2 + 1. Let t be y(-4). Is f less than or equal to t?
True
Let m = -13962 + 13961.9. Is m >= -678?
True
Let w(f) = -1534*f**2 - 34*f - 3. Let s be w(-3). Do s and -13708 have the same value?
False
Let w = -8461 - -8410. Which is smaller: -361/7 or w?
-361/7
Let n = -878 - -876.1. Which is bigger: n or -37?
n
Let c be (-16765)/(-1048) - 8 - 8. Which is greater: 1 or c?
1
Let b = -465 + 475. Suppose b*n = -n - 165. Which is greater: n or -10?
-10
Let h = 192 - 316. Let w = h + 92. Suppose r + 42 = 10. Are r and w unequal?
False
Let n be 128/(-12) - 150/45. Which is smaller: n or 145?
n
Let n(h) be the second derivative of h**4/12 + 2*h**3/3 + h**2/2 + 12*h. Let s be n(3). Let i(q) = q + 37. Let o be i(-15). Is s greater than o?
False
Let c be (446/(-10))/(144/120). Let k = c + 6841/186. Let x be 1/(-2)*6 - -4. Is k at most x?
True
Let x be 33582/231 + 9 + -10 - (-22)/(-77). Which is greater: 144 or x?
x
Suppose -496*d + 0 = -428*d - 68. Are d and -11/860 non-equal?
True
Let l = -86 - 19. Let j be (-35)/l + (-1)/(-6). Which is bigger: 64 or j?
64
Suppose 0 = 20*r + 117 - 72 - 65. Let u be 8/(-74)*(-2)/(-8). Is u greater than r?
False
Let x be 14 + -11 - (-17682)/(-5895). Which is bigger: x or 0?
x
Let p = -0.02182 - -3.03362. Let s = p + -0.0118. Which is smaller: s or 0.09?
0.09
Let q be (-1)/7 - (-2)/522*1503/42. Which is bigger: 2/5 or q?
2/5
Let z = -71 + 79. Let x = 45 - z. Is x at most -1?
False
Let q be -4*9/24*(-2)/(-3). Let l be (2 - 0)*(-217)/26. Let k = 17 + l. Is k less than q?
False
Let z(y) = -934*y**2 + 142*y - 282. Let l be z(2). Which is smaller: l or -3735?
-3735
Let b be 7/(343/(-14))*-14. Let a be (22422/4470 + -5)/(b/(-10)). Is a greater than 1?
False
Let u be (4/(-2))/(4/2). Let y be 26752/(-432) - (-2)/(-27). Let p = 73 + y. Is u != p?
True
Suppose 5*z - 152 = 3*h - 45, 2*z - 48 = -4*h. Let x = 420 - 376. Suppose 0 = -x*y + 13*y + 744. Which is smaller: z or y?
z
Let c = 90.9328 + -91.11. Which is smaller: c or -5?
-5
Let v(k) = 4*k - 12. Let q be v(3). Suppose 6 = 3*f, q = -5*c - f - 2*f + 21. Let r be (c/(-498))/((-2)/8). Which is smaller: 1 or r?
r
Suppose -j + 18 = 5*j. Let t be -5*j/((-30)/(-16)). Let l be t/14*(0 + (-2)/4). Which is smaller: -2/9 or l?
-2/9
Suppose -7*g - 15408 = -g. Let b be g/(-3798) - 2/3. Do -1 and b have the same value?
False
Let a(r) = r**2 - 16*r + 2. Let l be a(16). Suppose 5*p + 0*p + 10 = l*q, -2*p - 4 = -q. Suppose 5*f + 3 + 2 = q. Which is bigger: -2/43 or f?
-2/43
Let j be (-2464)/(-55) + -1*3/(-15). Let p be (6/3)/(j - 9). Are p and 1 non-equal?
True
Let x(n) = -4*n**2 - 14*n - 3. Let l be x(-2). Suppose l*f = -0*f. Is f equal to -1/31?
False
Let o = 19 - 19. Let f = -2876 - -3032. Which is smaller: f or o?
o
Let d = 39.691183 + -0.004183. Let c = d + 0.313. Which is bigger: c or 3?
c
Let q = -100 - -97.84. Let b = q - -1.4. Let o = b + 0.8. Which is greater: o or -2?
o
Let q = 137 - 14. Let u = -124 + q. Let g = 0.75 - 0.44. Are u and g nonequal?
True
Let p = 0.81 + -1.47. Let h = p - -0.61. Suppose -3*i = -x + 13, -16 = -4*x + 2*i + 6. Is h at least as big as x?
False
Suppose -28*p - 4*i + 19 = -27*p, 4*p - 2*i - 22 = 0. Let g(d) = -5*d - 35. Let w be g(p). Is -68 != w?
True
Suppose 0 = -2*o + 5*n + 4, 2*o = -16*n + 13*n - 12. Let r be 4/(-16) - o/12. Which is smaller: 2/179 or r?
r
Let o(z) be the third derivative of z**5/60 - z**4/4 + 5*z**3/3 + 3*z**2. Let h be o(9). Which is greater: h or 38?
38
Let z be (58 + -61 - 20111/(-1676)) + -9. Is z > -1?
True
Let b be (-1)/((-53856)/(-6844)) - (-10)/80. Which is smaller: b or -1?
-1
Let a(x) = -2*x**3 + 15*x**2 - 20*x + 15. Let d be a(6). Suppose 3*w - 2*g = -2*w + 48, -5*g - 5 = -w. Let m = 6 - w. Which is bigger: d or m?
d
Suppose 210 - 42 = -7*g. Let j be (-174)/g - 7 - (-230)/8. Suppose 3*n = -z + j, 5*n + 4*z - 3*z - 45 = 0. Is 8 > n?
False
Let v = -0.2219 - -0.4219. Is v less than or equal to -5/7?
False
Let h be ((-3)/(-21))/(582/(-2716)). Let a = 0.104 + -68.104. Which is smaller: h or a?
a
Let b be ((-2)/5)/(2/(-10)). Let x = b - 3. Let v be ((-16)/12)/(340/510). Which is smaller: v or x?
v
Let f(l) = 12*l - 7. Let g be f(-4). Let s be -8 + 4 - (-1 - 73). Let t = s + g. Is 14 not equal to t?
True
Let d = 21113 + -21198. Is -1015/12 != d?
True
Let c be ((-7)/21)/((-1)/9). Suppose -6 = c*p + n, -5*p - 3*n = -0*n + 14. Which is smaller: p or -3/13?
p
Suppose -p - 4 + 5 = 0. Let m = 71/54 - 241/594. Is m greater than p?
False
Let p(q) = -2054*q - 532. Let d be p(-1). Is 1520 smaller than d?
Tru