0 or p?
0
Let w(o) = o**2 + 19*o + 70. Let s be w(-12). Let z be (s - -7) + 22 + 1*4. Which is smaller: z or 17?
17
Suppose 57*w - 28*w = 551. Suppose -3*r - w*r - 198 = 0. Is -9 at most as big as r?
True
Let a = 1832 + -1832.171. Which is smaller: 2/7 or a?
a
Let q be (-448)/48*(-5)/460*16/7. Is q bigger than 1?
False
Let h = -2595.7 + 2303. Which is bigger: h or -0.1?
-0.1
Let l = -20/116009 + -612410911/3480270. Let o = l - -176. Which is greater: 0 or o?
o
Suppose -3*a = 3*i + 2700, -1 = 5*a + 19. Let b = 547 + i. Which is smaller: b or -350?
-350
Let w = -2 - -10. Let a = -2427 - -2425. Is w greater than or equal to a?
True
Let s be 5100/(-9) - 13/39. Let n = s + 544. Which is greater: -19 or n?
-19
Let m be ((-2 - (-5)/7) + 3)*2898/(-828). Let z be 2/2 - (-82227)/13260. Let k = 1/884 - z. Do m and k have the same value?
False
Let d = 279/8 - 281/8. Which is smaller: d or -324?
-324
Let g(b) = -b**3 - 74*b**2 + 339*b + 358. Let u be g(-77). Are u and -7958 non-equal?
False
Let q(y) = 16*y + y - 11*y - 10*y + 86 - 8*y. Let l be q(12). Which is greater: -59 or l?
l
Let q = 2/1531 + -3268/157693. Suppose 61*y - 259 = 278 + 73. Do q and y have different values?
True
Let h = 10.1 - -47.9. Let x = -794.7 - -735. Let d = x + h. Which is bigger: -0.1 or d?
-0.1
Let j = -6710 - -7217. Is -1 equal to j?
False
Let h be (-528)/(-2112)*2*-2. Which is bigger: h or -56/479?
-56/479
Let i = 3.36 - 2.86. Let c be (-34)/5*20/12. Let m = 12 + c. Is i less than m?
True
Let v = -50691766/261 + 194221. Let y = v - -3/29. Is y greater than or equal to -0.03?
False
Let x = -14.8 + -48.2. Let l = 76.868 - 77.868. Is x < l?
True
Let w = 33059 - 32013. Which is greater: 1048 or w?
1048
Let x be -2*(2/((-20)/25) + (3 - 0)). Is 1/1019 smaller than x?
False
Let u be (87/29)/(3/2) - (-1 + 244). Are u and -254 non-equal?
True
Let f be -1 + 0*(-3)/12. Let x = -37/105 + 5611/17115. Is x != f?
True
Let p = -21 - -85. Let m = 56 + -55.9. Is m less than p?
True
Let t be (-1 - 14)*244/(-20435). Which is smaller: t or 1?
t
Let f be 2*(-9)/(54/(-48)). Suppose -14 = -6*d + f. Is d greater than 58/13?
True
Let l = 132 + -23. Let q = l + -145. Is 0.1 <= q?
False
Let n = 223889 - 223888. Let a(b) = 35*b + 4. Let l be a(-6). Does l = n?
False
Let c = -29322 - -2433718/83. Suppose -a = y - 2*a - 1, 3*a + 3 = 0. Is y < c?
False
Let m be (-447)/(6/(-36)*2*3). Let k = m - 447. Which is greater: -3/292 or k?
k
Let u = -5813 - -1341. Is -4472 less than or equal to u?
True
Suppose 5*x + 760 = 2*y, -3*x - 5*y + 10*y = 437. Let g = x + 151. Suppose -3 = 4*w + 1. Is g smaller than w?
True
Let g = -139374616802/6105 - -22829585. Let n = -2/407 + g. Is n less than or equal to 1?
True
Let k be (-27)/(-9) + (4 - 2). Suppose b + 2*a = -0*b - 1033, b = k*a - 1019. Let t = b - -13401/13. Which is greater: 2 or t?
2
Let s = -11 - 39. Let h = s + 30. Let v = h + 20.017. Is 1/3 at least v?
True
Let n be 1/(-1) + -794 + -21 + 32. Which is greater: n or -782?
-782
Let z(h) = -63*h**2 + 12*h + 30*h**2 + 34*h**2 + 28. Let r be z(-9). Does r = -1/23?
False
Let t = 36 + -9. Let o = -23 + t. Suppose 17 = w + 5*d, 4*w - 34 = 2*d - 10. Which is smaller: w or o?
o
Let p(v) = v**3 + 41*v**2 + 39*v - 43. Let q be p(-40). Let w(o) = 24*o**3 + 4*o - 3. Let h be w(1). Which is greater: q or h?
h
Let z be 3311/(-36) - 2/(-9). Let m = -729862 + 729771. Is z smaller than m?
True
Let c = -15377 - -15674. Which is smaller: 6 or c?
6
Let k = 261 - 57. Suppose -l = -5*l - k. Let x = l + 127. Which is smaller: x or 75?
75
Suppose -3*q + 6*q + 6 = 0. Let t be 1/(-5) + q/(-10). Let y be -10*4/200 + 118/690. Are y and t unequal?
True
Suppose -8*b + 3*p = -3*b - 11, -4*b - 2*p = 0. Is 11/392 less than or equal to b?
True
Let o be (4 - 40/16)*1/(4/40). Is o greater than 426/29?
True
Suppose -9*d + 5 = -8*d - u, -u = 2*u. Does d = 40/11?
False
Let g = -2375/27354 + 1/582. Let f = -337/94 - g. Which is smaller: -2.6 or f?
f
Let z = -24944 + 25047. Which is bigger: z or -8?
z
Let y(f) = 7*f**2 - 8*f - 8. Let m be y(-5). Suppose -11*b + 8*b = -m. Which is greater: b or 67?
b
Let q(p) = -2*p**3 + p**2 - 6*p + 5. Let f be q(0). Suppose 0*r + 3*r = f*r. Are 1/72 and r non-equal?
True
Let n = -4 + -9. Suppose 202 = 19*i + 88. Suppose 4*a - 5*f + 77 = 0, 5*a + 4*f + i = 3*a. Is n greater than or equal to a?
True
Let f(z) = 3*z**3 + 2*z**2 - 2*z - 3. Let d be f(-2). Suppose 0*l + 7*l = 0. Suppose -4*w + a - 51 = l, -51 - 10 = 4*w + a. Which is smaller: d or w?
d
Let o be (-475)/30*10 + (-4)/(-12). Let x = o - -160. Which is smaller: 1 or x?
1
Let f = -241 - -244. Suppose 2*p - 29 = 3*r, f*p + 2*r + 3 = 53. Which is smaller: 1 or p?
1
Suppose 4*t - t - 44205 = 3*c, -c = 2*t - 29449. Is t at least 14728?
True
Let p be (22195/(-772))/((-5)/8). Which is greater: 65 or p?
65
Let f = 3386 - 3378. Which is greater: f or 41?
41
Let i be (-21969 + 3)/(-14) - -5. Is i greater than 1574?
False
Let z be (-132)/(-11) + 12/(-3). Which is greater: 0.049 or z?
z
Suppose -3*n = -9, 0 = k + 28*n - 26*n - 1036. Do 1027 and k have the same value?
False
Let y be 3 + -4 + 94*-1. Let q be ((-124362)/(-168))/(-21)*(-16)/(-6). Which is smaller: y or q?
y
Let n = 0.8 - 38.8. Let a = -26.4 - -64.5. Let w = n + a. Which is smaller: -5.6 or w?
-5.6
Let z = -44 + 43.784. Let h = 0.246 + z. Is h smaller than 16?
True
Suppose o + 1 = 2*o. Let b = 5216/5439 + -137/147. Is o at most b?
False
Let h = -107006 + 750954/7. Which is greater: h or 274?
274
Let q(l) = -3*l - 31. Let w be q(-11). Suppose -2 = -3*a + g - 15, -a = -w*g + 11. Let z be (-2)/a + -1 + 30/9. Which is smaller: -2 or z?
-2
Let o(w) = -2*w**2 + 32*w - 128. Let x be o(7). Is x at least 1149?
False
Let i(u) = 27*u + 80 - 32*u - 15. Let q be i(13). Which is smaller: 1/229 or q?
q
Let d(r) be the third derivative of r**4/24 + r**3/3 + 13*r**2. Let b be d(0). Let p = -17 + 10. Is p < b?
True
Let v be 2*(-2)/(-204)*(-18)/(-1431). Is -1 equal to v?
False
Suppose 18*t = -7 + 511. Let m be (8 + t)/6 + -6. Which is bigger: 18/23 or m?
18/23
Let c = -294 - -2355/8. Suppose -113 = -4*o - 5*b - 45, -4*o + 4*b + 68 = 0. Let k(f) = f**3 - 17*f**2 - f + 17. Let u be k(o). Is u less than c?
True
Let g = 3 + -3.4. Let c = -11096 + 56938/5. Let k = 292 - c. Which is smaller: k or g?
g
Let l = -11043/237800 + 11/232. Is l != -1?
True
Suppose -4*u = 16, s - 5*u - 226 = -169. Is s smaller than 495/13?
True
Let q = -31.2 + -98.8. Let b = -129 - q. Is -55 greater than b?
False
Suppose -4*x - 40 = -v, -2*v + 3*v = x + 55. Suppose -46*k - v = -52*k. Which is bigger: 65/7 or k?
k
Let w be ((-54)/52)/((-222)/(-37))*-4. Let n = 0.01 + -0.21. Which is greater: n or w?
w
Let c(f) = -f**3 - 6*f**2 + f + 2. Let w be c(-6). Let x(i) = -16*i - 51. Let j be x(w). Suppose 10*v + j = 9*v. Which is bigger: -11 or v?
-11
Let t(l) = 19*l**2 - 4*l + 10. Let c be t(2). Suppose 0 = -6*v + c + 192. Suppose -3*x + v = 27. Is x bigger than 4?
True
Let k be (-72)/54 + (-440)/12. Which is smaller: k or -49?
-49
Suppose 29*p = 18287 - 51144. Is p >= -1132?
False
Suppose k + 2*w = -14, -w - 9 = 11*k - 10*k. Let f be 0/(1 + (0 - k) + -4). Which is bigger: f or -4/221?
f
Suppose -5*p - 117 = 274 + 249. Suppose -6*a + a = 620. Which is greater: a or p?
a
Suppose 2*i + 218 = 4*t, -t = i - 44 - 6. Let y = 56 - t. Let m be y*2/((-6)/(-13)). Which is greater: m or 15?
15
Let l = 9.14 + -0.34. Let x = -8.75 + l. Is -3 greater than or equal to x?
False
Let c be -4*(-2)/40*(-110)/44*0. Is -2/5653 < c?
True
Let r = -205541/9 + 22838. Which is smaller: 1.431 or r?
r
Let q = 0.136 + 19.364. Let w = 20 - q. Is w != -1/3?
True
Let a = 27925 - 27925.052. Let s = -0.4 - -0.2. Is a < s?
False
Let q = -247.78 - -250. Let r = q + -2.22. Is r at least 109?
False
Let l(q) = -q**3 - 10*q**2 + 23*q - 34. Let t be l(-11). Let r = -221 - t. Is -57 at least r?
False
Let v be 41850/(-180)*2/(-3). Is v equal to 146?
False
Let t be (51/(-68))/((-21)/16 + -2). Let w = 53 + -52. Is w at least t?
True
Suppose 0 = -4*n + 2*z + 46822, 0 = 88*n - 84*n - 3*z - 46819. Which is smaller: 11709 or n?
n
Let x = -316.8 - -316.6. Is x > 226?
False
Let m = -50 + 45. Let q be 10 + m + -6 + (-6)/(-2). Let p be q/(-5)*(-385)/(-28). Which is greater: p or -7?
p
Let f = -351/25 - -14. Let q be ((-4)/(