smaller: o or 2398?
o
Let z = 28809 - 28847. Which is bigger: z or 1/122?
1/122
Let u(n) = -n**2 + 11*n + 11. Let w be u(12). Let z be ((-20)/24 - (-14)/(-12)) + 3/6. Which is smaller: z or w?
z
Let z be ((-15)/5 + 3)/(-4). Suppose 40*d - 48*d - 608 = z. Is d not equal to -77?
True
Suppose -5*l = 2*g - 43, -4*l + 3*g = -0*g - 16. Suppose -210 = 2*y - l*y. Let r be ((-98)/(-35))/((-3)/(-45)). Is y > r?
False
Let j(i) = -i**3 - 40*i**2 - 79*i - 41. Let c be j(-38). Is 84 greater than or equal to c?
True
Suppose -5*d - 185 = 5*u, -3*d + 4*u = 31 + 87. Let q = d - -53. Let l = 56 - q. Is 42 equal to l?
False
Let u = -49 - -40. Let n be 183/u + (-4)/6. Let p(l) = 2*l + 46. Let a be p(n). Is a greater than 4?
False
Let d be 5 + 2/(32/(-84)) + 19901/(-28). Does d = -708?
False
Let v(x) = 17*x - 15. Let g be v(1). Let b be ((-92)/23)/(0 + g). Is b != -17/15?
True
Let i = -20535 - -20536. Which is bigger: -796 or i?
i
Let u = 0.42 + -0.93. Suppose -39*g + 993 + 879 = 0. Let a be (g/32)/(1 - 7). Is a < u?
False
Let u be -1 + 1 - (1 - (-2 - -2)). Let w be 55/4*u*(0 + -4). Let f = 499/9 - w. Which is bigger: -3 or f?
f
Let t(u) be the second derivative of u**5/20 + u**4/2 - 9*u**3/2 + u**2/2 + u + 6. Let p be t(-9). Is p > -3/79?
True
Let y = 0.009 + -1.959. Let m = y + 1.5. Let h = 8.6 + -8.6. Is h > m?
True
Let v = 3.721 + -6.521. Let y(s) = -7*s + 38. Let t be y(6). Which is bigger: t or v?
v
Let l = 3088.98 + -3089. Is l smaller than 0.41?
True
Suppose 6*h - 2*a = 8*h + 72, 4*a = -5*h - 176. Let f be (-6032)/h - (-1 + 1/2). Which is smaller: f or 190?
f
Let f = 1816 - 3415. Let c = 671581/420 + f. Which is greater: c or 1?
1
Let a = -49 + -128. Let m = -177 - a. Is m < 215?
True
Let j = 34.1 + -44.5. Let g = j + 42.4. Is -5 != g?
True
Let k(b) = -3*b + 26. Let c be k(8). Suppose -2*w + 13 = -3*n + 3, c*w - 6 = n. Let m be w/18 - 12/108. Which is smaller: m or 3/13?
m
Let g = 1.022 - 0.655. Let p = g - 0.198. Let a = -0.11 + p. Is 2/5 < a?
False
Let m(g) = 3*g - 29. Let c be m(15). Let w(s) = 7*s**2 - 5*s - 10. Let b(p) = 15*p**2 - 10*p - 20. Let q(r) = 6*b(r) - 13*w(r). Let x be q(4). Does c = x?
False
Suppose 33 = 36*l - 261 + 6. Which is bigger: -12 or l?
l
Let s = -1 + 2. Suppose 3*i = -2*k - 62, 2*i + 45 = 2*k - 7*k. Let p be (-2)/i*203/29. Is p at least as big as s?
False
Suppose 0 = 16*y + 68 + 3612. Let q = -60 - y. Is q <= 170?
True
Let c = -1185.3 - -1185. Let u = -3/34 - 97/442. Is c at most as big as u?
False
Let d(l) = -l**3 + 2*l**2 + 13*l - 30. Let a be d(3). Suppose a = 15*j - 29*j + 644. Which is bigger: j or 89/2?
j
Suppose 7*j = 9*j + 296. Let a = 295/2 + j. Does -55 = a?
False
Let d be ((-8)/28)/(60/420). Is 0.0175 > d?
True
Suppose 108 = 4*c + 4*z, -3*z + 204 = 5*c + 75. Suppose 10*a = 6*a + c. Let g = 1172/201 - 11/67. Is a <= g?
False
Let l = 77 - 74. Suppose 4*w - 4*j = w - 27, 7 = -2*w - j. Which is greater: w or l?
l
Suppose 29*a + 5093 + 1867 = 0. Let h = a - -248. Suppose 5*z + 11 + 21 = y, -5*y + 5*z = -60. Is y equal to h?
False
Let d = -32667 + 32666.853. Is -0.023 < d?
False
Suppose 3*k + 341 = -3*v + 362, 2 = -4*v + k. Which is smaller: 8/667 or v?
8/667
Let t(s) = -13*s - 155. Suppose 4*a = -16 - 4, l - a + 8 = 0. Let w be t(l). Which is bigger: w or 7?
w
Let h be 10876/(-17504) + (-25)/(-40). Is 3 >= h?
True
Let v = -9 + 8.18. Let w = v - 18.18. Let k = w + 18. Is k <= 1?
True
Let u be (-1 - (-4 + 1))/((-24)/(-373)). Let d = 94/3 - u. Which is greater: -67 or d?
d
Suppose 5*k = -f - 1522 - 1842, -k = 4*f + 669. Let h = 672 + k. Which is greater: -2/85 or h?
-2/85
Suppose -l - 3*m + 0*m + 6 = 0, -5*l + 4*m - 27 = 0. Let c(t) = t**3 + 2*t**2 - 3*t + 2. Let p be c(l). Suppose -p*k = -4*k + 38. Which is bigger: k or 20?
20
Let v = -28727423/951632 + 2/59477. Which is bigger: v or -29?
-29
Suppose -3*u + 43 = 3*m - 266, 0 = -4*m - u + 409. Let b be (3/6)/((-3)/m). Is b greater than or equal to -19?
True
Let i = 2/9 - 17/36. Let h(b) = -b + 1. Let f be h(6). Let y be f + 0 + (-60)/(-12). Is y at least as big as i?
True
Suppose 29 = 2009*p - 2004*p - 3*t, 3*p + 21 = -3*t. Let x = -43/4452 - 3/212. Which is greater: x or p?
p
Let c = -17 + -111. Let o be ((-605)/15 - (42 - 40))*3. Which is bigger: c or o?
o
Suppose -3*v + 28 = 2*c, -c - 5*v - 14 = -2*c. Suppose 9 = c*k + 23. Are -5 and k equal?
False
Let g = 133/9 - 15. Let q(v) = v**2 + 28*v + 40. Let x be q(-27). Which is bigger: g or x?
x
Let i = 2357 + -2357.1. Which is smaller: i or 3129?
i
Let q(t) = -14*t + 10. Let d be q(3). Let a be 18/(-37503)*108246/d. Let w = -2/1389 - a. Which is smaller: -1 or w?
w
Let c = 5530 - 359448/65. Let g be (0 - 0)/1 + 0. Is c > g?
True
Let z = -0.1 - -0.1. Let d = -327.1 - -510.8. Let f = -186 + d. Is z greater than f?
True
Let s = -67 + 67.046. Let t = -35.046 + s. Let m = t + 34.2. Is m != 1?
True
Let b = 157 + -159.02. Let w = -0.02 - b. Let a = -24642 + 24639. Which is greater: a or w?
w
Let k be ((30/5 - -5) + -3)/(4/(-6)). Do k and 134 have the same value?
False
Let p be (-4)/1 - 36900/(-9198). Let d be (-472)/(-50)*10/3066. Let f = d - p. Is 1 greater than f?
True
Let f be 0/((-720)/(-200) + (-8)/5). Is 2/3749 at least as big as f?
True
Let i = 2588 + -2539. Is -0.3 >= i?
False
Let c = -188 + 189. Suppose f - 3*t = -c + 8, 2*f = -3*t - 4. Is f at most as big as 2/13?
False
Let r(q) = -11*q + 57. Let b(h) = 12*h - 57. Let d(t) = -3*b(t) - 4*r(t). Let g be d(17). Which is smaller: g or 78?
78
Suppose 2*f - 7*f - 610 = 0. Let p = -121 - f. Which is bigger: -1/151 or p?
p
Let l = 1257 - 712. Let t = -550 + l. Let c = 0 + -12. Is c less than or equal to t?
True
Suppose -1811 = 15*t - 761. Let x be (8/(-2) - -1) + (-190)/t. Which is smaller: x or -6?
-6
Let g(c) = c**2 - 18*c. Let h = 15 + 18. Suppose 5*d - 5*y = 72 - 7, d + 3*y - h = 0. Let w be g(d). Is w at least 10/19?
False
Let m(l) = -13*l - 787. Let b be m(-41). Is b < -272?
False
Let n = -833 + 847. Suppose 4*l - l = 2*z + 10, 4*z + 6 = -l. Suppose -a - l*a - f + 43 = 0, f + 21 = a. Which is greater: a or n?
a
Let w = 19.64 + -19.74. Does w = -2469?
False
Suppose -12*f = 9*f + 420. Let i be (-655)/35 - (-4)/(-14). Is f at least i?
False
Let s(r) be the third derivative of -r**6/60 + 41*r**5/60 + 19*r**4/24 + 7*r**3 - 2*r**2 + 20. Let t be s(21). Is t greater than or equal to -1/4?
True
Let g be ((-1370)/20)/((-2)/((-536)/2)). Which is smaller: g or -9178?
g
Let z(f) = -10*f**3 + 4*f**2 - 7*f - 5. Let i be z(-4). Suppose 368 + i = -5*v. Is -218 > v?
True
Suppose 0 = j + 5, h + 2*j = 3*j + 298. Let p = -294 + h. Which is smaller: 3/17 or p?
p
Let p = -10.2 - -10. Let m be ((-4176)/6090)/((6/14)/((-20)/(-14))). Which is smaller: p or m?
m
Suppose 0 = 3*a + 2*r - 1458, 1238 = 4*a - 3*r - 723. Let c = 511 - a. Is c bigger than 25?
False
Let i = -17341 - -86722/5. Which is smaller: i or -1/11?
-1/11
Let z = 78437 - 78436.5. Let v(k) = -k**3 + 3*k**2 + 7*k + 6. Let g be v(6). Is g < z?
True
Let a be (1 - -11)*((-225)/(-252) - 32/28). Let m = 18 - 22. Which is smaller: a or m?
m
Let j(a) = a**2 + 5*a - 2. Let l be j(-5). Suppose -1 = -42*m + 83. Suppose 4*w - 20 + 3 = -3*x, -2*x + m*w = 12. Is l not equal to x?
True
Let k be ((-6)/15)/((-3222)/(-8445)) + 1. Which is bigger: 0 or k?
0
Let c(v) = -v. Let b(s) = -s**2 - 2*s - 4. Let q(p) = -b(p) + 6*c(p). Let y be q(3). Is y greater than 4/105?
True
Suppose -5*s = 3*r - 6018, -2*r = -3*s + 2*r + 3634. Let p be -3 + 4/14 + s/630. Let i = 9 + -5. Is p >= i?
False
Let z = 202 - 113. Let t = 67 - z. Suppose -12 = -6*b - 138. Is b at least as big as t?
True
Let o = 0.1 - 0. Let f = 7.712 + -7.4. Let w = f + -0.345. Which is smaller: w or o?
w
Let x = -953309/6 - -157799. Do x and -1085 have the same value?
False
Suppose -225 = -28*u + 23*u. Suppose 5*n - 25 = 0, 4*o - u = -n + 4*n. Let h(x) = x**2 - x - 5. Let q be h(5). Are o and q non-equal?
False
Suppose -4 = 3*u - 0*n + 2*n, -7 = 2*u - 3*n. Let a be (1 - 2)/(-2*u/(-4)). Let m be 4/6 - a/(-3). Which is smaller: m or 4?
m
Let t = 2182 - 2181. Which is greater: -2/7757 or t?
t
Suppose 3*x - 7*l - 12244 = 0, -5*x + 6079 + 14353 = l. Is x bigger than 4083?
True
Let j = -4/745 - -1958/87165. Let i(c) = 3*c + 17. Let d be i(-4). Suppose d*o + 3*t - 7 = -0, -2*o = 4*t - 14. Are o and j non-e