 430. Let r be (j - (-100)/s)/((-1)/(-4)). Is -0.1 > r?
True
Let u = -785/273 - -292/91. Do 110 and u have different values?
True
Let l(y) = 3*y**2 + 2*y - 10. Let i be l(4). Let d(p) = i*p**2 - p + 50*p**2 - 13*p**2. Let v be d(1). Is v less than or equal to 82?
True
Let m be (-2)/(-7) - (-8)/(-28). Suppose -4*y - 3 - 1 = m. Let r = -50614/11 - -4601. Is y greater than or equal to r?
False
Let d = 1495 - 1494.7. Are d and 25/4 equal?
False
Let s(u) = -103*u - 16. Let r be s(-4). Let k = r - 394. Is k greater than or equal to -1/29?
True
Suppose 78*g - 151*g = -74*g. Which is smaller: 12/997 or g?
g
Let i = 4618967/4998 + -5545/6. Is i >= 0?
False
Let y = -8938.0541 + 8938. Are -5 and y unequal?
True
Let w = 10327 - 9096. Is w less than or equal to 1231?
True
Let p = -6.2932 + -0.8068. Do 0.26 and p have the same value?
False
Let o(p) = 77*p + 1828. Let q be o(-21). Which is smaller: q or 213?
q
Suppose 4*f - 328 = n, 5*f + 16 = -n + 417. Suppose 9*r = 6*r + f. Suppose 31 - r = -p. Which is smaller: p or -20/7?
p
Let u = -10582 + 11503. Which is smaller: 919 or u?
919
Let v = -81 - -122. Suppose -7*d - v = 211. Let z be d/21 + (-9)/7 + 1. Which is smaller: z or -4?
-4
Let i be (2/(-32))/(5/(-270)). Let r = -486 + 489. Do r and i have different values?
True
Suppose -5*y = -b + 10, 2*b - b - 22 = 2*y. Suppose h + 5*l = -59, -3*h + 4*l = 63 + 38. Let z = b + h. Is z at least -9?
True
Let p = 2.36 - 1.25. Let u = 290180 - 290182. Which is bigger: u or p?
p
Suppose 113*y - 6877 = 37*y + 53*y. Is 298 less than or equal to y?
True
Let d = 25675/2 + -13386. Let w = d + 548. Which is smaller: w or -1/67?
w
Let q(b) = -30*b**3 + 5*b**2 + 4*b - 83. Let k be q(3). Is k greater than -820?
False
Let y = -2401 - -2819. Is y at least as big as 419?
False
Let z = 62818323/95200 - -11/13600. Let k = z + -660. Is k at most 20?
True
Suppose -8*d + 6*d = -100. Suppose i - 13 - 17 = -3*g, 5*g - 5*i - d = 0. Suppose 0 = g*z - 3*z + 21. Do 0.2 and z have the same value?
False
Let p = -19686 + 19623. Is -0.16 at least as big as p?
True
Let u be ((-22)/(-4))/((-363)/77 + 5). Is 20 less than or equal to u?
False
Let x be (2 + (-34)/16)*(-488)/183 - 3. Is x bigger than -0.18?
False
Suppose -m + 1303 = -3*c - 6, 1324 = -3*c - 2*m. Let p = -3/342751 - -7354751105/16794799. Let o = p + c. Is 1 not equal to o?
True
Let i = -480.209 + 480. Let s = i - 0.791. Which is bigger: 1/102 or s?
1/102
Let g = -35 - -19. Let d = 13 + g. Let a be 1155/363 - 4/22. Which is bigger: a or d?
a
Let g(b) = b - 39. Let h be g(25). Let r(n) = n**3 + 15*n**2 + 16*n - 2. Let o be r(h). Is -32 at most o?
True
Suppose -p - p = 42. Let m be (24 - -9) + (3 + -2)*0. Let c = p + m. Is c <= 12?
True
Let p(l) = -591*l + 2426. Let i be p(4). Which is smaller: 9 or i?
9
Let u = -1323658/15 - -88175. Let k = u + 69. Suppose -6 = -2*s + 2*y, 3*s - 2*s + 4*y + 17 = 0. Which is greater: k or s?
k
Let f = -0.1 - 9. Let d = f - -8.1. Which is smaller: 10.5 or d?
d
Let k = -4 + 1. Let q be (42 - 21)*(-12)/(-28). Which is bigger: k or q?
q
Let w = -1/23259 + -1069883/721029. Suppose 0 = -3*i, i = -3*g + 11 - 17. Which is greater: g or w?
w
Suppose -h - 96 = -2. Let y = 41 + h. Which is greater: -54 or y?
y
Let o = 80 - 88. Let p be ((-112)/(-12))/(o/(-156)). Is p at least as big as 183?
False
Suppose z - u - 11 = 0, 30 - 9 = z + 4*u. Suppose -8 = -3*o + z. Suppose 18 = 11*j + o. Which is smaller: j or -2/135?
-2/135
Let w = -124832 - -1374826/11. Let g = w - 152. Suppose 5*t + 7 = -k, -2*k = 3*t + 10 - 3. Is t smaller than g?
True
Let g be (-2 - 6) + (-8 - (-1791)/(-9)*-29). Which is bigger: g or 5754?
g
Let v = -99 - -51. Let r(w) be the second derivative of -w**5/20 - w**4/6 + 14*w**3/3 - 13*w**2/2 - 8*w. Let b be r(5). Are b and v equal?
True
Let w = -587 + 586.96. Let r = -86 + 80. Is r less than or equal to w?
True
Let h = -9795428724 + 68793296122949/7023. Let g = h + 2/2341. Which is smaller: 28 or g?
g
Let l(g) = g**3 - 72*g**2 + 104*g - 855. Let r be l(71). Which is smaller: 1484 or r?
1484
Suppose -4*m - 5*f = 14, 3*m + 57*f = 59*f + 1. Which is greater: 1/6677 or m?
1/6677
Let r = -435 - -412. Let y(l) = -l**2 - 20*l + 53. Let k be y(r). Which is bigger: -17 or k?
k
Let x = -94 - -76. Let w = -141/8 - x. Let m = -12 + 11. Which is smaller: m or w?
m
Suppose 6 = h + 1. Let b be 33/(h/((-5)/(-3))). Suppose 2*m + 0*t - 5*t - 8 = 0, 0 = 3*m - t - 25. Is b equal to m?
False
Let o = -375.19 - -7.19. Let d = o + 368.3. Is -3 >= d?
False
Let o be 333/(-45) + 8 + (-266)/10. Let n be (-2)/((((-5)/5)/o)/5). Is n greater than -260?
False
Suppose -2*n = -0*n + 48. Let f be (65/(-52))/((-2)/n). Let y be (12 - 6) + -5 + -14. Which is smaller: f or y?
f
Let x(p) = 36*p + 3. Let d be x(-2). Suppose 0 = -c + 5*h - 79, 3*c = 4*h + 646 - 861. Is d equal to c?
True
Suppose 160 = -8*f - 0*f. Let c(h) = 23*h - 117. Let d be c(6). Let q = f + d. Do 2/201 and q have the same value?
False
Suppose i + 17*j - 14*j = 2, 0 = -i + 3*j - 4. Are -2/321 and i nonequal?
True
Let u(b) = 26*b**2 + 2*b + 1. Let a be u(-1). Suppose -c + 105 - a = 0. Suppose 40 = 8*f - c. Is f smaller than 15?
False
Let c(x) = x**3 - 2*x**2 + 5*x. Let g be c(2). Let p be (g*1/4)/((-7)/(-98)). Which is bigger: p or 38?
38
Let s(l) = -52*l + 259. Let k be s(5). Let g be (k - -135)/(12 + -10). Is g <= 602/9?
False
Let c = 0 + 2. Let b be 4/5*(-45)/18. Let j be ((-15)/10 + 2)/(1/b). Is c at most as big as j?
False
Suppose -4*x + 45 = 5*x. Let b be (-1 - (-77)/x)/2. Is b less than or equal to -2/9?
False
Let q(c) = c**2 - 4*c - 285. Let a be q(35). Suppose 15*u - 47*u = -a. Which is smaller: 14 or u?
14
Let a(k) = k**3 + 5*k**2 - 4*k + 4. Let h be a(-6). Let b = h - -5. Let z = -391/266 - 4/133. Which is greater: b or z?
z
Let s be (-7)/((-273)/(-6)) + 36048132/(-8853). Let o = s + 4072. Which is greater: 0 or o?
0
Let b = 8 - 8.03. Let f = 218 + -129. Let t = -91 + f. Which is bigger: b or t?
b
Let a = 42/353 - 25138/9531. Let q(b) = -b**2 - 362*b - 30999. Let c be q(-223). Which is bigger: a or c?
c
Let x be (1 + 0)*4 - (-111 - -116). Which is bigger: x or 6/5707?
6/5707
Let u be (-20)/(-8) + 0 + -4. Suppose -86*y + 64*y = 66. Do y and u have the same value?
False
Suppose -3*l - 8317 = -1456. Let n = -674663/295 - l. Which is greater: 2/5 or n?
2/5
Let w = 142.9 + 585.1. Let n = 689 - w. Which is bigger: n or 0.1?
0.1
Suppose 888*x = 885*x - 45. Let p(y) = 6*y. Let b be p(6). Let a be x*4/(b/3). Is -2 > a?
True
Let p = 1290.6 + -1423. Let f = p + 132. Which is greater: f or 6/11?
6/11
Suppose -13 = 3*v - 3*z - 7, -5*v = 5*z - 30. Suppose 4*d = -v*h + 266, 0*h - 5*h + 5 = 0. Let g be 1 + -2 + 0 + 67. Is d greater than or equal to g?
True
Let y = -674553526 + 113999092638/169. Let k = y - -2682. Which is smaller: k or -1?
-1
Suppose 0 = 2*d - 5*i - 72, -5*d - 3*i - 2*i = -75. Is d not equal to 447/22?
True
Let b = 431526277/139260 + -1460741/422. Let q = -1451/4 - b. Is 1 smaller than q?
False
Let i = -341 - -452. Suppose 15*z + i = 18*z. Is z smaller than 36?
False
Suppose 232 = 8*v - 14*v - 23*v. Which is greater: -276/35 or v?
-276/35
Suppose 23*m + 116 + 298 = 0. Let u(a) = -a**2 + 8*a + 5. Let o be u(8). Suppose -3*h = 5*k - k + 25, 4*k - 95 = o*h. Which is smaller: m or h?
m
Let k(h) = -h**2 - 16*h + 20. Suppose 5*j + 80 = -0*j. Let s be k(j). Let n be 7/15 + s/(-50). Is n greater than 1?
False
Let s = 6814 + -6813.91. Is s at most -568?
False
Let g be (24 + -1)/((-3)/6). Let l = 48 + g. Suppose 0 = -3*m + m + z - 3, -2*m = l*z - 6. Is m at most -1/11?
False
Let m = 5837 + -25463. Is m bigger than -19627?
True
Let h = 33543 + -33544. Which is bigger: 4/9 or h?
4/9
Let r(q) = 2*q**2 - 142*q + 661. Let o be r(66). Which is smaller: 2/4391 or o?
2/4391
Let w = -11196 - -11198. Let c(l) = -l**2 - l + 5. Let k be c(0). Is k less than w?
False
Let n = 196508/69 - 2848. Which is smaller: n or -0.09?
-0.09
Let w = -0.228 - -0.28. Let a = 80.7 - 81.052. Let i = a + w. Is 0 less than i?
False
Let c = 3282 - 3307. Which is smaller: c or -1/16?
c
Suppose -1 = -9*b + 17. Let u be (-3)/45*-6*10/b. Which is smaller: u or 18/17?
18/17
Let b = -94 + -135. Let y = 227 + b. Are 5 and y equal?
False
Let d = 3 - 2. Let v = -157926 - -157603.972. Let t = v + 322. Is d smalle