 + 38 = 58*g. Suppose 14*t - 9*t + g*w = -183, 4*t = 4*w - 152. Which is smaller: t or -33?
t
Let x = 10.6 - 13.44. Let p = x + -124.16. Let l = p + 130. Which is smaller: -2 or l?
-2
Let m(o) = -2*o**3 + 78*o**2 + 93*o + 127. Let f be m(41). Is -2783 >= f?
True
Suppose 4*x + 5*s - 4505 = 0, -11*x + 9*x = -3*s - 2225. Let a be (x/8)/(-5) + -1 + 4. Let u = 44 + -69. Is a smaller than u?
False
Let d(h) = 4*h**2 + 22*h + 38. Let a be d(-14). Let n = a - 514. Let i be (2/(-10))/(16/10). Which is smaller: i or n?
i
Let r = 132177/17 - 7769. Which is smaller: 7 or r?
r
Let w = 18 - 1. Suppose -2*u + 20 = -3*l, 4*l + w = l - u. Is -3 equal to l?
False
Suppose -2*n = -5*r - 4, 3*n + 0*r = -r + 6. Suppose -w - n*s = 299, -3*w = -7*w + s - 1205. Is -302 >= w?
False
Suppose 3*h - 4*y - 10 = -25, 2*h + 2*y + 10 = 0. Let r be h + 7 + -5 + (-3)/(-1). Is r not equal to -3/10?
True
Let m = -4687571/11484 + 4490/11. Is -0.1 <= m?
True
Let j(h) = -5*h + 5. Let v be j(2). Let d = 5 + v. Let w = 229 - 2063/9. Is w at least d?
False
Let u = -21 - -41. Suppose 0 = 2*t + 12 - u. Let w = -31/13 + 773/117. Which is smaller: t or w?
t
Suppose 5*i - 2*i + 0*i = 6. Do -8 and i have the same value?
False
Suppose 30 = 2*f - 4*x, -3 = -f + 3*x + 10. Is 338/19 >= f?
False
Suppose 0 = 6*b - 5*b + t, -3*b + 2 = 2*t. Let s be (374/(-33))/(b/(-18)). Is s at least 101?
True
Suppose -98*q + 92621 = -20569. Is 1150 less than q?
True
Let d be -1 - (-7 + 15) - 8. Let v(m) = -m**2 - 4*m + 6. Let g be v(-12). Let l be ((-36)/g)/((-1)/40). Which is smaller: l or d?
d
Suppose -20*c + 454 - 414 = 0. Let k be (-2)/1 + 4 + -10. Let s be c/(-6) + ((-128)/12)/k. Is -2/53 smaller than s?
True
Let l be 1*2*-6023*(-1)/2. Let u = -138553/23 + l. Which is smaller: u or -1?
u
Let c = 110 + -103. Let r = 5.7 - c. Is 5/4 greater than r?
True
Let p = 28 + -27. Suppose -p = c - 14. Suppose -c = -5*z - 3. Which is smaller: z or 6?
z
Let h = -6 - -8. Suppose 500*j = -127*j + 30723. Which is greater: h or j?
j
Let c = 1089569/11 + -98726. Let r = 326 - c. Which is smaller: 0.1 or r?
0.1
Let p(f) = f**3 + 9*f**2 - 33*f + 38. Let y = -37 - -25. Let w be p(y). Which is greater: 8/15 or w?
w
Suppose 0*p + 48 = 6*p. Suppose 0 = 4*r - p*r + 360. Suppose -258 = -4*z - r. Is 43 <= z?
False
Let h(p) = -p + 4. Suppose 19*a + 131 = -363. Let b be h(a). Let m be ((-4)/(-14))/(b/(-35) + 2). Which is smaller: m or -2/283?
-2/283
Let d be 1731/2*(21 + 1467645/(-69867)). Let y = 3/1109 - d. Let n(j) = 5*j**2 + 2*j + 1. Let l be n(-1). Which is smaller: y or l?
l
Let o = 281 + -269. Let g(w) = w**2 + 12*w + 6. Let b be g(-10). Let i = -4 - b. Which is smaller: i or o?
i
Let n = -638 - -648. Let o be (-2)/(-2) + n + -5 + -8. Which is bigger: o or 13?
13
Suppose 9*j = 16*j - 49. Let h be (j*(-2)/5)/((-3)/(-15)). Let d be 8/14 - (-8)/h. Which is greater: d or -10/13?
d
Let k be -1*10/(-2) + 8. Let l(x) = 15*x - 128. Let a be l(k). Is 63 smaller than a?
True
Let o(x) = 2*x**3 - 25*x**2 - 13*x - 11. Let p be o(14). Let y = 407 - p. Let w(j) = j**2 + 13. Let c be w(0). Which is greater: c or y?
c
Suppose -26*h = -3875 + 859. Let z be (-23)/12 - (-145)/h. Which is smaller: z or 90?
z
Suppose -v = 3*y + 3*v + 14, 5*y + 4*v + 10 = 0. Let a(j) = j**3 + 2*j**2 - 6*j + 4. Let x be a(y). Let d be 54 + -1*4/(x/(-2)). Is d at least 55?
True
Let r(a) = a**2 + 64*a + 289. Let h be r(-5). Are h and -98/17 nonequal?
True
Suppose 0 = 2*n + 179 + 11. Let f = 150 + n. Let r = f + -167/3. Is -4/7 > r?
True
Let y = -0.194 + -5.806. Let x be 2/(8/4)*(0 + 2). Suppose -q + x - 3 = 0. Which is smaller: q or y?
y
Suppose -14 = 185*w - 183*w. Let z be (-2249)/14 + (-1)/w. Let v = z + 165. Which is bigger: 1/3 or v?
v
Let s be (0 - -1)*-1 - (56788/(-3786) - -14). Which is smaller: -1 or s?
-1
Suppose -4*s - 50*m - 30 = -52*m, -3*s - 5*m = 55. Let v be 164/s + (-87)/145. Which is greater: -15 or v?
-15
Let x(y) = y**3 - 12*y**2 + 31*y - 10. Let p be x(8). Which is smaller: -210/11 or p?
-210/11
Let v = -115.9 + 120.9. Which is bigger: 0.0122 or v?
v
Let q = 56218179/109 - 515767. Which is greater: q or -3?
-3
Suppose 36*g - 41*g + 4*v + 344 = 0, -5*g - 5*v = -380. Let r be (-918)/10 + (-3)/15. Let c = r + g. Which is bigger: -18 or c?
-18
Let o(d) = d**3 + 8*d**2 + d + 15. Let l be o(-8). Let u = 5 - l. Let v be (u - (-249)/81) + -1. Is -1 >= v?
False
Let d = 36/1825255 - -6185679683/5552425710. Let h = 1/338 - d. Is h >= 2?
False
Let w = -301 + 252. Let h = w - -2741/56. Which is greater: h or 1?
1
Let h be 7 + -8 + 5 - 510/124. Let t = h - -233/3162. Let r = -3 + 2. Which is bigger: t or r?
t
Let i be 81 - 93 - (-3916)/326. Is 0.2 bigger than i?
True
Suppose -35174 = -4*w - 2*u, -20*u + 15*u + 8825 = w. Are 8790 and w unequal?
False
Let l(i) = 2*i**2 + 11*i - 6. Let m be l(-8). Suppose -3*z + m = -k, -4*z - z = 0. Let u = -42 - k. Do u and -8 have the same value?
True
Suppose 10*v = -2*v + 37*v. Which is smaller: v or 2/13301?
v
Let r be (3504/14)/(288/(-1008)). Which is smaller: -873 or r?
r
Let t = 3 - 1. Let p = 0.0141 - -99.1859. Let c = p + -101. Which is greater: t or c?
t
Suppose -532 = 7*o + 959. Let j = -181 - o. Is 34 > j?
True
Let j(y) = -2*y + 37. Let c(a) = a**2 + 6*a + 10. Let v be c(-7). Let g be j(v). Suppose 12 = -g*f - 0*f. Which is smaller: f or -0.2?
f
Let i(q) = -q**2 - 95*q - 2105. Let a be i(-60). Is a less than -159/26?
False
Let v be ((-600)/18)/(2*(-4)/(-12)). Which is greater: -49 or v?
-49
Let v be ((-32)/(-16824))/(3/(18/(-1))). Which is bigger: v or 0?
0
Suppose -4*i = -4 - 4. Let p = -43 + 82. Let o = p - 38.7. Is i at most as big as o?
False
Let z = 4 + -3. Let m(r) be the second derivative of -r**4/3 - 4*r**3/3 - 19*r**2/2 - 2*r + 53. Let y be m(-3). Are y and z non-equal?
True
Let u be (40/(-38) - -1)/((1950/247)/(-150)). Let c = -364 - -3280/9. Let w = -79/117 + c. Which is smaller: w or u?
w
Let q = -651.016 - -649. Let j = q - -0.516. Suppose 0*z = -z - 1. Is j greater than z?
False
Let m be 69 - 48 - 3/1. Which is bigger: 397/24 or m?
m
Let p = -687 - -977. Suppose 6*z = -23*z - p. Which is greater: -8 or z?
-8
Let n = -155.6 - -170. Is -11 <= n?
True
Let v be (5 - 129/26)/(2/68988). Let h = v - 1326. Which is smaller: 1 or h?
h
Suppose -99197 = -22*z + 8027 + 36568. Is 6539 != z?
True
Suppose 1056*w - 997*w = -354. Are -145/22 and w nonequal?
True
Let p = 6227913/167 - 37293. Is p greater than or equal to 0?
False
Let l = 1992 - 3044. Which is bigger: l or -1053?
l
Suppose 4*b + 2 = 2*v, 3*b = 2*b - 4*v - 23. Let n be -28*105*(-41)/(-6027). Does n = b?
False
Let o = 58 + -46. Let h be (-3)/o + (-46)/8 - -5. Are -2/13 and h nonequal?
True
Let a = 404/1463 + 2/209. Let r be (-6)/(223/17 + -13). Which is smaller: r or a?
r
Let g = -7407053/186 - -39823. Is 1 equal to g?
False
Let n be (511/(-10) - (-2)/(-5))*(-150)/(-25). Do n and -306 have the same value?
False
Let q = 9829 - 9821.9. Which is smaller: 3/2 or q?
3/2
Suppose 3*c = 47*i - 42*i - 27, 5*c = 4*i - 45. Is c greater than -146/17?
False
Let r(b) = 2*b**2 + 15*b + 13. Let q be r(-14). Suppose 5*v + q = 20*v. Are v and 8 equal?
False
Let m = -528.52 - -542. Let g = 21.49 - m. Let k = g + -1.01. Do 0.01 and k have different values?
True
Suppose -5*w = u - 0*u + 13, -10 = -5*u. Let p be (w/(-2))/((-12)/(-184)). Suppose -4*k + 4*j + 43 = k, -p = -3*k + j. Do k and -1 have different values?
True
Let y be 288/60 - (4/5 - 0). Let f be 963/54 + y/24. Which is smaller: -4 or f?
-4
Suppose -5*y + 3*b + 1575 = 0, -4*b + 0*b - 315 = -y. Let g be (14/y)/((-8)/(-6)). Suppose -k + 1 = -4*d, d + 8 = -4*d - k. Which is bigger: d or g?
g
Let g = -1.593 - -70.593. Is g < 0.3?
False
Suppose -2*n - 21936 = 2*a, -6*a - 43878 = -2*a - 2*n. Let t = -5122525/467 - a. Which is smaller: t or -1?
-1
Suppose -96 = -2*j + 6. Suppose 0 = -52*b + j*b + 2. Let i be (-70)/4*(-4)/2. Is i >= b?
True
Let m = -24061/4 + 6015. Is 2/145 less than or equal to m?
False
Let k = -13150 + 13149. Is k greater than or equal to -6/1061?
False
Let k(l) = -2*l**2 - 18*l + 10. Let d be k(-9). Let u(t) = -23*t - 23. Let s be u(d). Let n = -2785/11 - s. Is 1 equal to n?
False
Let z be (-1)/21*40494/8. Let k = 241 + z. Suppose 0 = -27*q + 29*q + 2. Which is greater: q or k?
k
Let m = -0.22 + 0.16. Let l = 