. Let u be 2 + (f - -1) + -3 + 5. Let o be (u/2)/(4/8). Is o != 0?
True
Let a = -1028 - -1049. Let z be a/28*352/(-33). Suppose i + 4*i = -35. Is z at most as big as i?
True
Let g(v) = 199*v + 1. Let i be g(0). Which is smaller: i or -44?
-44
Let n be 2/(-3*(-2)/9). Suppose 0 = -5*u + 13*u - 32. Suppose 5*f = -3*d - 3 + 31, -u*d + 32 = 4*f. Which is smaller: n or d?
n
Let w be -11*11/(-242) - 110/(-12). Which is greater: w or -14?
w
Suppose 14*s = 12*s - 20, 0 = -q - s - 5. Let g = 0 - 1. Let p = 4 + g. Is p >= q?
False
Suppose 6*c - 198 = 84. Let t = c - 32. Suppose -2*d + t = -7*d. Is 0 greater than or equal to d?
True
Let r = 18639 + -14423. Which is smaller: 4215 or r?
4215
Suppose 4*j - 23 = -4*d + 17, 0 = j - 4. Suppose d = 4*o + 2*y, -10*y + 8*y = o - 9. Is -2/27 at least o?
True
Suppose -18 = i - 7*i. Suppose -7*a + 2*a + 15 = 0. Let d be (-5)/((-10)/a) + 0. Which is smaller: i or d?
d
Let g = 253.2 + -268.2. Is 2 less than or equal to g?
False
Suppose 160 = 60*i + 220. Let d = 107 + -539/5. Which is smaller: d or i?
i
Let c(z) = -z**2 - 5*z + 5. Let i be c(-6). Let r be (-3)/12 + i/(4/15). Let t be (2 + r/2)/(14 - 13). Which is smaller: 1 or t?
t
Let b = -26683.8 - -26684. Which is bigger: 38/27 or b?
38/27
Let j be 55/(-68) - (-1)/(-4). Let y(l) = 3*l**2 + 3*l - 4. Let c be y(1). Suppose o + c*q = -q + 1, 9 = -5*o - q. Which is smaller: j or o?
o
Let u = 13 + -6. Suppose -2 = f - u, 4*f = -r + 158. Let y be r/(-23) - (1 + 0 + 1). Are y and -8 equal?
True
Let u = -6386 + 6387. Which is bigger: 9/19 or u?
u
Suppose -3*j = 4*r + 132 + 308, -13*r = -j - 204. Which is smaller: j or -118?
j
Let y(q) = 5*q**2 - 49*q + 9. Let r(s) = 2*s**3 + 67*s**2 + 34*s + 41. Let w be r(-33). Let i be y(w). Which is smaller: -190/3 or i?
-190/3
Suppose 4*r - 5*k = 25, -5*r + 0*k + 4*k + 38 = 0. Suppose 3*b = 2*d + 51, -101 = 5*b - r*b - 2*d. Which is greater: 2 or b?
b
Let z = 2104569 + -27290229/13. Let i = z - 5298. Which is bigger: i or 22?
i
Let p(g) = 2*g + 1. Let i be p(-2). Let l(j) = -2*j**2 + 3*j + 2. Let o be l(-1). Let s be ((-33)/(-55))/(o/(-4)). Which is greater: s or i?
s
Let d = -10700 + 11328. Is 0.04 greater than or equal to d?
False
Let y = -46486 + 325434/7. Let s be 12*1*(-2)/(-4). Is s not equal to y?
True
Let v be (-24 - 43)/(2/22). Let m be v/242 + 20/8. Let k = 0 - 1. Are m and k non-equal?
True
Let v = -20437 - -20588. Which is smaller: v or 138?
138
Suppose 2*k - 14 = -4*d, -10*d + 15 = -7*d. Let a be (12 + 158/(-12))/((-8)/k). Which is smaller: a or 1?
a
Let o = -517.4 + 517.6. Which is smaller: 11561 or o?
o
Suppose -5*g + 21199 = -4*q, -392*g + 3*q - 4236 = -393*g. Which is bigger: 4238 or g?
g
Let y = 1003.559 - 343.651. Let b = y - 712.9. Let c = 53 + b. Is 0.1 < c?
False
Let d = -28884 - -28885. Which is bigger: d or 135/266?
d
Let u = -56 - -1434. Let s = 1378.1 - u. Let p be 0 + 2 + 204/(-98). Is p at most s?
True
Suppose 18*u + 16 = 22*u. Suppose -u*b + 2*b + 5*w + 34 = 0, 3*b - 2*w - 40 = 0. Which is bigger: 7 or b?
b
Let u be (((-2348)/(-24))/((-252)/(-54)))/(-1). Which is bigger: u or -21?
u
Let w be (1*-50*-1)/(4/(-8)). Let u be (5 - w/(-3))*-3. Suppose -u = -2*c + 7*c. Which is smaller: -15 or c?
c
Let v(x) = -x**2 - 4*x - 3. Suppose 0 = -3*t + 4*t + 2. Let k be v(t). Suppose w - 40 = 2*r, 3*w - 38*r + 35*r - 102 = 0. Is w less than k?
False
Suppose 26*n = 38*n - 216. Which is smaller: 121/7 or n?
121/7
Let z = -0.2 + 1.2. Let v = -1019.6 - -952.6. Is z at most v?
False
Let l(m) = -m**2. Let j(n) = -19*n**2 + 5*n - 1. Let g(p) = -j(p) + l(p). Let u be g(1). Which is bigger: u or 3?
u
Suppose 5*f = -3*g + 7, 2*g - 8*f + 6*f - 10 = 0. Suppose -g*v + 9 - 29 = 0, m - 2*v = 27. Do m and 17 have different values?
False
Suppose -3*o - 203 = n - 52, -4*o - 5*n = 194. Let x = 5/39 - 1981/39. Let f = o - x. Which is smaller: 5 or f?
f
Let j be 2 + (-36)/16 - (-2)/8. Let t be (-96)/((j + 5)/5). Let y be -1 - t/58*4/6. Which is bigger: y or -0.1?
y
Suppose 32 = -c - 2*t, -11*c = -8*c - 2*t + 64. Which is greater: c or -745/32?
-745/32
Let y(j) = 25*j**2 + 27*j - 86. Let k be (15/40)/((-2)/(-16)). Let z be y(k). Is z at least 219?
True
Let l = -239 - -243. Suppose l*o - 8 = -4*o. Which is smaller: -7.5 or o?
-7.5
Let h = 3.932 + 0.068. Let z = -5.4 + h. Let u = z + 1.34. Is u greater than 3?
False
Let c(t) = -t**3 - 27*t**2 + 34*t + 233. Let g be c(-28). Which is greater: 56 or g?
g
Let u be (-428)/31551*135/(-6). Let n = u + 2/809. Let c = 3 - 4. Which is greater: n or c?
n
Suppose -9 = 2*b + 3*t, -12*t - 11 = 3*b - 8*t. Suppose h - 90 = b*h - 5*i, 3*i + 93 = -3*h. Are h and -2 equal?
False
Let q be 2 - -4197*24/(-198). Let f = q - -506. Which is bigger: f or 0?
0
Let q(z) = -7*z - 216. Let m be q(-18). Is m at least -88?
False
Let s = 80 - 15. Suppose 11*c - s = 133. Suppose -2*p = r - c, -5*r + 2*p = -0*p - 114. Which is smaller: r or 2?
2
Let m = -24347 + 24349. Let a be 19186/(-22) - (-1 + 0). Let d = -870 - a. Is d smaller than m?
True
Suppose -2*f + 6*f + 72 = 0. Let l be 4/f - (-6)/(216/(-289)). Is l at least -7?
False
Let l = 10891 - 21755/2. Do l and 6/11 have different values?
True
Suppose -15*v - 85 = -20*v. Suppose 10*d - v*d + 1190 = 0. Is 170 not equal to d?
False
Suppose -31*m - 5*m = 218*m - 1259078. Which is smaller: m or 4958?
m
Suppose -36 = 34*c + 134. Let o be 4 - (c + (-85)/(-25))*-4. Is o equal to 1/4?
False
Let b be 1/(-5 - -3) + 8/(1376/74). Let x be 4/(-6)*3/(-2). Which is bigger: x or b?
x
Let i be (1*3)/((-231)/(-28402)) + -4. Let y = i - 1611560/4417. Let d = 5665/4417 + y. Is d not equal to 0?
True
Let y = 0.473 + -0.273. Which is smaller: y or 103/4?
y
Let a = 5563 - 511785/92. Let l be 74/138 - (-10)/(-15). Let s = l - a. Is s less than or equal to 3.5?
True
Let v = -5.90061 - 0.19939. Are -0.106 and v non-equal?
True
Let h be -20*2/(-4)*(-6 + (-270)/(-50)). Is 576 >= h?
True
Let u(m) = 22*m + 3. Let f be u(-1). Let d(l) = 4*l**2 - 16 + 15 - 30 - 5*l**2 - 18*l. Let b be d(f). Which is greater: b or -51?
b
Let o(a) = -4*a**2 - 3*a - 4. Let j be o(4). Let m be (72/(-20) + 4)/(2/j). Is m smaller than 11?
True
Let p = -55360/393669 + 60/527. Is -1/3 not equal to p?
True
Let v = -13 + 9. Let y = -4.14 - 14.56. Let q = 18.2 + y. Which is bigger: q or v?
q
Let k = -14301 - -14278. Let a be ((-34)/6)/((-4)/(-12)). Which is bigger: a or k?
a
Let s be (-1 - -7) + (-1)/(3/6). Let v be (-207835)/(-315) - ((-16)/(-7))/s. Let w = v - 660. Do -1 and w have different values?
True
Let z = -9449 + 746493/79. Which is bigger: -1 or z?
z
Let t(p) = p - 3. Let g be t(2). Suppose 0 = -2*f + 3*f + 816. Let y = 103634/127 + f. Which is bigger: g or y?
y
Let u = 0.3 + 0.7. Suppose 13*i - 759 = 3323. Let b = i + -3456/11. Which is smaller: b or u?
b
Suppose 3*v + 10*v - 4 = -43. Let q = 2163773/1150338 - 1/27389. Let f = q + -8/21. Is v less than f?
True
Let i be ((-1204)/(-16))/(1/4). Let h be (-1910)/195*-30 + 7. Let k = h - i. Which is bigger: 3 or k?
3
Let s = 0.3902 + 0.0098. Which is greater: s or -31/39?
s
Let u = -20.6 - -89.6. Let z = 66.023 - 0.023. Let o = u - z. Which is bigger: -1 or o?
o
Let q be -4 + (-264)/(-55)*(-5)/(-3). Is q smaller than 45/13?
False
Suppose g = -7*o + 15, -2*g + 4*o - 3 = 3. Is -2/485 <= g?
True
Suppose -12 + 56 + 81 = -5*k. Is -49/2 smaller than k?
False
Let b(j) be the second derivative of -j**3/3 - 3*j**2 - 15*j. Let x be b(-6). Suppose 9*t - 3*t - x = 0. Is t greater than 1?
False
Suppose 12*f - 3580 = 11*f. Let n be (-4)/10 + f/(-50). Let b(d) = -18*d**2 - d + 2. Let r be b(2). Is r at least n?
True
Suppose -88*l - 37*l = -7*l - 1298. Do -11/40 and l have different values?
True
Let y = 392 + -336. Let p be 10/(-9) - y/(-24). Does p = 0?
False
Let b be 36518/(-165870) - (-6)/27. Is b less than 3?
True
Let u be 239 + (-14 - 98/(-14)). Which is bigger: 221 or u?
u
Let j = -10.4801 + 0.0801. Let u = -0.79 - 5.61. Let b = u - j. Is b >= 11?
False
Let s = 8411 + -8410. Is s less than 6/2395?
False
Suppose -22*m + 4*m - 90*m - 12744 = 0. Are m and -147 equal?
False
Let y(k) = 52*k - 267. Let a(t) = 78*t - 401. Let f(i) = -5*a(i) + 8*y(i). Let s be f(5). Which is greater: s or -1/69?
-1/69
Let y = -10978 - -10977. Which is smaller: y or 80/179?
y
Let c = -203 - -209. Suppose 8 = c*j 