er: r or 130?
r
Let t(d) = -d - 2. Let o = -688 - -687. Let m be t(o). Are m and -9/11 non-equal?
True
Let d(b) = b**3 - 7*b**2 - 7*b + 7. Let h be d(8). Let g = h - 10. Let u be 24/2 - 3 - (g + -2). Are u and 20/3 equal?
False
Suppose 0 = -4*j + 11 - 99. Let k be 6/21 - (4 + (-52)/14). Let a be -10 - 8 - (4 - k). Is a bigger than j?
False
Let w = -0.01282 + 24.92082. Let p = 12636.908 - 12637. Let o = w - p. Is -0.1 >= o?
False
Suppose -8*z + 9*z = -37. Suppose -3*p = 7 + 53. Let f be (24/p)/(3*(-2)/(-180)). Which is smaller: z or f?
z
Let g(j) = j**3 - 15*j**2 + j + 3. Let w be g(15). Suppose -x = 3*z + w, -4*z - 24 = -4. Do x and -27 have different values?
True
Let l be (-4875)/1250 - -1*4 - 3913/5. Is l at least -782?
False
Let t = -12821 + 12808. Is 0.04 greater than or equal to t?
True
Suppose 92 = a + 5*h, -3*h + 192 = 3*a - 60. Let y = 84 - a. Suppose y*j + j - 9 = 0. Which is smaller: j or -3?
-3
Let p = 4.77 - -0.23. Let v = -7 + p. Let z = -2 - v. Which is smaller: 15 or z?
z
Let p = -6625 + 4546. Let i be ((-1)/7 - 6282/p) + -3. Let w = -147 - -148. Is w less than i?
False
Let u(t) = -19*t - 229. Let o be u(-12). Is o >= -3/1048?
False
Let i = 35.07 - 1.77. Let k = -33 + i. Which is smaller: k or 0.04?
0.04
Let f = 160 - 156. Let a be 0/(f + -1 - 4). Which is smaller: a or -2/1007?
-2/1007
Suppose 10 = -2*u + 5*q - 6, 0 = -5*u + 5*q - 10. Let c(t) = -3*t + 6 + 15 - u - 2*t. Let m be c(4). Is -2/15 at most m?
False
Suppose -5*y - 21 + 31 = 0. Suppose b + 16 = y*l, -24 = -3*l + 12*b - 7*b. Is 5 < l?
True
Let w be (26 + 16)*(-1)/2. Let h be (2/w)/((-41)/(-123)). Does h = 178?
False
Suppose 0 = -55*c - 150*c + 352043 + 1463027. Is c > 8854?
False
Let r be (8 - (-180796)/(-22603))/6. Is 0 != r?
True
Let u = -173/2 + 84. Let z = -3.087229 - -0.087229. Is u >= z?
True
Let p(h) = h**3 - h**2 + 2*h - 94. Let j be p(0). Let v(x) = -3*x**2 - 52*x - 304. Let c be v(-11). Which is smaller: j or c?
c
Let o be 8140/(-979) + -4 + 12. Which is smaller: o or 0?
o
Suppose 169 - 106 = 9*f. Suppose -3*d + 3*c = -51, -4*d + 5*c + 59 + 14 = 0. Which is smaller: d or f?
f
Let y = 26311/8977 + -138/47. Let z be ((-7)/(-14))/(1/(-2)). Is z > y?
False
Let b be (30/12)/((-2)/(-88)). Let t be (-1)/(b/(-132)*4/10). Which is bigger: 13/4 or t?
13/4
Suppose -18540 = -f + 19*f. Is -1031 bigger than f?
False
Let q be (-8)/(-52) + 179/(-910). Suppose -51*s - 5*h + 28 = -48*s, 2*s = -h + 7. Is s greater than or equal to q?
True
Let z = -4.7 - -4.9. Let f be (-949)/143 + (5 - -2). Which is smaller: z or f?
z
Let c = -15.7 + 15.868. Let m = c - 0.168. Suppose -5*y - 14 = -2*s - 0*s, -s = 4*y - 33. Do s and m have the same value?
False
Let u be (5 - 3 - 2) + -3. Let i be (759/(-44))/(5/(-12)). Let a = 199/5 - i. Which is bigger: u or a?
a
Suppose v = 0, -289 = -4*p + 3*v + 556 + 359. Is 1 equal to p?
False
Let w(q) = q**3 - 18*q**2 - 42*q - 17. Let m be w(19). Let a be (-68)/(-306) - (m/(-180) - 2). Is a at most 1?
True
Let v = -19 - 9. Let d be ((-31092)/(-244))/(4/v). Let r = d - -892. Is r less than -1?
False
Suppose 4*k = 28 - 24. Let p(z) = 7*z**2 - z + 2. Let f be p(k). Let s = f + -2. Is s at most as big as 6?
True
Suppose 45*u - 542 = -76*u - 2599. Are u and -146 unequal?
True
Let d(j) = -6*j**2 + j + 4. Let b(m) = m**2 + m + 1. Let s(h) = -3*b(h) + d(h). Let o be s(1). Let w = 1383 - 1389. Is o <= w?
True
Let a = -0.004 - 0.996. Suppose -4*m + m + 6 = 0. Suppose 57 + 85 = 5*y - m*g, -4*g - 32 = -y. Which is smaller: a or y?
a
Let n be (-12)/(-6)*7/14. Which is smaller: n or -7/32?
-7/32
Let v be (-5994)/189*385/(-15). Which is smaller: 804 or v?
804
Suppose 22*h - 6 = 20*h. Let k be 3*6/54 + h/6. Is k bigger than 16?
False
Suppose -1 = -l + 5. Let p(n) = -l*n - n - 3*n + 9*n + 10. Let c be p(10). Which is greater: c or 1?
1
Let u = 126.12 - 15.12. Which is bigger: u or 8?
u
Let r(s) = -5*s**2 + 3*s - 2. Let k be r(5). Let q = -273 - -415. Let b = q + k. Is 29 <= b?
True
Let n be 6 + (4 - 6)*4. Let p be n/7 - (-35)/(-49). Which is smaller: p or -6?
-6
Let u = -63 - -61. Let a = u + 31. Let g = a - 17. Is g > 1?
True
Let g = -46442/333 + -2655/37. Let l = -211 - g. Let a = -63 - -133/2. Which is bigger: a or l?
a
Let d(u) be the second derivative of u**4/12 + 8*u**3/3 + 22*u**2 + 199*u. Let y be d(-13). Which is greater: y or 51?
51
Let y be (-8)/40 - (182816/18620)/(-4). Let o = -172203/19 + 9061. Let t = o + y. Which is greater: 1 or t?
1
Let h be 182/(-1456)*2*-8. Suppose -227 = -2*n - 5*f + 153, 2*f = -4. Which is greater: n or h?
n
Let u = -184.04 - -184.19. Which is smaller: -0.796 or u?
-0.796
Suppose 151 = -13*d + 86. Let y = 12 - 16. Which is bigger: y or d?
y
Suppose g + 3*z = 8, 3*g + 19*z - 2 = 21*z. Suppose 367 = 3*w + g*t - 278, -5*w - 4*t + 1077 = 0. Is 212 smaller than w?
True
Let f = 3542.3 - 1707.6. Which is greater: 0.1 or f?
f
Let k = 6639 - 6658.6. Is 16 at least k?
True
Let f(l) = -32*l**3 - 4*l**2 - 13*l + 31. Let y be f(4). Let x = y + 21381/10. Which is bigger: 4 or x?
x
Suppose 0 = -3*a + b - 208, 3*a + 257 = -5*b + 55. Let v be a/(4*(-18)/48). Which is smaller: v or -1?
-1
Suppose 38 = -0*s + 2*s - 2*c, 0 = s - 2*c - 19. Suppose 42 + 34 = -s*f. Which is bigger: -50/17 or f?
-50/17
Let a be 40/32*8/37. Let d = -280 - -280. Is a greater than or equal to d?
True
Let w = 0.1716 + -5.1716. Is 0.0066 > w?
True
Let u(k) = k - 180*k**2 - k + 182*k**2 + k + 0*k - 7. Let n be u(3). Do 9 and n have different values?
True
Suppose -o + 92 = 3*w + 25, 4*o + 2*w = 288. Let h = o + -940/13. Suppose -4*p = -d + 2*d - 7, 0 = -5*p + 3*d - 4. Which is bigger: p or h?
p
Let c(k) = 3*k**2 - 8*k + 16. Let u be c(2). Are 309/28 and u nonequal?
True
Let d(o) = -9*o + 60. Let l be d(-14). Suppose 4*i - 2*x + l = 0, -4*i + 30 - 231 = x. Suppose 59 = -n - 0*j + 5*j, 4*n = 3*j - 202. Is n equal to i?
True
Suppose 20*o = 18697 + 9363. Is o greater than 1/5?
True
Let n be 2 + 72 - (4 - 12)/(-2). Suppose x = -l - 61, -n = 2*l - 4*x + 40. Is l at most as big as -58?
True
Suppose 18*t = -16*t - 55*t - 827433. Which is greater: t or -9298?
t
Let w = 1/47339 - 51227/184054032. Which is bigger: w or 0?
0
Let i = -6015.3 + 6015. Do -897/2 and i have different values?
True
Let k = -955 - -35408/37. Which is smaller: 3 or k?
k
Let p be -7 - (-7 + (-638)/(-29)). Suppose 51 = 4*z - 29. Suppose x = -1 - z. Which is smaller: p or x?
p
Let t = 13522/11781 - -10/3927. Is 1 greater than or equal to t?
False
Let k = 3/3683 + 1793/2320290. Let z = -482348 + 482347. Which is greater: z or k?
k
Let s be 18/15 - 0 - (-1)/(-5). Let u be -1 - (5 - 2) - 11. Let g be 3 + (-3)/u + -3 + 1. Is g < s?
False
Let p = -22 - -24. Suppose p*h + h = -156. Let a = h - -50. Which is smaller: -3 or a?
-3
Let c = 23 - 20. Suppose 30 = 4*q - q + c*x, q - 15 = -2*x. Suppose -2*u - 13 = -w, 0*u = q*w - 4*u - 47. Is w at most -0.3?
False
Let y = 162867/25777 + -882/149. Are 0 and y equal?
False
Let v = 21460 + -21461. Which is smaller: -9/1388 or v?
v
Suppose 4*n + n = -395. Which is smaller: n or -75?
n
Let s be 11/((-10)/(-80)*(-32)/(-12)). Suppose 42*j + s = 45*j. Which is smaller: j or -1.6?
-1.6
Let y(s) = -31*s + 6655. Let u be y(213). Let b be 1*-14*(-28)/8. Is u equal to b?
False
Let p be ((-78)/897*-92)/(2/2). Which is smaller: p or 507?
p
Let p(j) = -21*j**3 - 2*j**2 + 78. Let q be p(0). Let f = 4 + 14. Let k be ((-2)/(-3))/(f/2133). Do k and q have different values?
True
Let z be (2/25)/(80/400). Let w be 3/(36/(-124)) + -2. Which is bigger: z or w?
z
Let q = 5325 - 5324. Is q greater than 111/109?
False
Let q be (3908/1308 - 3) + 0. Let j = 1918/3597 - q. Is 1.8 greater than or equal to j?
True
Let a(y) = 8*y**3 + 2*y**2 - 5*y - 3. Let k be a(-1). Which is smaller: -600 or k?
-600
Let r(o) = -o**2 + 29*o - 116. Let w be r(15). Let d be (-16)/16 - w/(-90). Is 0 not equal to d?
True
Let l = 217 - -1698. Does 1919 = l?
False
Let a = 6 + -23. Let m = -18 - a. Let i = m - -2. Is 1/3 > i?
False
Let x = 5013 + -5015. Which is bigger: x or 0.8?
0.8
Let c = 24907 - 24908. Is c at most 2/7267?
True
Let t be ((-165)/12)/((-75)/30). Which is smaller: t or -3/25?
-3/25
Let g be 2/68*35/(10640/(-192)). Which is smaller: -1 or g?
-1
Let c be 8238/(-4114) - (-1)/(7/14). Which is smaller: c or 1?
c
Let w be 5