et f = g + -287. Which is bigger: f or p?
p
Let m(w) = -427*w + 619. Let n be m(22). Are -8774 and n nonequal?
True
Suppose 7*t = 49, 0 = -5*y + 33*t - 28*t + 1505. Is 1533/5 bigger than y?
False
Let m be -21*(470/60)/47. Let d be (6/6)/((-2)/(-22)). Let k be d/(-15) + 4/10. Which is bigger: m or k?
k
Let y be 1/(2/12)*(-168)/(-24). Suppose 3*a = -15*a + 162. Suppose -3*h - l = y, a*h + 45 = 5*h - 5*l. Is h <= -14?
True
Let p = 189 + -131. Suppose 0*l - 2*l = 5*l. Suppose -2*s - 2*s + 232 = l. Is p >= s?
True
Suppose -156*k + 351*k = 1506555 - 147405. Is 0 less than or equal to k?
True
Let s be (-126)/(17 + -11) - -21. Are -43/187 and s unequal?
True
Suppose -3300 + 3230 = -7*d. Which is smaller: d or 122/11?
d
Let f = 200.47 + -192.47. Let y = -29 - -3. Is y less than or equal to f?
True
Let u be 346/2595 - 19176/45. Which is greater: u or -422?
-422
Let b = 7431/2 - 3631. Which is smaller: b or 86?
b
Let v(k) be the second derivative of k**5/20 - k**4 - k**3/6 - 4*k**2 + 73*k. Let p be v(12). Which is smaller: -190/9 or p?
-190/9
Let a = 47 + -47. Let z = 248.3 + -253. Is a bigger than z?
True
Let n be -3*6/(-18)*4. Let f be (6/n*1)/(1/(-8)). Is f greater than -15?
True
Let c be 3/2*18/27. Let h be c/(-2) - 135/(-10). Let i be -3 - ((-30)/18)/(3/h). Is i greater than or equal to 5?
False
Let l be (2/6)/((-4)/6) + 9271/(-254). Is -37 equal to l?
True
Suppose 4*h + 63 = 2*f - 1777, 3*h - 6 = 0. Suppose j = 13*j - f. Which is smaller: j or 0.2?
0.2
Let z(p) = 6*p**2 + 242*p + 92. Let s be z(-40). Suppose -5*r + 3*r = o - s, 3*r - 3*o = 0. Does 1 = r?
False
Suppose -30322*p + 30350*p + 28 = 0. Let j = 17242/15 + -1150. Which is greater: p or j?
j
Let a = 334.77 + -338. Let m = -30.17 + a. Which is smaller: m or -1/2?
m
Let z be ((-616)/(-154))/(2*2). Suppose 3*c - 72 = 4*m, 0 = 3*m - 4*c + 91 - 30. Which is greater: z or m?
z
Suppose 30 + 71 = -55*h + 156*h. Is h at least as big as -4/567?
True
Let o = -2692 + 2698.07. Which is smaller: o or -6?
-6
Suppose 0*h + 2*h = 3*i - 4, 4*i - 4*h = 8. Suppose 34*y - 30*y - 12 = i. Suppose -s = y*s + 3*a - 7, -4*s - 18 = -2*a. Which is bigger: s or -3/2?
-3/2
Let n = 10887.9 - 10888. Let o be 519/195 + (-1)/5. Which is bigger: n or o?
o
Let c = -40 + 46. Suppose 2*l + c - 14 = 0. Suppose 106 = -5*m + 3*w - 43, 0 = l*w - 12. Do -28 and m have the same value?
True
Let k = -40465 - -80929/2. Which is bigger: 707 or k?
707
Let k = 356/7 - 3923/77. Is -0.003 at most as big as k?
False
Suppose -3*t = -3*g - 3, -31*g + 26*g - 7 = -3*t. Is g at least as big as 2/37?
False
Let h = -154.5 - -2.5. Let y = 152 + h. Let c(d) = d**2 + 4*d + 1. Let m be c(-5). Which is smaller: m or y?
y
Suppose 3*f + 1377 = -4*o, 2*o = 5*f + 4*o + 2309. Let d(q) = -q**2 + 172*q - 1136. Let r be d(168). Are r and f equal?
False
Let g(l) = -l**3 + l**2 + 10*l + 10. Let y be g(-2). Which is smaller: 89/44 or y?
y
Suppose 0 = -2*h + 2*l - 2882 - 2106, 0 = -4*l + 8. Let a be (-20)/(-8) - (-3 - h/72). Which is smaller: -30 or a?
-30
Let l be (335/10)/((4 - 5) + 17/34). Suppose 4*a + 5*q - 17 = 0, 3*q - 17 - 1 = -5*a. Is a < l?
False
Suppose -4*i = -34 - 18. Suppose 0 = -3*g - 9, -5*g = 2*j + j + 6. Suppose -j*p = -i + 61. Is p < -12?
True
Let h = 2689/10744 + -3/10744. Which is smaller: -2530 or h?
-2530
Let a = -9002 + 9273. Is 270 > a?
False
Suppose 4*d + 5*s - 507 = -580, 4*d - 5*s = 57. Let b = -0.03 + -0.05. Let c = b - -0.1. Which is smaller: c or d?
d
Suppose 0 = -9*y + 4*y - 5*g + 45, -5*g = y + 7. Suppose y*c + 9 = 4*c. Is c at most -3/188?
True
Let q be (-45)/(-10)*((-20)/6 + 2). Let v be (-2 - (-9)/q) + 2/4. Suppose -2*f + 12 = -3*i - 0*f, -2*f = 0. Are v and i nonequal?
True
Suppose -5*y + 7*r - 3*r + 100 = 0, 4*r = -20. Suppose 28 = 2*q - 5*d, 2*q + d = -0*q + y. Suppose 57 = -q*v - 42. Which is smaller: v or -6?
v
Let b = -5560 - -5639. Let x = -45 - -13. Let o be x/30 + 2/3. Which is smaller: b or o?
o
Let q = 2835 - 2836. Is q >= -2/84409?
False
Let c = -10.864 + 0.124. Let r = c - -22.37. Let f = 0.37 + r. Which is bigger: -2/3 or f?
f
Suppose 17 + 7 = -4*q, -4*y - 2*q = -81868. Is y at most -1?
False
Let b(d) be the second derivative of -d**3/6 - 9*d**2/2 - 72*d. Let p be b(-22). Which is greater: p or 67/5?
67/5
Let g(q) = -358*q + 1792. Let j be g(4). Which is smaller: j or 352?
352
Let v be 63/(567/5382)*4/(-8). Which is smaller: v or -2678/9?
v
Let j = 67 - 117. Let f = j + 51. Let t = -52 + 19. Which is smaller: t or f?
t
Let f be (-621)/(-396) - (36/44 + -1). Is f bigger than 40/11?
False
Let c = -68 + 95. Let m(n) = 4*n**3 + n. Let v be m(1). Let l be 8*7*((-55)/(-10) - v). Is l < c?
False
Let l be ((-6)/5)/(69/15). Let f(o) = -13*o - 313. Let x be f(-24). Which is greater: l or x?
l
Suppose -48 = 4*h - 4*j, -3*h - 35 = 3*j - 11. Let k be (84/h)/((-234)/(-3120)). Is -115 less than k?
True
Let p be (-52)/(-14) - (-4)/14. Suppose 857 + 867 = 4*i. Let n = i + -426. Which is bigger: p or n?
n
Let c be 90/(-6) + 7*(-24)/24. Let m = 0.4 + -1.2. Let o = m + -0.2. Is c greater than or equal to o?
False
Suppose 2*n - 3*m + 51 = 0, -26*n + 25*n - 3*m - 21 = 0. Is n less than -195/8?
False
Let a(c) = c**3 + 36*c**2 - 57*c + 645. Let f be a(-38). Which is smaller: f or -1136/15?
f
Let u be -1 - 3/6*20. Suppose 60 = -t - 1. Let f = -71 - t. Is f less than or equal to u?
False
Let j be -239*11/(-363) - 11. Does -5 = j?
False
Let z = -9127 - -8731. Is -386 greater than or equal to z?
True
Suppose 6*r - 23 = 29*r. Do r and 0.2519 have the same value?
False
Let i = 19834 + -19907. Let u be (292/2)/(-2) + -1. Does u = i?
False
Let r = 147315 - 2061051/14. Let j = r - 900/7. Is -33 <= j?
True
Let n be -2 - -5 - 4 - -1*2. Let o(u) = -u + 3. Let b be o(n). Suppose b = -12*m + 10*m + 3*a, 0 = 5*m + 3*a + 26. Is 0 less than m?
False
Let l(j) = 4*j + 0*j + 9 + 46 + 8*j. Let t be l(-10). Which is bigger: -69 or t?
t
Let n be 285*(72/(-45) + (3 - 1)). Which is smaller: n or 123?
n
Let t be 678*14/18*(-132)/(-616). Which is smaller: 2 or t?
2
Let x be 137 - -2 - -1*2. Suppose 3647*j = 3583*j + 9216. Which is smaller: x or j?
x
Let n(r) be the second derivative of -r**4/6 + r**3 + 9*r**2 + 162*r. Let d be n(-7). Is -123 at least d?
False
Let p = 36 + -81. Suppose 3*r + 5*i = -120, 3*r - 4*i = 81 - 228. Is p less than or equal to r?
True
Suppose 403*h = 486*h. Let p = -347 - -201955/582. Which is smaller: h or p?
h
Let n be (11/(-2))/1 + 366/244. Let q be 126/216*(0 - n). Is q at least as big as 3?
False
Let p = 11843 + -11843.2. Which is smaller: -48.75 or p?
-48.75
Let h be (-1)/(-4) + 10/(-8). Let b = 606.2106 + -606. Let q = b - 0.0506. Which is bigger: h or q?
q
Let k(h) = -h**3 - 3*h**2 + 5*h - 11. Let t be k(-5). Let y = t - 23. Let b = -6 + y. Which is smaller: b or -1/3?
b
Let h be (-2)/6*-3 + -2. Let n = -37440 + 37670. Which is smaller: n or h?
h
Let o be (-688)/(-88) - 8 - 14726/(-528). Let m = o + -85/3. Which is bigger: 0 or m?
0
Let j(k) = 6*k - 6. Let t be j(-5). Suppose 15*f = 276 + 279. Let s = t + f. Which is smaller: -32 or s?
-32
Let u = 188.751 + 0.249. Let k = u + -190.3. Let j = -0.08 + -0.22. Is k >= j?
False
Let l = 5188 - 5944. Which is smaller: 2/7 or l?
l
Suppose 0 = 37*v - 181 + 292. Which is bigger: -98/55 or v?
-98/55
Let n = 15.32 + -3.32. Suppose -2*j + 2 = 6*g - 2*g, -3*j - 6 = 3*g. Which is greater: n or g?
n
Suppose -4*w - 310 = -1682. Suppose w*b - 345*b = 0. Is -1/11 equal to b?
False
Suppose -27*g + g + 32 = 6*g. Which is smaller: -2/237 or g?
-2/237
Let b(u) = 475*u + 3324. Let a be b(-7). Which is greater: 5/488 or a?
5/488
Let y be (-1)/(-3) + 2872/(-80). Let a = -134/15 + y. Is -44 not equal to a?
True
Suppose 2*m - 19*v = -23*v - 14308, 3*m + 21462 = -4*v. Which is smaller: -1 or m?
m
Let c(r) be the first derivative of r**2/2 - 24*r + 17. Let h be c(21). Let x be 10/36*h/(-2). Which is greater: x or 0?
x
Let a(p) = -p**2 - 7*p + 33. Let q be a(-10). Suppose 6*y = 7*y, 0 = -5*x - q*y + 1510. Which is bigger: x or -2/3?
x
Let v = 1936 + -1934. Is -2/175 bigger than v?
False
Let l = 0.1453 - 9.3153. Let q = -0.17 - l. Suppose 29*y - 22*y = 7. Is y != q?
True
Let l(i) = 10*i**2 + 32*i + 531. Let d be l(-14). Is 2042 not equal to d?
True
Suppose 0 = 5*l - 0*s + s - 22, s + 2 = l. Suppose -l*r + 4 = 8.