 + 1 - 2*o**2. Let i be t(-1). Which is greater: i or p?
i
Let g be 96/264 - (-3512)/(-10142). Is 0 less than g?
True
Let p = 5 + -13. Let k = -62418 + 561757/9. Which is smaller: p or k?
p
Suppose -8*h - 725 = 1171. Let a = -143 - h. Is a > 95?
False
Suppose -2*x - x - 18 = p, 5*p - 6*x - 36 = 0. Let i = -19 + 29. Are i and p nonequal?
True
Let q = 1/6557 + 98254/662257. Is 1/3 not equal to q?
True
Let n = -0.392 + 0.592. Are n and 200 non-equal?
True
Suppose -5*a - b = -2 - 3, 3 = 3*a + b. Let l be 21*a/(-3)*2. Suppose 0 = -19*k + k - 9*k - 378. Do l and k have different values?
False
Let d = -15 + 35. Let v be (-9)/d - 4/(-10). Let o = 32452 + -32451. Is o greater than or equal to v?
True
Suppose 18*v + 730 = 26*v - 14. Let i(k) = -13*k + 3. Let x be i(-7). Does x = v?
False
Let u = 272 - 578. Let r = u + 305.9. Is -5 smaller than r?
True
Let o(l) = 95*l**3 - l**2 + 11*l - 13. Let d be o(-3). Does d = -2621?
False
Let v = -431/5 + 171/2. Let r be ((98*(-22)/770)/((-14)/20))/(-2). Which is bigger: v or r?
v
Let n(c) = c**2 - 3*c - 6. Let a be n(6). Suppose 1015 = -a*l + 43. Is l bigger than -80?
False
Let j = 0.1612 - 1.1612. Is 5043 > j?
True
Suppose 72 = -2*c + 4*v, 0 = 4*c - 4*v + v + 134. Let g(j) = -j**3 - 33*j**2 - 32*j. Let n be g(c). Is 11/18 != n?
True
Let x = 0.0821 - -0.0179. Which is bigger: -4118 or x?
x
Let d be 2*(-2 - -3) - 10. Let b = -258 - -250. Let h = b - d. Which is bigger: h or -2/43?
h
Let x be -9*5/30*(-8)/(-6). Let h(f) = -5*f**2 - 11*f - 5. Let t(q) = q - 1. Let l(m) = h(m) + 4*t(m). Let j be l(x). Is j at least -79/5?
True
Let g = -1389.51 + 1389.31. Let k = 2.15 - -0.6. Which is bigger: k or g?
k
Let j(b) = b**2 + 91*b - 356. Let v be j(-93). Which is smaller: v or -159?
v
Suppose -5838 = -4*b - 2*v + 15872, -10851 = -2*b + 3*v. Which is greater: 5428 or b?
5428
Let d be (-1)/(66/(-12)) - (-13)/(-11). Let f = 733990 + -21277994/29. Let h = f + -266. Which is greater: h or d?
h
Suppose 6 = -0*b + 6*b. Let l be b/6 - (-53)/6. Suppose -12 = -4*k - 4*v, 1 = -4*k - 2*v + l. Which is smaller: 4/5 or k?
4/5
Let q = 2/1493 + -3112/94059. Suppose -2 - 29 = 31*k. Which is bigger: k or q?
q
Let v = 0.845 - 0.863. Let t = v - -4.018. Which is smaller: t or 2/11?
2/11
Let v(m) = -2*m**3 + 32*m**2 - 28*m + 23. Let k be v(16). Let d = 430 + k. Are d and -7 non-equal?
True
Let x = -2.477 - 69.643. Let w = 72 + x. Let g = -1.3 - -1.2. Which is smaller: g or w?
w
Suppose -x = 1 - 1. Let f be (2/(-4) + x)*12/(-18). Let g = 0.6 - 2.3. Is f <= g?
False
Let d = -0.39 + 0.272. Let r = d - -0.398. Which is smaller: r or 4?
r
Let u(s) = -261 - 8*s + 126 + 108 + 85. Let h be u(13). Is h at least -45?
False
Let g = 3059191/15 + -204073. Which is smaller: g or -127?
-127
Let o = -1605/8 - -181349/904. Suppose 12 - 28 = -4*m. Suppose -2 = 2*l, -5*g + m*l = 5 - 4. Which is smaller: o or g?
g
Let c = 1.0156 - 4.0156. Does -35/13 = c?
False
Suppose -2*v - v + 3 = 0. Let i = 2662 + -268864/101. Which is bigger: v or i?
v
Let y(i) = 3*i - 21. Let j be y(5). Let p be 66/(2/j*2). Let v = p + 692/7. Is -6 smaller than v?
True
Suppose -3*r = 3*x - 10 - 8, 0 = 4*r - 24. Which is bigger: x or -60/253?
x
Let q be (96/128)/(18764/(-96) + -3). Which is smaller: 0 or q?
q
Let x(d) = 283*d**2 + 2827*d - 25. Let n be x(-10). Let i = -15981/782 + 819/34. Is n at least as big as i?
True
Let k = 2/1309 + -150/28237. Which is smaller: k or 1?
k
Suppose 7 - 35 = -3*y + 2*h, 2*y = -2*h + 2. Suppose -y*n - 17 = 11*n. Which is greater: 2/69 or n?
2/69
Let m be (-861)/9 + (-2)/6. Let g = -85 - m. Do 8 and g have different values?
True
Suppose 92 = 16*b - 35 - 1. Is -53 > b?
False
Let h be 1 + -8 + (4 - -1 - 3). Let x be ((20/(-8))/h)/((-1)/(-16)). Suppose -2 + 0 = -s + 5*j, -4*s + x = -4*j. Is 17/5 < s?
False
Let r be (7/((-196)/60))/(14/98). Which is greater: r or 46?
46
Let u = 279 - -67. Let z = -347 + u. Is z != 136?
True
Let n(c) = c**3 - 3*c**2 - c + 8. Let h be n(3). Let l be (h + 2 + -11)/(5*-1). Suppose 2*z - 4 = -3*z - 3*d, 2*z - 6 = d. Is z at most as big as l?
False
Let v(k) = -8*k**2 + 972*k + 3924. Let a be v(-4). Suppose 0 = 5*h + 4*z + 447, -4*h - 383 = -3*z - 13. Is a greater than or equal to h?
False
Let r be 2*(((-6)/(-3) - 4) + 3). Suppose r = v, -5*v - 2 + 8 = 4*h. Is h at least 4/363?
False
Let l(a) = a**3 - 14*a**2 + 19*a + 23. Let g be l(13). Is g not equal to 1305/13?
True
Let w = 2486 + -2474. Is 4/13 < w?
True
Let n be (-16)/3*12/40*5. Let g(l) = -l**3 - 5*l**2 + 17*l + 5. Let x be g(n). Which is smaller: 60 or x?
60
Let k = 122/19 + -4663/741. Let l = k + 7/13. Which is bigger: 63 or l?
63
Suppose 5*d - i - i = -8, -2*d + 3*i = 12. Let r(p) = 4*p - 210. Let o be r(d). Is -211 less than o?
True
Let p(b) = -b**3 - 21*b**2 - 21*b - 22. Let y be 174/(-9) - 6/9. Let r be p(y). Let k be (-1)/r*(-2 + 0). Is -3/28 equal to k?
False
Suppose 0 = s - 91 + 289. Let w be (-3)/(-6)*1/s. Are w and 0 nonequal?
True
Let v = 50 - 41. Suppose 3*t = -2*b + 19, -b - 2*t + 1 = -v. Let q be 69/(-18) + (b - 8). Which is smaller: q or -3?
q
Let l = 1591.73 - 1631.35944. Let b = l + -0.04056. Let z = b - -40. Which is greater: -0.2 or z?
z
Let x(s) = -s**2 + 22*s - 28. Let u be x(20). Suppose 3*c + 3 = u. Suppose j + 0*j = c*n + 7, 5*n + 12 = 2*j. Is -2 bigger than n?
False
Let r = -1.79 + -0.21. Let p = r - -28. Let w = -26.1 + p. Which is greater: -0.3 or w?
w
Let m = -242 - -458. Suppose -10*h = -2*h + m. Let l = h - -28. Are l and -3 unequal?
True
Let z(i) be the first derivative of -27 + 9/2*i**2 + 1/3*i**3 - 6*i. Let q be z(-10). Do 18/7 and q have the same value?
False
Let h = 0.285 - 188.285. Let f = -190 - h. Which is greater: f or -5.3?
f
Suppose 4*t - 2*o - 2834 = 0, 6*t - 704 = 5*t + 2*o. Let h = 991 - t. Which is smaller: h or 282?
h
Let z = 4154 - 4153.91. Is 2/475 <= z?
True
Let q = 82.099 + -82. Let u = q + -0.299. Which is smaller: u or -0.027?
u
Suppose -3*f = -5*f + 22*f. Suppose f = -3*k - 221 - 49. Is k >= -90?
True
Suppose 12 = 26*y - 24*y. Suppose -21 = -y*g + 27. Suppose g*w = 4*w - 20. Is -6 > w?
False
Suppose -13*n = -10*n + 10413. Let a = n + 24228/7. Are a and -11 non-equal?
True
Let z = 1 - -12. Suppose 0 = -4*g + t + 50, -528*g + 8*t = -527*g - 59. Is g < z?
True
Let f = -5838 + 6931. Which is bigger: f or 1094?
1094
Let g(s) = 4*s**2 + 35*s + 15. Suppose 186*m + 171 = 167*m. Let c be g(m). Is 27 less than c?
False
Let u = 797 + -791. Suppose u*p - 42 = -42. Suppose -2*f - 4 = 3*g - 51, 4*g - 40 = 3*f. Do g and p have the same value?
False
Suppose 72 = 5*g - 3*g. Suppose 0 = 2*t - j - j - 32, 0 = 2*t - j - g. Suppose -t*l = -12*l. Do l and -3 have different values?
True
Let g be 44/(-374) + (-174)/(-34). Let v = 129 - 127. Suppose g*h - v*h = 0. Which is greater: h or -1/9?
h
Suppose -613*n + 8 = -609*n. Let w be -145*(0 + (-7)/5) - n. Which is bigger: w or 202?
202
Let v be 1744/(-16) - 17 - -16. Are v and -118 non-equal?
True
Let r = -6 + 8. Suppose -r*s = -3*z - 99, -s - 2*z = -4*z - 49. Which is smaller: 53 or s?
s
Let o = -1519.8 + 1510.69. Which is bigger: -2/7 or o?
-2/7
Suppose 203 + 553 = 6*g. Let x = g - 163. Is -28 greater than x?
True
Suppose -9 - 24 = -3*r. Let v(h) = -h**3 - 6*h**2 + 7*h + 14. Suppose -4*b + k = 26, b - k = -4 - 1. Let w be v(b). Is r at most as big as w?
True
Let a = 8619 + -3845. Let z = a + -2095784/439. Suppose 0 = -5*s - 3*g - 4, 0*g = 2*s + 3*g + 7. Which is greater: s or z?
s
Let i = 4.024 + -3.624. Which is bigger: i or -343?
i
Let z be -1 - 1 - (-5)/((-10)/(-6)). Let k be z/(-5) + 2 + (-1004)/(-20). Suppose 0*w + 4*d - 4 = -w, 0 = 3*w + 2*d - k. Is w less than or equal to 20?
True
Let n(d) = 4*d + 20. Let j(a) = 12*a + 59. Let z(v) = 6*j(v) - 17*n(v). Let s be z(-14). Let l be 34/s - (-3 - -2)/1. Is l less than 1?
True
Let p = -56361 - -1746534/31. Is -1 less than p?
False
Let z be (6740/45832)/((-10)/(-24)). Let w be (-5)/(-7) + 4/14. Let c = 0 + w. Is z equal to c?
False
Let z be (-6)/(-21) + 38/14. Suppose -2*j - 4*t = -12, z*j - 2*t + 3 = 13. Let i be (-8)/(-12)*(-7)/(70/(-15)). Which is smaller: j or i?
i
Let i = -7271 + 50889/7. Which is smaller: 43 or i?
i
Suppose -24*h - 245 = -31*h. Let n = -12 - 21. Let m = n + h. Which is greater: m or 2/29?
m
Let t be ((-36)/(-16))/((-261)/7656).