hich is bigger: s or p?
p
Suppose -6*w + 4 = -a - 9*w, -5*w - 15 = 0. Suppose 5*x = -15, -2*n + x - 81 = -a*n. Is n < 29?
True
Let d = 0.27 - 0.17. Let m = -39542.011 + 39580. Let s = m - -0.011. Is d at least s?
False
Let w = -44.93 - 0.07. Let r = w + 50. Let c = -289.2 - -290. Is r at least as big as c?
True
Let s = 516.7 - 513.7. Are s and 459/7 nonequal?
True
Let i be ((72/(-45))/(-2))/((-2)/(-5435)). Suppose -10*w - i = -714. Is -147 at least w?
False
Let y = 60.917 - -0.083. Let g = 315.7 - 254. Let t = g - y. Is 1/4 < t?
True
Let l(z) = 9*z - 56. Let u be l(9). Suppose 21*m - 17*m - 2*f - 50 = 0, 0 = 5*f + u. Do 10 and m have different values?
False
Let t be ((-1)/11)/((-4)/4). Let r = 29/44 + t. Is r at most 2?
True
Let p be -2*207/70 + 8/(-20). Let s = p + 44/7. Is -1 at least as big as s?
False
Let p be 1 + 3/108 + 40/(-32). Let b(g) be the first derivative of -g**4/4 + g**2/2 + 3. Let y be b(1). Is y less than p?
False
Suppose 7*l + 29887 = 100489. Let t = l - 6485300/643. Is 0 > t?
True
Let u be (-19)/(1 - -1*1). Suppose 2*j + 25 = -2*z + 3, j + 13 = -2*z. Which is smaller: u or j?
u
Let f(w) = -75*w + 98. Let d be f(2). Does -5 = d?
False
Let d be (3/(15/(-2)))/((-8)/20). Suppose 4*l - d + 11 = 2*q, 2*l + 6 = 2*q. Does q = -2/287?
False
Suppose 54487 - 13536 = -31*a. Is -1322 at most as big as a?
True
Let n = 141 - 1693/12. Let p = 549 - 549.4. Which is greater: n or p?
n
Let y be (-3 - -2 - -3) + (-29)/(-1). Let p be (-3)/y*(-4282)/6. Let q = p - 69. Which is bigger: -1 or q?
q
Suppose -2*s = -0*s - 3*s. Which is bigger: -3/1022 or s?
s
Let t(c) = -c**3 + 4*c**2 - 3*c + 6. Let y be t(3). Suppose -5*u - 12 = -y*u. Let s = u - 4. Is 31/4 at least s?
False
Let j = 703 + -6319/9. Let y(a) = -a**3 - 5*a**2 - a - 4. Let w be y(-5). Is w greater than j?
True
Let a = 1408 + -1430. Let g(j) = j - 5. Let y be g(8). Suppose 13 = -y*d - 53. Is a greater than d?
False
Let i(z) = -10*z - 6. Suppose 9*n - 17 = 19. Suppose -v = k + 2*v + 1, 3*v = -n*k - 13. Let y be i(k). Which is smaller: 35 or y?
y
Let g be 146154644486/(-5775) - (-6)/45. Let r = g + 25308160. Let h = r + -4/275. Which is greater: h or -3?
-3
Let r = -0.1326 - 560.8674. Let f = 560.94 + r. Is f greater than -14?
True
Let p = -2361913/143 - -16517. Which is smaller: p or 0.2?
p
Suppose -516*y - 131376 = -585*y. Is y at least 1905?
False
Let s = -4 - 0. Suppose -5*c - 13 = -10*c - w, -5*c + 17 = -w. Let y be (0 - (1 - c))/(0 + s). Which is bigger: y or 2/31?
2/31
Let v = -49 - -60. Suppose -8*i + 21 = -v*i. Which is bigger: -22/3 or i?
i
Suppose 404*u = 351*u + 106. Let c be 3194/(-18) + -1 - 1. Let m = 181 + c. Does m = u?
False
Suppose 0 = -13*f - 3*f - 3*m + 127, 0 = -4*f + 3*m + 13. Is 375/68 less than or equal to f?
True
Let i be (-609862)/243948 + ((-1675)/10)/(-67). Which is smaller: i or 0?
0
Suppose -54271 + 228159 = -247*t. Which is greater: -695 or t?
-695
Suppose -d + 4*m = -29, -8*d + 2*m + 16 = -6. Let y be ((-6)/465)/(2/10). Is y smaller than d?
True
Let q(t) = -t**3 + 18*t**2 + 8. Let v be q(18). Suppose 6*o = -v - 106. Let u = -279 + 260. Do o and u have different values?
False
Let a(j) = j**2 - 3*j - 25. Let f be a(-4). Suppose 0 = f*d + 6, 26*m = 27*m + 3*d - 96. Is 102 at most m?
True
Let m = -9.664 + -0.036. Let g = m + 8.7. Which is smaller: g or -2/7?
g
Suppose -u - 69 = -z, 8*u + 5*z + 355 = 3*u. Suppose 5*q - 148 = 2*r, q - 266 = 4*r + 6*q. Do u and r have different values?
True
Let t be 4506*8/(-36) - 301/(-129). Which is smaller: -1000 or t?
-1000
Let y = 240458 + -737003778/3065. Is 1 < y?
False
Let f be ((-10186)/1130 - -3) + 18/(-15)*-5. Which is bigger: 1 or f?
1
Let q = -68 - -76.3. Let z = 14854 + -14855. Is z not equal to q?
True
Let j = 145 + -138. Suppose -9*a = -a + j*a. Is a smaller than -2/583?
False
Suppose -4*a = 4*u + 6948, -4*a = 3*u - 1037 + 6248. Let i be 6/(-15) + u/45. Is i at least -45?
True
Let w = 5.9 - -0.1. Let d = -123 - -93. Let m = d + 30.3. Is w at least as big as m?
True
Let w be 5 + -7 + 8 + (-11 + 23 - 18). Is 4/9669 < w?
False
Let o = 139 + 31. Let h = o - 857/5. Is h at most -3/2?
False
Suppose y + 4*f - 13 = -53, 5*f - 5 = 0. Suppose 0 = 5*w - 36 + 36. Suppose 0*h + 4*h = -2*m - 108, w = h + 5. Is m greater than y?
False
Suppose 0 = 2*v - 5*r - 9, -3*v - 160*r + 159*r = -39. Let f = -1862675/358 + 5203. Let q = 11453/1074 - f. Which is greater: q or v?
v
Let w be (1387/76 - 19)*5276. Is -3955 >= w?
True
Let x be ((-32)/60)/(-23*(-20)/4600). Which is smaller: x or 1?
x
Let x be (-28)/(1/(5/(-5))) + 3. Suppose 5 = 3*t - 5*i, x = 5*t - 0*t + 3*i. Let u = -0.3 + 2.3. Is u smaller than t?
True
Let z = -349 - -340. Let k(w) = 3*w + 11. Let u be k(-4). Which is smaller: z or u?
z
Let z = -56 + 55.94. Let c = 1.34 - z. Let p = -1.6 - c. Which is smaller: -0.2 or p?
p
Let q(z) = 206*z + 16. Let n be q(14). Let j = n - 98611/34. Which is smaller: j or 0?
j
Let d be 17 + (-1)/(5 + -4). Which is greater: 19 or d?
19
Suppose 9*k - 6*k - 201 = 0. Let v be -1 - 75*4/(-4) - 6. Which is smaller: v or k?
k
Suppose 2*c + 1 = c. Let p be 11/3 - ((-2)/6 - c). Let v be p*(-2)/1089*(2 - -1). Which is smaller: v or -1?
-1
Let v = -119.06 - -136. Is v < -0.8?
False
Let u(c) = -c**3 - 6*c**2 - 8*c - 2. Let z be u(-6). Suppose -31 - z = f. Which is bigger: -1 or f?
-1
Let b be (-16)/(-48)*(1 - (-10)/(-4)). Is b > 2532?
False
Let b = -558931/310 - -1803. Suppose 0 = 258*d - 264*d. Is d smaller than b?
False
Let n(u) = -6*u**2 + 4*u - 5*u**2 + 12*u**2. Let q(l) = -2*l - 2. Let m be q(1). Let a be n(m). Which is bigger: 4/37 or a?
4/37
Suppose -346 = 15*g + 74. Suppose 40 = -2*k + 2*f + 2*f, 2*f = -3*k - 92. Is g greater than k?
False
Let g = 52808 + -8185148/155. Let a = -6/31 + g. Is a equal to -136?
False
Let y = 4815 - 4814. Which is bigger: y or -2426/7?
y
Let g be (72492/49)/(14/1029*-7). Do -15535 and g have the same value?
False
Let r = 205 - -143. Let l = 303 - r. Suppose -2*o + 4*d = 96, -8*o + 4*o - 3*d = 170. Which is greater: l or o?
o
Let b = -776 - -684. Let v be b/2 + -10*(-4)/20. Is v bigger than 2?
False
Let v = 616 + -588. Suppose -1416 - 6452 = v*w. Which is smaller: -280 or w?
w
Let i = -4672/3 + 1524. Which is greater: -32 or i?
-32
Let q = -0.336 + -24.064. Let i = -24 - q. Which is smaller: i or -0.25?
-0.25
Let m be (-6*1)/(((-228)/(-304))/((-573)/(-8))). Which is smaller: m or -1718/3?
m
Suppose -18*o + 567 = -25*o. Let g = o + 90. Suppose 0 = g*z + 11 + 25. Is -4 at least as big as z?
True
Suppose 0 = -3*k + 230 + 1702. Let g be 12/(-14) + 22931/k. Which is greater: g or 35?
35
Let z = 4.194 - 5.194. Which is bigger: -1703 or z?
z
Let y(g) = 2*g**3 + 70*g**2 + 7*g - 25. Let k be y(-35). Let d be (k/75)/(12/(-40) - 0). Let v be (1 - -52)/(5 - 1). Which is bigger: d or v?
v
Let d = -228 - -207. Let x = -67 - -59. Let r be 3 - (-4)/(x/42). Is r less than d?
False
Suppose 4*t + 27 + 37 = 0. Let m be (25 + 1)*(10 - ((-153)/(-18) - -2)). Is t bigger than m?
False
Suppose -6 = -2*c - z - 2*z, 0 = 2*z. Suppose -c - 7 = 3*n - 5*y, -y + 2 = 5*n. Is 2/185 != n?
True
Let o = -12579 + 12365156/983. Let n = -42275/5898 - o. Is -6 at most n?
False
Suppose 5*q + 5 = -0*q. Let o = -15448 + 15708.88. Let b = o - 261. Which is bigger: b or q?
b
Let v be (-3)/2 - ((-485)/(-10) + 0). Let l = v - -70. Suppose 5*i + 10 = -2*m, i + 4*i + l = -4*m. Which is greater: i or -3/68?
i
Let r = 16947 + -16947.65. Is -3 smaller than r?
True
Let p = 6920 - 6853. Is 60 less than or equal to p?
True
Suppose 14 = 4*x + 2*k, 34 = 5*x - 5*k - 6. Suppose 30 = 2*h - x*p, 5*p - p = -4*h + 4. Suppose -h*t + 28 = 3*f, 4*t = 4*f - 5 + 21. Which is smaller: 8/5 or f?
f
Suppose -w + 2*v + 16 = 5*v, 5*w = -2*v + 15. Let s be (2/195)/((-354)/(-1475)). Is w at least s?
True
Let a = -5371 - -5352. Which is greater: -2/11 or a?
-2/11
Let n be -10*142950/119375 + 12. Is 1 at least as big as n?
True
Let n = -1 - -2. Let g = 39220/3 - 13923112/1065. Do g and n have the same value?
False
Let a be (4/16*4)/28. Suppose f + 3*z - 4 = 0, f + 3*z - 2*z = 2. Suppose 74*q - 75*q + f = 0. Which is smaller: q or a?
a
Let r be -9 + 15 - ((-250)/(-90) - -3). Let s = -2 - -1. Which is bigger: r or s?
r
Let x = -25195 + 125982/5. Which is smaller: x or 35?
x
Let g(l) = l**2 - 5*l + 