/12). Is z != -1/232?
True
Suppose 0*m = -3*m + 30. Let u(f) = f**3 - 10*f**2 - f + 10. Let h be u(m). Let i be 2 + -63*3*(-8)/(-738). Which is bigger: i or h?
h
Let s = -1565871/341 - -4592. Is s > -0.05?
True
Let f be 2/10 - (-1140734)/(-1870). Which is greater: f or -609?
-609
Let n = -2277 + 2222. Suppose 0 = 2*z - 4*m + 106, 4*z - 2*m + 5 + 219 = 0. Which is smaller: n or z?
z
Let b be 1 - 1 - (-26)/(-10920)*4. Which is smaller: b or 1?
b
Let p be 2 - (-240)/(-126) - (-7 + (-466314)/126). Do p and 3708 have the same value?
True
Let m = -15.3 + 78.3. Let l = -429.9 + 430. Is l bigger than m?
False
Let s = 77387/3200 + -604/25. Let x(t) = -t**2 - 4*t + 6. Let z be x(-5). Which is greater: z or s?
z
Let w be 15/(-54)*(1137/225 + -5). Is 1.8 > w?
True
Let u be (-740)/(-62) - ((-1360)/(-62) + -22). Let f(y) be the second derivative of y**3/3 - 23*y**2/2 + y. Let n be f(u). Which is smaller: n or -1/78?
-1/78
Let h = -21/1205360 + -162509469/1205360. Let p = 1071/8 + h. Is p at least 0?
False
Suppose 0 = 8*n - 3*y - 454, -33 = -n + 3*y + 29. Is 227/4 at most as big as n?
False
Let j be 16/(-64) - 5034/(-8). Let q = j - 412. Is q less than or equal to 217?
True
Let l = 259688602 + -425629642943/1639. Let f = 163/11 + l. Let n be (-1 + 2)/(1 - 0). Which is greater: f or n?
n
Let j = -3454 + 3928. Are 476 and j nonequal?
True
Let k = -1.84 - -2. Suppose -167 = -3*x + 109. Let w = 94 - x. Which is greater: k or w?
w
Let c be (-273)/28*(-320)/175. Which is bigger: 19 or c?
19
Let i(m) = -32 + 0*m + 8*m**2 - 7*m**2 + 8*m. Let l be i(-11). Which is bigger: 1/6 or l?
l
Let z = 2107 + -2112.54. Are z and 1/3 nonequal?
True
Let i(r) = r**3 - 2*r**2 - 13*r + 3. Let k be i(5). Suppose -12*t = -k*t + 1. Let q be (0 - (-8)/(-2))*t/2. Which is smaller: -8/5 or q?
q
Let x(i) = i**3 - 7*i**2 + 2*i + 11. Suppose -5*r + 4*r = -6. Let s be x(r). Let m be (1 + s)*(-2)/(-2). Which is bigger: -5 or m?
-5
Suppose -5*d - 9 + 389 = 5*q, 5*q + 76 = d. Which is smaller: 65 or d?
65
Let a = -0.29 + 11.29. Let d = 40 + -54. Let s = d + a. Which is bigger: 7 or s?
7
Let f(h) = -4*h - 141. Let a be (24/4)/(15/(-70)). Let n be f(a). Suppose 0 = -4*q - 62 - 54. Is n less than or equal to q?
True
Suppose 2471 = 12*r - 5148 - 3709. Which is bigger: r or 942?
r
Let c(d) = -d**2 - 3*d. Let i = -17 - -17. Let g be c(i). Is 2/19 != g?
True
Suppose 7*d - 2 = 19. Let s(k) = -3 + 10*k - 21 + k**3 + d - 8*k**2. Let n be s(7). Which is greater: n or -0.9?
n
Let c be (7/(-18))/((-2)/(-6)). Let z be (-6)/(-52)*-2*(-4120)/(-720). Let r = c - z. Is r at most as big as 1?
True
Suppose 3*j - m = -46, j + 10 = -m - 0. Let t = -466 - -469. Let u be (t/j)/(44/77). Does u = 1?
False
Suppose j + 5*t = 2*j - 16, -3*t - 6 = 0. Let f be (-1550)/(-3501) + j + 406/(-63). Is 0 > f?
True
Let k = -166.54 + 167. Let l = k + -0.5. Is -0.22 at least l?
False
Let q be 1*3*200/60. Let n be (-10166)/104 - (-1 + q/8). Are n and -98 non-equal?
False
Let q be (-6)/(-4) - 0/12. Let c = -0.993 + 2.793. Do c and q have the same value?
False
Let z be ((-2 + 1481)/1)/(-24 + (-7831)/(-328)). Which is smaller: -11831 or z?
z
Suppose 2*c = 3*r + 2*r + 84, 3*r = -12. Suppose -2*p + c = 26, 3*o + 5*p = 18. Which is smaller: -38 or o?
-38
Let j = -762.2 - -778.868. Let f = -0.332 - j. Which is bigger: f or 0.12?
0.12
Let t be -12*(0 + 28/(-304)). Suppose 32*p = 69*p. Is p smaller than t?
True
Let n = -1752 + 1432. Is -330 less than or equal to n?
True
Let w(p) = -22*p**2 - 7*p - 1. Let d be w(-4). Which is bigger: -341 or d?
d
Let p be (-2128)/(-240) + 4 + (-8)/40. Is p less than 9/43?
False
Suppose -34*y = -29399 + 2335. Suppose -3*r = -439 + y. Suppose 600 = -6*o + o. Which is smaller: o or r?
o
Suppose 0 = 4*x + 290 - 262. Let v be 30/(-18)*33 + x. Are v and -2 nonequal?
True
Let l be (204 - 204)*1/(-3). Is l <= 5/6199?
True
Let q = 51 - 73. Let t(k) = -5*k - 116. Let m be t(-23). Let z be (8/18)/m*(-99)/66. Which is smaller: z or q?
q
Let l(h) be the first derivative of 8*h**2 + 22*h - 2 - 14*h**2 + 7*h**2 + h**2. Let n be l(-6). Which is smaller: -4/3 or n?
n
Let h be ((-717)/478)/((-1)/(-290)). Which is smaller: -434 or h?
h
Suppose 4*n = 7*n + 3*o + 57, 0 = 2*n + 5*o + 32. Let j = -24 + n. Let v = -26 - j. Are 56/3 and v nonequal?
True
Let p be (27/15 + -2)/(17190/(-2925)). Is p at most -1?
False
Let b = 12907 + -51227/4. Let l = b - 17235/172. Let g be 2/6 + 8/(-6). Is l <= g?
False
Let p = -2026 + 2026.23. Let g = -1.1 - 3.9. Let f = g + 4. Are f and p equal?
False
Let f(u) = -2*u**2 + 46*u - 1117. Let r be f(33). Do r and 0.06 have different values?
True
Suppose 7*b - 954 - 1321 = 0. Let z be (b/91)/((-3)/(-18)*21). Is z < 2?
True
Let w(h) = 2*h**3 + 2*h**2 - 1. Let l be w(-1). Let f(q) = q**2 - 6*q + 10. Let p be f(4). Let x be -2 + (p/(-7) - -1). Which is bigger: l or x?
l
Let v = -7716.6 - -7717. Which is smaller: v or -2/1205?
-2/1205
Let c(o) = o**3 + 9*o**2 - o - 4. Let m be c(-9). Suppose 0 = -5*a + m*z + 225, -z = -5*a - 2*z + 195. Suppose 5*t + a + 0 = 0. Is -8 > t?
False
Let r be -3*4/54 - 6/(-27). Let k = 21.4 + -21.493. Let x = -2.307 + k. Is x at most as big as r?
True
Let y be (3*1/(7 - -2))/((-14)/42). Does y = 12/85?
False
Let d = -7015129/1640 - -34221/8. Which is smaller: -1 or d?
-1
Let y be (-5 + -1)*(-16)/(-64)*-2. Suppose -3*k - g + 223 = -y*g, -3*k = 4*g - 247. Which is smaller: k or 78?
k
Let l(r) = -r**2 + 16*r - 60. Let b(p) = -2*p**3 - 2*p**2 + 13*p + 28. Let g be b(-2). Let o be l(g). Which is bigger: o or -43?
o
Let o be 14/5*((-12)/(-18) + (-3538)/(-48)). Which is smaller: 1/2 or o?
1/2
Let u be (3/8)/((-6)/20). Suppose 4*d - 6 = -9*b + 10*b, 0 = 2*d + 3*b + 4. Suppose 3*g - d = 4*g. Which is smaller: g or u?
u
Let g be 1 + 12/(-18)*(-207)/6. Suppose 12 = -3*h + 3*d, -2*h - d - g = d. Which is smaller: h or -5?
h
Let a be 10/(-6) + 2 + (-268)/768. Let y be 3*(-8)/(-72)*3. Are y and a nonequal?
True
Let v = 4646833/114894 - 1/12766. Are 39 and v unequal?
True
Suppose 126*n - 206*n + 6400 = 0. Which is smaller: 83 or n?
n
Suppose 6*c - 14*c + 24 = 0. Suppose -7*b + 2*t = -4*b - 3, 3*b = 5*t + c. Which is greater: b or -4?
b
Suppose -81*x - x + 328 = 0. Which is smaller: x or -7?
-7
Let f = -493 - -512. Let t = 15 - f. Which is smaller: t or -19?
-19
Let s be (-5)/((-324600)/(-255051)) + (1 - -3). Let m = 2/541 + s. Which is smaller: m or -1?
-1
Let c = -891075/22 - -40504. Suppose -5*j + 6 = 1. Which is smaller: j or c?
c
Let m(w) = -2*w**3 + 21*w**2 + 40*w + 76. Let p be m(12). Which is smaller: p or 96?
96
Suppose -17*h = 447*h. Which is bigger: h or 83/256?
83/256
Let u = 78 + -75. Suppose -j + u*j = -390. Are j and -195 nonequal?
False
Suppose 4*s - 2*o + 16 = 0, 2*s + 2*o - 4*o + 12 = 0. Let v be 1/(-3*s/(-6)). Let q = 0 + 0. Which is smaller: v or q?
v
Suppose 129*n - 402220 = -36*n - 4*n. Is 2388 != n?
True
Let t be (-137)/(-822)*6/2. Which is smaller: -190 or t?
-190
Let o = -8862 + 8862.2. Is o at least as big as -0.0048?
True
Let d be 14/252*-6 - (-88)/(-6). Suppose 8*v + 2*v + 100 = 0. Is v less than or equal to d?
False
Let s = -105 + 117. Let r be (-2)/(-6)*(1 + (-16)/s). Let w(p) = p**3 - 7*p**2 + p - 7. Let g be w(7). Is g less than r?
False
Let p = -8/773 - -24075/10822. Let a = 251/126 - p. Is -39 smaller than a?
True
Let a be ((79 - -1)/(-4))/(-1). Suppose -3*g + 3*x - 4*x + 68 = 0, 0 = -4*x + a. Let y be 10/(-35) - (-13)/g. Which is greater: -0.026 or y?
y
Suppose 0 = -3*s + 3*p + 285, -249 = -3*s - 659*p + 656*p. Do 2 and s have different values?
True
Let i = 543 + -540. Let o(t) = -40*t + 123. Let p be o(i). Is p not equal to 2/5?
True
Let g be (420/165)/(-7) + ((-238488)/(-165231))/4. Which is smaller: g or 1?
g
Let s = -16 + 30. Suppose -s = 3*i + 4*k - 60, -i + 5*k = -28. Which is bigger: i or 17?
i
Let n = -121.494 + 0.894. Let p = n - -122. Which is greater: -1/2 or p?
p
Suppose -12*t = -21*t - 36. Let b be -2 - -1 - ((-2)/t + -6). Which is bigger: 6 or b?
6
Suppose 3*l = c - 4574, 5*l + 7622 = 67*c - 65*c. Which is bigger: -10692/7 or l?
l
Let k = -15343/59 + 260. Let x(h) = -h**3 + 4*h**2 - h - 4. Let i be x(2). Suppose -4*c - 14 = -2*n, 0 = n - 5*n - i*c - 2. Is n less than k?
False
Let c = -2 + 2.06. Let f = -5.088 - -1.088. Is c at most as big as f?
Fals