 is smaller: -2/753 or a?
a
Let q = 3630 - 3630.3. Which is bigger: -2097 or q?
q
Suppose -c = -4 - 3. Let r be 0 + -3 - (3 - c). Let y = 0.139 + -0.249. Which is greater: y or r?
r
Let h = -22.3 - -225.3. Let w = h - 213.9. Is w >= 0?
False
Let n(z) = 33*z + 31. Let v be n(-1). Let h(i) = 94*i**2 - 32*i - 59. Let l be h(v). Is l >= 381?
True
Suppose 4*q - 68 = -3*a + 3*q, 0 = 3*a + 4*q - 56. Let p = 228 + -224. Suppose 5*l - 126 = 4*y, 4*y - p + 20 = 0. Does l = a?
False
Suppose -3 = 7*t + 25. Let l be 5 + t - 2 - (-1)/(-6). Which is bigger: -2 or l?
l
Suppose -34 = 2*u - 3*y, 13*u - 40 = 17*u + y. Suppose 2*r - 36 = 2*q, 2*q - 4*r + 0*r = -42. Which is smaller: q or u?
q
Let w(d) = d**2 - 35*d + 112. Let x be w(32). Suppose -x = 35*i - 51. Is -5/14 at least as big as i?
False
Let l = 13256.6 + -13256. Is 7/4 at least l?
True
Let i be (-12)/(-3) + -2 + -7. Let l(k) = -8*k - 19. Let u be l(i). Suppose -u*p + 19*p + 22 = 0. Is 11 < p?
False
Let z be ((-7)/1)/(5*(-6)/(-1470)). Let y = 48862049/30 - 1628392. Let f = z + y. Which is smaller: 0 or f?
f
Let q = 5911 - 6515. Is -1/4 bigger than q?
True
Let z = 107.795 - 3.795. Are z and 7/8 non-equal?
True
Let j be (-40)/(-16)*(-198)/(-45). Suppose -j*o = -97 + 75. Is 36/37 greater than or equal to o?
False
Let c = -226 - -235. Let r be 4/c*(-1 - (-156)/174). Which is smaller: 1 or r?
r
Suppose 304 = -76*l - 76*l. Let c(b) = 4*b + 11 - b**2 + b + 2*b. Let s be c(8). Which is bigger: s or l?
s
Let q be 1375/35 + -49 - (1 + -11). Let d be (-1 - 0)/(2/(-86)). Is d at least q?
True
Let t be (6/5 - 2/10)/((-26783)/2). Which is smaller: t or 1?
t
Suppose 0 = 13*x + 136 - 123. Is x smaller than -7/684?
True
Let u(i) = 36*i - 5472. Let l be u(-21). Is l >= -6228?
True
Let m = 0.508 + -0.118. Let p = 650 + -660. Is m greater than or equal to p?
True
Let j = 724 - 567. Let k be 0/(6 - 11) + (-1 - -159). Is j > k?
False
Let p = 1291/3 - 430. Suppose 0 = 4*b + 12, 27 = 2*i - 4*b + 13. Is p != i?
True
Let f = 14373/7 - -2015/28. Which is smaller: 2126 or f?
f
Suppose i - 100 = -3*w, 0*w + w = -i + 30. Let l(v) = 37*v**2 + 7*v - 8. Let j be ((-5)/(-15))/(-3 + (-30)/(-9)). Let a be l(j). Is w < a?
True
Suppose -3*y - 690 = 3*y. Let w be y/(-207)*(-3)/(-4). Which is greater: -1 or w?
w
Let x be -4*(11 - 24777/2250). Are x and 0.4 nonequal?
True
Let q be 2*(2 + 2 - 5)*151. Which is smaller: q or 9?
q
Let p(f) = f**3 + 7*f**2 + 7*f + 8. Let x be p(-6). Let y be (-9)/((x - 0)/2). Suppose 3604 = -641*l - 1258 + 375. Which is greater: l or y?
l
Suppose -5*u = -x + 1124, 9*u + 4528 = 4*x + 5*u. Let y be 1/x*(3 + -8 + 1). Is -1 > y?
False
Let o(c) = -c**3 - 4*c**2 - 3*c. Let q be o(-3). Let v = 1.564 - 6.564. Are q and v equal?
False
Let f = 13 + -19. Let b(o) = 3*o + 7. Let w be b(f). Let u(g) = -3*g - 59. Let n be u(-16). Do w and n have the same value?
True
Suppose u = 5*a - 5, u + a - 13 + 6 = 0. Suppose -4*n - 42 = -u*y, 4*n + 13 = 2*y + 1. Suppose 7*v + 9 = y*v. Are -9 and v equal?
False
Let o be 1/((-2)/2)*(-4770 - -94). Are o and 4675 non-equal?
True
Let f = 6009.1 - 5976. Let p = -0.63 + 33.63. Let s = f - p. Which is smaller: s or 76?
s
Suppose -3*w = 5*d - 11, 0 = -7*w + 10*w - 4*d - 2. Let o be 2/(-18)*w*120/4. Let y be (14/(-8))/(2/8). Is y at least as big as o?
False
Let m = 490 - 489. Which is greater: -1/1431 or m?
m
Let v(j) = 2*j**3 - 14*j**2 - j + 15. Let m be v(7). Suppose -m + 18 = 5*o, -2*t = -o - 32. Let k be -24*(2 + 8/(-3)). Which is bigger: k or t?
t
Let c be 12/(-45)*5/(-2). Suppose -8*q + 20*q - 216 = 0. Let m be (-3)/((-7)/(-7)) - q/(-5). Is c < m?
False
Let i be 1/4 - 114/(-24). Suppose 5*z - 3 - 7 = -i*b, -5*z - 26 = -4*b. Let k be (-4)/((-288)/315) - (-2)/((-16)/3). Is b < k?
False
Let p = -13155 + 1473319/112. Is -1 bigger than p?
False
Let f = -115883 - -810741/7. Let m = -40 - 23. Is m bigger than f?
False
Let w = -1.5371 - -1.1371. Which is smaller: -2.119 or w?
-2.119
Let m = -0.95 + 0.3. Let w = -0.05 - -0.4. Let i = w - m. Are -0.026 and i equal?
False
Suppose 23*g + 14 = 30*g. Suppose -3*d + 9 = -r, -g*r + 2*d + 0*d = 2. Let j be (10 - (4 - 3))*(-2)/r. Is j bigger than -28/5?
False
Let b = 22755887/277 + -82151. Are b and -1 non-equal?
True
Let b = -18889 - -18889. Which is bigger: -2/9395 or b?
b
Let z be (-2)/14 + (-2595)/(-9688). Which is bigger: -64 or z?
z
Suppose 310 = 5*s - 5*w, 4*w - 301 = -47*s + 42*s. Let l(n) = 4*n**2 - 6*n - 7. Let x be l(5). Let d = s - x. Is -2/13 >= d?
True
Let a = 27159 + -26400. Which is smaller: a or 757?
757
Let a(u) = -2*u**3 + 25*u**2 + 13*u - 21. Let t be a(14). Let w = 835 + t. Let s be w/20 - 5/(75/6). Which is bigger: 19 or s?
s
Let k = 27 + -28. Let r be 0 + 8/(-5 - k). Is r equal to 6?
False
Let d be 4*(-4)/(-8) - (-1 + -3 + 1074). Which is smaller: -1067 or d?
d
Let v = 7955 + -7957.531. Which is bigger: v or 1/2?
1/2
Let c = 2501/7 + -357. Which is bigger: -883 or c?
c
Suppose -b = 4*b - 15. Suppose -4*l = -185 - 359. Let r = l - 135. Which is greater: r or b?
b
Let z(u) = -6*u + 131. Let c be z(18). Suppose -30*w = -c*w + 1176. Which is greater: w or -0.1?
-0.1
Let j(m) = 16*m - 106. Let b be j(6). Let o(h) = -8*h + 3. Let a be o(3). Is a less than or equal to b?
True
Let z be (3/(-324))/((-105)/(-3675)). Are z and 1 equal?
False
Let t = 8583 + -2819. Is t bigger than 5763?
True
Let o be 40/(-57) - 3/(-9). Let m = -13445/301416 + -373/1322. Let b = m - o. Are b and 1 unequal?
True
Suppose -4803 + 12245 = -61*w. Which is smaller: w or -111?
w
Let v = 1586.77 - -1.23. Which is bigger: -0.1 or v?
v
Let x(l) = -l**3 - 7*l**2 - 1868*l - 15030. Let w be x(-8). Let v be (38/(-4))/(1/2). Which is smaller: v or w?
w
Let z = 15286 - 14100. Is z less than or equal to 1192?
True
Let y be 2442/84 - (-19)/(-266). Is y not equal to -15?
True
Let r = 40412.6783 + -40415. Let s = r - 0.0083. Let v = s - -0.33. Is 2/11 at least as big as v?
True
Let h be (-575)/115 + 39/9 + 4/6. Which is greater: h or -31/65?
h
Let y(b) = -31*b**2 - 4*b - 18. Let l(p) = 93*p**2 + 11*p + 51. Let d(i) = -6*l(i) - 17*y(i). Let u be d(1). Is -28 > u?
True
Suppose -5*p + 23 + 2 = 0. Suppose -p = -3*u - w, -u + 0*u = -4*w - 6. Suppose -u*k + 5*q = -18, 4*k - 5*k - 2*q = 9. Which is smaller: k or 5/18?
k
Let l be (-20)/5*(0 + 9/(-12)). Suppose -l*t = 2*t - 5, -2*t = -4*z + 14. Let j be (1/(-3))/((-11)/165). Is z smaller than j?
True
Let f = 458 - 429.7. Let z = f + -48.3. Are 2 and z non-equal?
True
Let v(f) = f**3 + 13*f**2 + 10*f + 98. Let b be v(-10). Which is smaller: b or 285?
285
Let z be (-7 - -7)/(3/(-3)). Let c be 46/(-15) - (-3 - (0 - z)). Which is bigger: -1 or c?
c
Let o = -2884.9 + 2884. Which is bigger: -122/3 or o?
o
Let t = -348 - -339.4. Let h = -2 + -1. Which is bigger: h or t?
h
Let j be 88/(-770)*(-10)/(-4) + (-2)/(-7). Which is smaller: j or -1/49?
-1/49
Let k = -14/109 - -506/545. Which is smaller: -1.46 or k?
-1.46
Let f be -2*(-6)/(-54) + (-34)/9. Let v be 24/180 + f/3. Which is smaller: v or -1/7?
v
Suppose 12*d + 73457 = 30197. Is -3605 less than or equal to d?
True
Let x be 116/14 + (-14)/49. Suppose -h - 4 = -x. Suppose -14 + h = -5*m. Which is bigger: m or 1/2?
m
Let p = 25879/4199 + -3/323. Let o = p + -161/26. Is 9 at least o?
True
Let y(b) = -b**3 - 6*b**2 - 11*b - 7. Let a be y(-6). Let u = a - -77. Suppose -19*l = -15*l - u. Which is bigger: 33 or l?
l
Let t = 6678 - 6678.03. Is t greater than or equal to 534?
False
Suppose 0 = -4*u - 2*m + 482, 4*u - 348 = -4*m + 128. Let x = 2564/21 - u. Which is greater: x or 1?
1
Suppose 4 = 2*i - 3*c + 13, 5*c - 13 = 4*i. Let v(h) = 3*h - i*h + h - 6*h. Let m be v(-2). Is 14 greater than or equal to m?
True
Let y(w) be the third derivative of w**4/12 - 5*w**3/2 - 193*w**2. Suppose -2*c = -3*k + 2, 6*c = 4*c + 5*k - 10. Let i be y(c). Is -1 >= i?
True
Let z(u) = -u**3 + 4*u**2 + 15*u - 18. Let o be z(6). Let k = -773/32390 - -3/158. Is k equal to o?
False
Let q = -42716090/339 - -126006. Let b = q - -46754/287133. Which is smaller: b or 1?
b
Let g = 329 - 231. Let x(l) = -105 + 203 - g - 22*l**2. Let t be x(-1). Are -21 and t equal?
False
Let z = -154 + 92. Let n = 67 + z. Suppose 12 - 62 = -5*b + n*u, -2*b - u + 8 = 0. Which is smaller: b or 28/5?
28/5
Let d = -24 + 25.54. Let y = -0.14 + d. Let c = 0 