
Let s(o) = 193*o + 226. Let p be s(-1). Let j be (-978)/(-30) + 1/1. Which is smaller: p or j?
p
Let j be (1/3*-1)/(34/(-816)). Suppose j*g + 4*q + 16 = 12*g, -4*g = -q - 1. Which is smaller: -16/45 or g?
g
Let m = 24058/3 - 7976. Is m at most as big as 0?
False
Suppose m + 4*o = -0*o - 19, 3*m + 142 = 5*o. Let v be m/(-91) - 10/22. Let s = 3/154 - v. Is s > 0.1?
False
Suppose 108 = 2*i + 5*w, 5*w - 68 = -i - 4. Let q be (i/6 - 4)*(-27)/(-2). Let v = -26 + q. Is v greater than 19?
False
Let z(u) = -13*u + u**2 - 2*u**2 + 17*u. Let h be z(3). Suppose -6*w - 5*t = -5*w + 3, 2*w = 3*t + 33. Is h < w?
True
Let h = 7396 - 7452. Which is smaller: 1 or h?
h
Let v = -5914 + 5853. Which is smaller: v or 121?
v
Let h be (115/10)/(5/350) - 0. Which is greater: h or 804?
h
Suppose 19118*i - 3546 = 19136*i. Which is smaller: i or -205?
-205
Let a(f) = -f**3 - 18*f**2 + 21*f + 32. Let r = 96 - 115. Let g be a(r). Which is smaller: -4 or g?
g
Suppose -1584 = 6*t + 6*t. Let k = t + 29. Which is bigger: -104 or k?
k
Let s = 1145085 - 1145085. Let q = -1.64 - -4.63. Let h = q - -0.01. Which is smaller: s or h?
s
Let g = -20 + 14. Suppose 27 = 3*l - 6*l. Let p be 52/l - -1*(-10)/45. Is p != g?
False
Let h = -17.282 + 17.14. Do h and 2/23 have the same value?
False
Suppose 0 = -2*o - 3*k + 32, -3*o + 43 = 10*k - 8*k. Let p = 4.41 - 0.41. Is p bigger than o?
False
Suppose 10*b - b = 504. Let z be (-56)/(-120) - (b/30 + -2). Let p = 3 - 3. Which is greater: p or z?
z
Let i = -17776 + 17445. Does i = -341?
False
Let w = 29326 - 51291176/1749. Is w at most -1?
False
Let x be -459 + 5/(-2)*2. Let h = 478 + x. Are h and 14 nonequal?
False
Let k be ((-78)/(-28))/(9576/(-400) + 24). Is k != 47?
True
Let l(w) = w**2 - 23*w + 76. Let o be l(19). Suppose o = -x + 13 - 14. Is x at least as big as 6/41?
False
Suppose 5*b + 5*o + 130 = 665, -523 = -5*b - 2*o. Suppose 7*s - 719 = 4*i, -28 = -s + 3*i + 82. Are s and b equal?
False
Let f(a) = -2*a**2 - 8*a. Let m be f(4). Let u = 65 + 125. Let x = u + -189. Is x <= m?
False
Let n = -7770/591629 + 5/887. Which is smaller: 0 or n?
n
Let l be (4161/667128 - 4/154)*(-67)/(-3). Is -1 != l?
True
Let m(u) = u**2 - 74*u - 230. Let l be m(77). Is l at most -8/929?
False
Let y be ((-2)/14)/(120/(-70)). Let v be 100/(-154) - 56/(-154). Which is greater: y or v?
y
Suppose 10*r - 16783 = 4127. Is 2090 greater than or equal to r?
False
Let c be (-1 - -1) + -5382 - (-33 - -38). Let q = c + 328615/61. Which is greater: 0 or q?
q
Let g be 3 - (-48)/(-3)*3. Let v = 72 + g. Let n be 9/v + (-148)/30. Which is smaller: n or -4?
n
Let r(t) = 3*t**2 + 87*t + 188. Let q be r(-35). Is 819 at most as big as q?
False
Suppose -129*l = -133*l + 1164. Let h = l + -585. Which is greater: -296 or h?
h
Let v be 8 - 3/((-3)/(-7)). Is v less than 18/1139?
False
Suppose -10*t + 9853 + 12883 = -2*t. Does 2842 = t?
True
Let w be (-8)/78*(-264)/(-16). Let r = w + -73/26. Let h be (-1)/3 - 22/6. Which is smaller: r or h?
r
Suppose -5*j = 4*b + 361, -2*b = 2*j + 125 + 53. Let n = 66 + b. Let w = -33 - n. Which is greater: w or -14?
-14
Suppose 2*d - 32 = 4*r, 2*d - 105 = -r - 38. Which is smaller: d or 41?
d
Let l = 164 - 1967/12. Suppose -18*b - 6*b + 288 = 0. Suppose -2*k = -4*a + b, -17*k + 2*a - 6 = -15*k. Which is bigger: l or k?
l
Suppose 3*x + z - 19 = -3*z, -3*z = 5*x - 28. Let f be -12 - (-235)/80*4. Which is bigger: x or f?
x
Let w(a) = -a**2 - 2*a - 19. Let j be w(0). Let u be (j*105 + -2)/(-58). Let x = u + -69/2. Which is bigger: x or -1?
x
Suppose 4*t - 12 = -3*r + 6*r, -4*t + 32 = 2*r. Suppose 3*i + 14 + 1 = 0. Do i and t have different values?
True
Suppose 0 = -29*a + 34*a + 275. Let p be (a/180)/((-1)/8). Which is smaller: 1 or p?
1
Let b be (41 + -35)/(8/6 + -1). Are b and 17 equal?
False
Let i = -4.2 + -8.7. Let r = -7.1 + i. Is -1 < r?
False
Let w be ((-40)/25)/(2 + 48/(-20)). Let v(t) = 5*t**2 + 5*t + 2. Let n(p) = -p**2 + 1. Let b(x) = w*n(x) + v(x). Let k be b(-3). Which is smaller: -1/7 or k?
-1/7
Suppose -4*c = -4, 4 - 5 = -5*r - c. Suppose r = 18*k - 94 + 184. Do 41 and k have different values?
True
Let n = -14 + 20. Let s(m) = -m**2 + m + 40. Let g be s(-6). Let b be (g/(-8))/((-1)/(8/9)). Is b at least as big as n?
False
Let k be ((-6)/4)/((-95)/10 + 4). Let l = -655.5 + 638.5. Which is smaller: k or l?
l
Suppose -156 = 4*u - 4*v, 3*u - 5*v + 156 = 33. Let p be (u/(-2862))/((-2)/6). Is p greater than or equal to 2/7?
False
Let v = 1902.2 - 1902. Which is greater: v or -206/5?
v
Let b = -578 + 652. Suppose 5*p - 117 = -4*z - 5, 2*p = 2*z - b. Let s = 58 - 24. Is s at least as big as z?
True
Let l be 14/(3/(-12)*2). Suppose -16*r = -19*r + 3*j - 90, 0 = 10*r - 2*j + 292. Is l greater than or equal to r?
True
Let v be (450/27)/(42/(-9)) - -6. Let s = 0 - -1. Is v equal to s?
False
Suppose 4*j - 2 = -10, g = 3*j - 6. Let t be (g - -8) + 5774/1443. Let r = t - 1513/50505. Which is smaller: r or 1?
r
Let q = -32.2 - -54.4. Let r = 22.3 - q. Which is greater: r or 2?
2
Suppose 2*d = -0 - 128. Let k = -13145 - -52323/4. Let b = k - d. Is b >= 0.14?
False
Suppose -213*f + 724 = -215*f. Let s be -3 + 8 + -1 - (-1458)/f. Which is smaller: s or -1?
-1
Let x(i) = -83*i + 3492. Let c be x(41). Which is smaller: 177/2 or c?
177/2
Suppose 3*d = 2*f - 157, 4*f - 3767*d = -3765*d + 326. Suppose 0*y - y = -83. Is f bigger than y?
False
Suppose -3*m - 52 = -13. Let k(b) = 0*b**2 + 11 - 3 + 14*b + b**2. Let p be k(m). Is p less than or equal to -3?
True
Suppose -26*v + 17*v - 17442 = 0. Let l = v + 44582/23. Which is bigger: 1 or l?
1
Let n be (-3)/(-3)*(-2 + 273). Let y = -6773/25 + n. Suppose 9*q = 84 - 75. Is q not equal to y?
True
Suppose 2*h - 64*f + 4 = -66*f, -4*h + 20 = -10*f. Is -4/2319 at least as big as h?
False
Let b be (-3 + -12*(-10)/45)*6. Let s = 7/2 - 3. Is s <= b?
False
Suppose 93*u = 99*u - 558. Let y = 171 - u. Suppose 2*j + 6 = 2*i - 44, 3*i - y = 4*j. Which is smaller: i or 23?
i
Let q(n) be the second derivative of -2*n**4/3 + n**3/3 + n**2 - 9*n. Let r be q(-1). Let w be (r - -5)/(114/4). Is -1/3 at least as big as w?
False
Suppose 106*r - 4451 + 1941 = 5864. Are r and 86 equal?
False
Let k(f) = f**3 - 9*f**2 + 16*f - 18. Let i be k(7). Let z be (8/(-3))/(34/i + 5). Is 1 at most as big as z?
False
Let g = 11154 - 11154. Which is smaller: g or 2/12395?
g
Let b be (16 + 1071/42)*-2. Is -108 greater than or equal to b?
False
Suppose 0 = -q + 5*z - 31, -4*z - 8 = 4*q + 44. Let i(c) = 7*c + 113. Let g be i(q). Let a = -14 + 13.68. Are g and a nonequal?
True
Let w be 8/(-14)*(9/(-6) - 2). Let m be -6 + (-28 - 1) - (w + 1). Is 1 less than m?
False
Suppose 83*r = 79*r - 5*d + 20, 16 = 3*r + 4*d. Which is smaller: r or -3/11236?
-3/11236
Let s(v) be the second derivative of v**4/6 + 41*v**3/6 + 25*v**2 - 97*v. Let u be s(-20). Are 148/5 and u unequal?
True
Suppose 32 = c - 6*k, 5*c + 0*k - 4*k - 56 = 0. Suppose -5*f - 60 = -11*f. Do f and c have different values?
True
Suppose 0 = -5*z - 40 + 45, 3*r - 2*z + 2186 = 0. Which is bigger: r or -730?
r
Let d be (-4)/(16/(-60))*(-2196)/(-30). Do 1097 and d have different values?
True
Let u(l) be the second derivative of -11*l**4/12 + l**3/6 + 45*l. Let t be u(1). Suppose -c - 3*c = 40. Does t = c?
True
Let y be (1*32/6 - 3)*9. Let o(d) = -2*d + 51. Let m be o(y). Let b(l) = l - 4. Let w be b(m). Is w greater than or equal to -2/11?
True
Let r be 6 + 9 + 500/(-36). Let y = -225/22 - -61/6. Let m = 3/11 - y. Is m equal to r?
False
Let m = 6333 - 6840. Is 5 <= m?
False
Suppose -5*n + n + 3672 = 0. Let l be n/(2*12/(-64)). Let k be (-4)/(-34) + 696/l. Is -1 >= k?
False
Let b = -1843 + 1672.8. Let m = 170 + b. Is -1.4 less than or equal to m?
True
Let t = 2782 - 27807/10. Which is greater: 1 or t?
t
Suppose -h = -5*n - 0*n + 2585, -4*h = n + 10298. Let g = 15515/6 + h. Are 11 and g unequal?
True
Suppose -3*b + 8*b - 4*t - 15 = 0, -5*t = 2*b + 27. Let u = 31 - 19. Let v = -10.8 + u. Does b = v?
False
Let g = 30/631 + 1023/18299. Suppose h - 5*j = 4, -2 = 3*j - j. Is g at most h?
False
Let y be (5*3)/(-4 - (-11 - -4)). Suppose 2*w - 225 = y*w. Is -75 at most w?
True
Let h be 1 - (5 + 330/(-83)). Let p = -54 - -59. Suppose -g + p*g = 0. Is g at least h?
True
Let o = 56935.43 + -57397. Let a = 478 + o. Let p