i or u?
i
Let a be (-336)/2520*(1 - -4) - (-3118)/(-6). Is -519 at least a?
True
Let m be (-11)/(50985/(-21))*4/(-14). Which is bigger: -1 or m?
m
Suppose -78*d - 3177 = 72*d + 229773. Is d greater than or equal to -1549?
False
Let c be 17/(-765)*-15*2/2. Is c < -84/31?
False
Let m be 2/(-17) + (-2573)/527 + 22. Suppose -m*k = 1190 + 204. Which is bigger: -83 or k?
k
Let c = 27148 + -25564. Is 1580 < c?
True
Let a = 2319/4 - 588. Suppose 54 = -o + 56. Suppose o*w + 1 = -2*l - 21, -52 = 5*l + 4*w. Is a smaller than l?
True
Let t = -183 + 106. Let y = 113 + t. Suppose 5*c - 555 = -17*a, -2*a = -3*c + 100 - 194. Is y greater than a?
True
Let s = -94 - -137. Let d = 0.318 - 0.618. Is d < s?
True
Let t = -6 + 25. Let v be 2 + 3/(t + -4). Let m = 2 - v. Is m bigger than 0?
False
Let j = -292 + 295.815. Let q = 0.185 + j. Which is smaller: -1/8 or q?
-1/8
Suppose -13*v - 49 = -14*v. Let h be (12/(-30))/(v/5). Which is greater: -2 or h?
h
Let v be 2 + 1 + 5/(-50)*0. Suppose -v*j - 15 = 3*x, -4 + 0 = x. Is -2/337 at most j?
False
Suppose -34 = 23*y - 25*y. Suppose -1258 - 527 = -y*r. Which is greater: r or 104?
r
Let t = -5.097 + 0.487. Let u = 4.39 - t. Which is greater: u or 16?
16
Let a = -15123 + 15123. Are a and -6331 equal?
False
Let u(d) = d - 3. Let z be u(5). Let s be (z - 3) + 3 - -14. Let w = s - 16. Is w equal to -1/12?
False
Suppose 2*d + 40 = -36. Suppose 5*z + 199 = -3*l, -z + 3*l - 21 = 8. Is d < z?
False
Let g = 70.065 - -0.935. Which is smaller: 0.16 or g?
0.16
Let b(d) = -d**3 + 10*d**2 + 7*d + 1. Let a be b(10). Let n = a + -31. Let y = n - 39. Which is greater: 5/19 or y?
y
Let m be (2211/(-20502))/(((-117)/4)/3). Let s be 6/(-21) + (-241)/(-819). Let b = s + m. Is b at most 0?
False
Suppose 0 = -5*g + 5*d - 0 + 30, 4*d = -2*g. Suppose -3*h + 0*h + g*v = -19, 2*h + 5*v = -18. Which is bigger: -1 or h?
h
Let i = -0.00109 + -21.60891. Let o = -3.61 - i. Which is smaller: o or 5?
5
Let d = 11938/9 - 1329. Let z = d - -557/225. Let f = -4 - -5. Is f at most z?
False
Let w(p) = 273*p - 4643. Let q be w(17). Which is smaller: -375/148 or q?
-375/148
Suppose 7*x - 208894 = -62405. Let k = -20487531/979 + x. Is 0 less than or equal to k?
True
Let o = -5276 + 5275. Is 10/53 greater than o?
True
Suppose -146*f - 351935 = -183564 + 321751. Are f and -3358 non-equal?
True
Let l = 7 - 9. Let o = l - 19. Suppose -7*r + 15*r = -160. Which is smaller: o or r?
o
Let z(w) = -32*w + 39. Let h be (-22)/(-99) - (96/27)/(-2). Let n be z(h). Suppose 0 = 4*i + j + 104, 5*j - 2*j - 104 = 4*i. Which is smaller: i or n?
i
Let d = 2.1 - 2. Let r = 109994 - 109958. Is r equal to d?
False
Suppose -121*b = -82*b - 76*b - 315240. Which is smaller: -8522 or b?
-8522
Let q be -69*32/(-1840) + ((-5708)/5)/(-2). Which is bigger: q or 565?
q
Suppose 36*g + 55 = -17. Let f be (g + 30/9)/(24/492). Suppose -y - 56 = -3*y. Is y > f?
True
Let g(m) = m**2 - 24*m - 298. Let x be g(33). Which is greater: x or 4/2083?
4/2083
Suppose 0 = 2*f - 3*r + 482, 2*r = 11*f + r + 2713. Which is smaller: -243 or f?
f
Let b = -7781603/568 + 13700. Which is smaller: 2/5 or b?
b
Suppose -191*y - 6661 - 15653 - 2516 = 0. Which is smaller: -133 or y?
-133
Suppose 0 = 4*l + i - 2480 - 30668, 0 = -l - 3*i + 8298. Which is bigger: 8287 or l?
8287
Let x = 3631.9 - 3632. Do -211 and x have the same value?
False
Let l = -0.022 - -0.797. Let r = 76.975 - l. Let a = r - 74. Which is smaller: a or 1/3?
1/3
Suppose 196 = 4*l - 42*u + 38*u, 5*l - 265 = u. Suppose 68*g = l*g. Let x = 15467/74 - 209. Is g not equal to x?
True
Let n = -25236 - -31534. Which is smaller: n or 6297?
6297
Let c be 6/(-18)*-12 - 128/32. Which is smaller: c or 98/103?
c
Let w = 100 - 98. Suppose q + w*c - 7 = 0, 3*c + 2 = -2*q + 3*q. Suppose -t - 4 = 4*m - 30, 57 = 3*t + q*m. Is 11 smaller than t?
True
Let o = 14 + -12. Suppose 2*m = 2*x, 30 = -4*x - o*m - 0*m. Do x and -4 have the same value?
False
Let o = -78 + 80. Suppose -7 = -4*b + a, -o*b = 17*a - 15*a - 16. Does 1 = b?
False
Let c = 6700 - 6696. Is 217/47 != c?
True
Let b(v) = -8*v**2 + 5. Let t be b(-4). Let s = -110 - t. Are s and 9 non-equal?
True
Let y = -197677/401695 - -253/499. Are 1 and y unequal?
True
Let w = 94 - 94. Suppose w = 59*o - 63*o - 24. Are 10 and o equal?
False
Let r = -99 - -103. Suppose 4*c + 6 = 5*y + 2, -2*y = -r*c - 4. Suppose y = 8*l - 141 - 211. Is 43 greater than or equal to l?
False
Let b(i) = 7*i**2 + 5*i + 3. Let y(k) = 3*k**2 + 2*k + 2. Let w(u) = -2*b(u) + 5*y(u). Let s be w(-3). Let a be 14/28*68/s. Do 3 and a have the same value?
False
Suppose 533 = 5*l - 4*w + 517, -5*l - 5*w = 20. Which is smaller: -51/224 or l?
-51/224
Let g(q) = q**2 + q - 17. Suppose -r + 9 = 5. Let w be g(r). Suppose -2*z - k = w*z + 84, 12 = -z - 5*k. Is -16 less than z?
False
Let l be -1 + -2 + (-6)/84*-38. Which is smaller: l or 83?
l
Let t = 239.53 + -4.53. Let u = -272 + t. Which is smaller: -1 or u?
u
Suppose -6*g = -10*g + 2*g + 5294. Is 2646 at most as big as g?
True
Let x be (-6)/(-30) - (-76)/(-80). Is x less than 23/39?
True
Let w(l) = 9*l + 131. Let a be w(-13). Suppose a*d = 9*d + 2*m + 35, -4*d + 26 = -2*m. Is d bigger than 3?
True
Let f(t) = -t**3 + 10*t**2 + 5*t - 2. Let d be f(10). Let k = d - 48. Suppose -2*u = -3*m + 6*m + 19, -2*u + 5*m - 59 = k. Is u bigger than -18?
True
Let y be (1150/4)/((-3)/(-6)). Let i = y + -49449/86. Let q be (9 + (-105)/12)*0. Which is bigger: q or i?
i
Let s = 73 - 130. Let j(c) = -50*c - 7. Let f be j(1). Are f and s unequal?
False
Let c be -1 + 284156/(-25832) - (75 - 87). Which is smaller: -1 or c?
-1
Let j = 411 + -402. Is j greater than or equal to 0.0051?
True
Suppose 3*l - 89 = o, 2*o - 48 = -2*l - 3*o. Let w = l + -25. Let t(b) = -b**3 + 2*b**2 + 10*b - 9. Let f be t(w). Is -1 not equal to f?
False
Let j(b) = 89*b**2 + 12*b - 11. Let z be j(1). Let d be (8/28)/((-2)/14)*z. Are d and -180 equal?
True
Let z = 363.65 + -366. Let s = z - -5.35. Which is smaller: s or -9?
-9
Let x(a) = -3*a**2 - 7*a + 2. Let p be x(-5). Let u = -43 - p. Suppose -5*d + 0*v = -3*v + 23, 8 = -3*d - 4*v. Do d and u have the same value?
False
Let a = -228/7 + 1147/35. Which is greater: -569 or a?
a
Let b = -0.0082 - -2.0082. Let k = -1.17 - -1.64. Are k and b nonequal?
True
Let g = -83.68 + 3.98. Let o = -79.7044 - g. Does 0 = o?
False
Let t(s) = s - 1. Let y be t(-2). Let m = -16230/13 + 113324/91. Is y != m?
True
Let g(a) = -58*a**2 + 3*a - 2. Let m be g(1). Let d be (5/(-10)*m)/((-3)/(-12)). Let i = d + -88. Which is bigger: i or 76/3?
i
Suppose -n = -3*r - 472, 78*r = 2*n + 75*r - 947. Is 475 at least as big as n?
True
Suppose 0 = -j + 3*g + 11, -4*j + 0*j = -g - 22. Let k be -5 - (j + -23) - 1. Let h be (1 - 0/4)*9. Is k equal to h?
False
Let i = 1392 + -1469. Is i smaller than 3?
True
Let q(b) = -78*b + 12. Let j be q(-1). Let p be (-3)/((j/(-42))/(-5)). Suppose 0 = 4*c - 8 + 44. Are p and c equal?
False
Let y(p) = p**2 - 45. Let n be y(-7). Suppose -32 = -n*r + 44. Let x = 21 - 5. Does r = x?
False
Let w(q) = -q**2 - 5*q - 6. Let n be w(-3). Suppose 2*h = -3*j + 8, 3*j = -4*h - j + 12. Let r be (h/(-9))/(11/(99/(-30))). Which is smaller: r or n?
n
Let u = -1090 - -1091. Which is smaller: -377 or u?
-377
Let u = -25368541/21240 + 9555/8. Is 1 greater than u?
True
Let w = -0.0223 - -0.2043. Let p = w + -0.062. Let s = -1.96 + -0.04. Which is smaller: p or s?
s
Let h be (228/(-304))/(6/(-16)). Which is smaller: 28/23 or h?
28/23
Let b(p) = -24*p - 105. Let m be b(-6). Suppose 5*o = 44 - m. Are o and 2/217 equal?
False
Let v = -417 + 458. Suppose v*m + 2118 = 47*m. Is 352 at least m?
False
Let u(d) = -4*d**2 + 46*d + 5271. Let z be u(-31). Let b be (2/3)/((-4)/(-42)). Suppose -b = n - 3. Which is smaller: z or n?
n
Let i(v) = -3*v**2 + 158*v - 2014. Let a be i(21). Is a at least 264?
False
Let a(w) = 7 - 40*w**3 + 38*w**3 + 5*w**2 - 6*w**2 + 5*w**2 - 6*w. Let q be a(2). Let o be (8 + -4)/(2/1). Which is greater: o or q?
o
Suppose -27*o - 147 + 930 = 0. Suppose 0 = o*s - 45*s + 3008. Is 187 greater than s?
False
Suppose -3*s = 8*w - 5*w + 6, -3*s + 3*w = 12. Let j be (s - (-131)/48) + (-2)/(-8). Which is smaller: -1 or j?
-1
Suppose 0 = -5*u - 11 - 14, -4*u = 3*j + 1175. Let g be 10/4 - 17/((-4114)/j). Is g smaller than 1?
True
