r than 1?
True
Let q = -1.426 - -1.626. Is q greater than or equal to -0.0176?
True
Let t(p) = 2*p**2 - 23*p + 8. Let k be t(11). Let m be 2/(-11) - 16532/308 - k. Let z = -1969/35 - m. Which is smaller: z or -5?
z
Let q = -40 + 45. Let x(y) = 12*y - q + 13*y + 4 - 26*y. Let v be x(2). Is v less than -17/6?
True
Let k = -2830.9 - -2671. Which is smaller: -2/7 or k?
k
Suppose -10*d - 92 = -14*d. Let x be (-1 - 5)*d/(-989). Is x >= 0?
True
Let x = -586.8 - -528. Let h = 56 + x. Are h and 4 nonequal?
True
Let x = -162 - -146. Suppose 15*m - 8*m = 0. Suppose m = t + 31 - 13. Which is smaller: t or x?
t
Suppose 99*b - 102*b - 63 = 0. Let z be 79/(-168) - -9*(-1)/b. Do z and 1 have the same value?
False
Suppose 11*b = -1 + 12. Suppose 3*x = 2*x + b. Which is smaller: x or -6/13?
-6/13
Suppose 4 = 17*z + 15 - 11. Is z > 1/511?
False
Let n = 1644 + -1643.9. Which is bigger: 1839 or n?
1839
Let h = -107/29 - -1741026/471859. Which is smaller: 0 or h?
0
Let r = -1589 - -4002. Is 2412 smaller than r?
True
Let o = 3444 + -3750.2. Let c = 306 + o. Which is bigger: 47 or c?
47
Let q = 7/37 + -8664/45991. Is q less than 1?
True
Let o = -3 - 0. Let y = o + 6. Let c = 1 - y. Which is bigger: -10 or c?
c
Suppose -2*j + 15 - 11 = 0. Let t be 20/15*3/j. Let s = 142 + -707/5. Is s smaller than t?
True
Let a(k) = -k**3 + k**2 - 1. Let g be a(0). Let y = -7/424 + 2535/102184. Which is greater: y or g?
y
Suppose -66*z = -24*z + 756. Let s be (-126)/(-22) + z/(-6) + -9. Which is smaller: s or -1?
-1
Suppose -13 = -2*c - 3*g, -2*g + 1 = -4*c + g. Let u be (c - 2)*(-4 + 3). Which is greater: -1/48 or u?
u
Let i be 1/1*-6 + 0/(-1). Which is bigger: i or -553?
i
Let i(n) = -6*n - 31. Let t be i(-7). Suppose -l + 2*m = -t, 5*m = -l - 16 - 1. Let y be -10*(15/(-6) + 2). Is y >= l?
True
Let y = -57 - -83. Let u = 32 - y. Let x be (4/u)/(6/(-9)). Is x at least 6/17?
False
Let t = 26 - 22. Suppose -4*l + 2*l + t*j + 10 = 0, -8 = -l + 3*j. Let w be 0/l*(-1 - 5)/6. Is w >= 4/3?
False
Let x be (-6 + 120/18)*(-5 - 1). Let h = 7.968 - -0.032. Let j = 16 - h. Is j greater than x?
True
Let x(y) = y - 3 + 3*y**2 + y**2 + 2*y + 4. Let a be x(-1). Let i = a + -8. Which is smaller: i or -7?
-7
Let a = -1 - -1. Let s be (1890/(-735))/((-4)/(-210)). Are a and s nonequal?
True
Let x = -180.901 + 181. Let y = 0.599 - x. Is y smaller than 14/5?
True
Let j = 492 + -187. Let n = -80 + j. Is n greater than 226?
False
Let l = -8173 - -8173. Which is smaller: l or -6.544?
-6.544
Let a = -434 + 436. Suppose 6*z = a*z. Is 7/16 less than z?
False
Let v(w) = w**3 - 15*w**2 - 76*w + 1. Let t be v(19). Is t less than -1/714?
False
Let s = 53 - 53. Suppose -2*x + 2*x - 5*x = s. Suppose 8*m + 6 + 18 = x. Is m bigger than 2?
False
Let i = 205 + -494. Let f = i - -289.1. Do 8/15 and f have different values?
True
Let k = -6571/2 + 3599. Which is greater: k or 314?
314
Suppose 2*u - 3*y = 2, 13 = 5*u + 4*y - 15. Suppose -x = n - u, 3*x + 0*n = n + 8. Suppose -3*c - 16 = -8*c + 4*h, 12 = c - x*h. Is 2/117 equal to c?
False
Let v = -3 + 2. Let s = 8630.09 - 8630. Which is greater: v or s?
s
Let p = 65899/14 - 4705. Suppose -4*q - 5*s + 63 = 0, -3*q - 5*s + 251 = 190. Which is greater: p or q?
p
Let f be 27993/570*(-135)/6 + 0. Let t = -1105 - f. Let h = -85/38 + t. Is 3 >= h?
True
Suppose -m = -2*q + 12, -q - 23 = 5*m + 15. Let y be m + 7 - (2 - -11). Let c be (-72)/y + 10/(-70). Do c and 3 have the same value?
False
Suppose -4*t - 40 = -3*r, 3*t + 28 = 4*r - 2*r. Suppose r*x + 16 = 16. Let c = 692/5 - 139. Which is bigger: c or x?
x
Let v = 7570 + -4257. Which is greater: v or 0?
v
Let x(h) = h**3 - 4*h**2 - 1. Let l be x(4). Let y be 498/(-8)*-8*l/(-6). Suppose -18 = -2*o + 3*o + 2*k, -3*k - y = 5*o. Is o greater than or equal to -13?
False
Let y be (-34)/(-4)*(32 + -22). Are y and 1120/13 unequal?
True
Let u(l) = l**3 + l + 3. Let j be u(0). Let c(o) be the third derivative of o**5/60 + o**4/24 - 5*o**3/3 - 2*o**2 + 54. Let m be c(3). Which is bigger: j or m?
j
Let g = 0.2 + -0.4. Let k = -0.7 + 327.7. Let i = 304 - k. Is i >= g?
False
Let c = 959.32 - 966. Let f = c - -5.68. Are f and 594 unequal?
True
Let y = 193 - 191. Suppose -109 + 159 = y*l. Which is smaller: l or 21?
21
Suppose -2*r + 3*r = -1. Let k = 2737/3575 + 1/275. Let n = 444/611 - k. Which is smaller: r or n?
r
Suppose 287*a = 289*a - 4828. Is a equal to 4825/2?
False
Let o = -5 - 25. Let f = o - -61/2. Let q = -56 - -167/3. Which is greater: f or q?
f
Suppose 80 = 3*h + 5*h. Let a = h - 113/11. Let v = -1 + 2. Is v less than a?
False
Let i be (-3410)/66*(-108)/20. Which is smaller: 287 or i?
i
Let y = -13407 - -14140. Do y and 726 have the same value?
False
Let w be (67529/(-786830))/(2/(-4)). Let z = 19/115 - w. Let q = -3088/3421 + z. Which is greater: q or -2?
q
Let u be (92/8)/((-1)/(-2)). Suppose 0 = -27*w - 1577 + 7328. Let f = -191 + w. Is u equal to f?
False
Let k(l) = l**3 - 51*l**2 - 1905*l + 219. Let f be k(76). Let n(i) = -7*i**2 - 4*i - 6. Let y be n(-5). Is f less than y?
False
Let b = 15.462 - 0.362. Let w = -15.6 + b. Which is smaller: w or -2?
-2
Let p be 0 + (-222)/1274 + (-80)/(-520). Let o = -24 + 27. Suppose -o*t = t. Is p less than or equal to t?
True
Let s be (-10)/4*(-1)/(70/(-224)). Let a be (40 - 6)*4/s - -5. Let z be 2/4 - (-63)/(-6). Do a and z have the same value?
False
Let b = 1085.37 - 1085. Let i = 456/1115 - 2/223. Which is greater: i or b?
i
Let k(a) = -2*a - 16. Let f be k(-10). Let v be 5 - 17*f/12. Let x = 0.4 - 0.53. Is x bigger than v?
True
Let o = 1997 + -1040. Which is greater: o or 958?
958
Let i(b) be the second derivative of b**3/6 + 65*b**2/2 + 8*b - 6. Let x be i(-26). Is 42 bigger than x?
True
Let a be (72/60)/((-1)/(-5)). Let m be (-7)/(-28) + a/8. Suppose 2*g = -2*w, -5*w + w + 2*g = 24. Which is smaller: m or w?
w
Let k be -3*(-1)/(2/(-10)). Let v be 0/k - -8*2. Suppose -4*g + z - 16 = -2, -2*g - 4*z = v. Is 2 at most g?
False
Let y be (-44 + 1533/(-14))/((-2)/120*-2). Is y less than or equal to -4603?
True
Let d = 73301/439734 + -2/73289. Let p = 40 + -124/3. Is p at least as big as d?
False
Let h = -937 - -1074. Let n(f) = -43*f + 7. Let j be n(-3). Which is greater: j or h?
h
Let p be 4*((-180744)/(-132))/17. Is 323 less than p?
False
Let v be 2/10 - ((581 - 570) + (-74)/5). Are -2674 and v non-equal?
True
Let k = 7.14 - 8.14. Let a be ((-1306)/(-5))/(1 - 0). Let z = -262 + a. Which is greater: z or k?
z
Let n = -4614 - -4617. Let c = 7 + 9. Do n and c have the same value?
False
Let u(o) be the third derivative of -o**6/120 + 7*o**5/60 + 4*o**4/3 - 31*o**3/6 + 145*o**2. Let f be u(9). Is 94 at least f?
False
Let q(r) = 2*r**2 - 3*r + 2. Let l be q(2). Suppose -l*d = 5*y - 362, -4*y + 2*d + 250 = -50. Which is smaller: 77 or y?
y
Let c be ((-4)/(-1))/(90384/168). Suppose 27*p = 30*p. Is p at most c?
True
Suppose 179*b - 3*j = 176*b + 7878, 3*b - 4*j = 7871. Which is smaller: b or 2635?
b
Let q be 29/4*(8 - (4 - 1548/(-369))). Which is smaller: -2 or q?
-2
Suppose 15*a - 354 - 3621 = 0. Suppose 0 = 62*j - 67*j - a. Is -51 < j?
False
Let l be (-406)/(-231)*28686/(-4). Let h = -12593 - l. Is h equal to 10?
False
Let g(o) = 18*o**2 + 32*o + 124. Let c be g(-8). Is 1019 > c?
False
Let t = -1 + 0. Let y = 1021348/11 + -92852. Which is greater: t or y?
t
Let n = -9 + 59. Let g be (3 - n/15)*-3. Which is bigger: 1/227 or g?
g
Let y = 15 + 16. Let b = y - 118.2. Let o = b + 87. Which is greater: o or -24?
o
Suppose -2*w = -11 + 45. Let u(o) be the second derivative of -o**4/3 - o**3 - 32*o. Let f be u(-3). Is f at most as big as w?
True
Let c be (-45)/15 + 14/5 - (-32)/(-40). Is c at least as big as -98/71?
True
Let q(n) = 9*n**3 + 20*n**2 + 19*n - 42. Let u be q(-13). Let p = -18700521/1121 - u. Which is smaller: p or 1?
p
Let m be 4055/(-811) + 14/4*-786. Which is smaller: m or -2755?
m
Let o = 17 - -1. Let m be o/99 - 140/165. Which is bigger: -120/11 or m?
m
Let t = 192.74 + -2.74. Let i = -193 + t. Let m = -1 + -4. Which is smaller: i or m?
m
Let n = -128 + 121.9. Which is bigger: 31 or n?
31
Let v = -931266909467/188131671 - -34/6487299. Let s = -4950 - v. Is s at most 1?
True
Let f be (-1059)/5420 - ((-9)/18)/((-5)/(-2)). Are 0 and f equal?
False
Suppose 2*y = -4, 5*f - 6*f + 3*y = -5. Le