alse
Let x be ((-76)/(-10))/((-3)/(2 + -167)). Suppose -5*y - x = -24*y. Is y less than or equal to 22?
True
Let r(y) = -y - 3. Let b be r(-7). Let x(n) = 3*n**2 + 4. Let p be x(b). Let v(k) = -k**3 + k**2 - 2*k + 51. Let c be v(0). Is p at least c?
True
Let s = -2037/17 - -1224152/10217. Which is smaller: s or -1/2?
-1/2
Suppose -3*j + 88 = 4*b, -2*b - 20 = -2*j - 78. Suppose 12*f + b = 13*f. Suppose 0 = -3*s + 2*z + f, -3*s - 5*z - 2 = -5*s. Which is greater: 10 or s?
s
Let i be (5 + 70/(-15))*15. Suppose 27 = -i*u + 4*h + 122, -4*u + 3*h = -76. Is u > 19?
False
Let x(y) = 5*y + 4. Let k be x(5). Let c be 4/((-6)/48 - 1/(-4)). Suppose 4*t - 12 = 0, 2*q - 37 = -3*t + c. Which is bigger: k or q?
q
Suppose 5*b - 765 = -4*n, 2*b = -0*n + 3*n + 283. Let o = b - 150. Is o not equal to -9/43?
True
Suppose i + 3*b + 28 = 6*i, 2*i - 5*b - 15 = 0. Suppose i*c = c + 800. Which is greater: c or 199?
c
Let f = -168.028 + 168. Let t = f - 13.972. Which is bigger: t or -7?
-7
Let g(j) = 402 - 192 - 207 - 3*j. Suppose 10 = -4*y - a, y + 5*a = 2*y + 13. Let p be g(y). Is 12 less than p?
False
Let w = -872494/17 - -51338. Let t(z) = z + 13. Let h be t(1). Are h and w equal?
False
Suppose 36*n = 44*n + 408. Is n less than -673/13?
False
Let v be ((-5)/(-10400)*-13)/(696/(-10)*1). Which is bigger: v or -1?
v
Let i = 1/36788 - 24795131/698972. Which is smaller: -34 or i?
i
Suppose -4*u - 322 = -0*j + 2*j, 0 = -u + j - 85. Let m = u - -79. Let x be (-3)/(-4 - -7)*(0 + m). Is 8 bigger than x?
True
Let q = -11 - -18. Let w be 4/8*0/(-50). Which is bigger: w or q?
q
Let j = -0.04 - 0.22. Let v = j + 0.16. Let m(r) = -2*r + 66. Let k be m(18). Which is bigger: v or k?
k
Let c be (-1)/(12/(-40))*(-388 + -2). Let k = 3947/3 + c. Which is greater: k or 16?
16
Let r be (-1)/3*21 + -153. Let y = 151 + r. Which is bigger: y or -8?
-8
Suppose 3*w - 966 = -12*a + 8*a, 5*w = -a + 1593. Suppose -w*n = -328*n. Let z be 8/(-6)*9/46. Which is bigger: z or n?
n
Let c be 0 - 0 - (-15 + 11). Let j be 6*c/204 + 87/(-17). Let u = j + 12. Which is bigger: u or 5?
u
Let a(s) = 207*s**2 + 6*s + 8. Let j be a(-1). Let q(d) = 2*d**2 + 10*d. Let h be q(-13). Which is bigger: h or j?
j
Suppose 250067 + 678110 = 201*a - 580529. Which is smaller: 7504 or a?
7504
Suppose -16*w - 354 = -22*w. Let q be -5 - 4/((-4)/5). Let f(g) = 2*g**2 + g + 59. Let t be f(q). Are w and t non-equal?
False
Let k be -2000 + (0 - -3) + 129/43. Is k != -1993?
True
Let v be (-144)/384 - 86/(-16) - -17. Let p = 2 + 21. Which is smaller: p or v?
v
Let q be (0 + (-10)/(-4))/(52/728). Let s(v) = 2*v - 77. Let c be s(q). Which is bigger: -3 or c?
-3
Suppose 3*f + 22 = 28. Suppose -2*z - f*z + 21 = -3*b, 4*z = 12. Which is greater: -1 or b?
-1
Suppose -24949 - 19358 = 105*t - 6402. Is t at least 0.5?
False
Let c = -6914.7 + 6946. Is 0 less than or equal to c?
True
Let h(f) = -4*f**3 + 12*f**2 + 11*f - 10. Let m be h(-5). Let p = 566 - m. Is 1 less than or equal to p?
False
Let h = -3205.7 - -3198.7. Let j = 0.1 + -1.1. Which is smaller: h or j?
h
Suppose -28*s - 3*s + 2077 = 0. Suppose -104 = 9*j + s. Which is greater: -6 or j?
-6
Let u be (6 - -2)*6/48. Let b = -1783 + 802351/450. Do b and u have the same value?
False
Let r be 6*(7 - (-41)/(-6)). Which is bigger: r or 1/1183?
r
Let i be -38 - -46 - 5/(5/2). Let p be ((60/(-2975))/i)/(2/10). Suppose -q + 3*q = -2. Are q and p equal?
False
Let a = 264 + -265.07. Let m = a - -1.17. Let j be (-3)/(-23)*8/(-8). Is m smaller than j?
False
Suppose -4*s + 736 = -j + 4*j, -2*j + 4*s = -484. Let w be (-4797)/(-2665) + 4844/40*2. Do j and w have the same value?
True
Let c = -0.086 + -2.914. Let j be 8 - (-2 - 1 - -2). Suppose j = 4*d - d. Which is smaller: d or c?
c
Suppose -28*o - 270 = -18. Let b be o - (6 - (12 + 2)). Do -526 and b have different values?
True
Suppose -5*c = x + 1057, -8*x + 3*c + 4211 = -12*x. Let k = x + 46285/44. Let v = 2 - 1. Which is bigger: k or v?
v
Let g be (168/130)/(-1 + (-238)/(-140) + -1). Suppose 0*f - 26 = 4*o - 5*f, -2*o - 16 = -4*f. Which is smaller: g or o?
g
Suppose 351 = -s - 5*l, -71*l - 355 = s - 67*l. Are s and -370 unequal?
True
Suppose 0 = -6*p + 104 + 526. Suppose -8*m = -p - 135. Is m >= 152/5?
False
Let t = 14790/37 - 133070/481. Which is greater: 124 or t?
124
Let x(s) = s**2 - 23*s + 12. Let j be x(23). Suppose 3*m - 4 = 8*m + o, m + 3*o + j = 0. Which is smaller: m or -233?
-233
Let d be 195/(-4 - (-3 - (-4)/(-2))). Suppose d = 2*y - 2*c - 3, -10 = -2*c. Let f be (-24)/(-182) + 16/y. Which is greater: f or -10?
f
Suppose -4*u = -16, u + u - 364 = r. Let d = r - -359. Is 0 < d?
True
Suppose -5*o = -5*i - 105, 0 = -o + 2*i + 240 - 224. Is o >= -2?
True
Let g = -3777 + 4226. Does 0 = g?
False
Let u = -956 + 994.9. Let k = 0.9 - u. Which is bigger: k or -2?
-2
Let i(w) = -91*w**3 + w**2 + 2*w + 1. Let t be i(-1). Suppose 16 = -5*f + t. Let x = -1.2 - -0.2. Is x less than or equal to f?
True
Let f = 3 - 2. Suppose -26*b + 39*b = -13390. Let x = 19576/19 + b. Is f greater than x?
True
Let h = 912 + 357. Which is smaller: h or 1?
1
Let c = -4865 - -4844. Is c smaller than -396/19?
True
Let p = -442 + 846. Let w be 100/75*6/p. Which is bigger: -1 or w?
w
Let c be 1728/21 + 2/21*-3. Let q(t) = 5*t. Let j be q(16). Which is greater: c or j?
c
Suppose 55*f + 3385 - 51309 = 1521. Is 1/2 > f?
False
Let a(t) = -t**2 - 170*t + 2. Let h be a(-5). Is h not equal to 827?
False
Let o be (-2)/(-86980)*774/(-387). Is -1 != o?
True
Let w(h) = -h**3 + 8*h**2 - 5*h - 8. Let t be w(7). Let b be 3248/(-18502) - (t/(-11))/3. Does 0 = b?
False
Let u be 15/(-12) + (-30679)/(-396). Which is smaller: 77 or u?
u
Let f = 749545390/4171 + -179704. Is f greater than -2/3?
True
Suppose -2*b - 2 = -4*h + 20, -2*h + 5*b - 9 = 0. Let c be -1 + -3 + h + -2. Let v = 2/313 - -3742/2191. Which is bigger: c or v?
c
Suppose -56 = -2*a + z, -9 = -2*z - 1. Suppose -378 = 12*b - a. Do -23 and b have different values?
True
Let p(a) be the second derivative of a**5/20 + 23*a**4/12 - 8*a**3/3 - 7*a**2 - 16*a. Let h be p(-24). Let m be (-32)/20 - -2 - h/10. Which is smaller: 2 or m?
2
Let t(g) = g**3 - 12*g**2 - 16*g + 25. Let a be t(13). Let b(d) = -d**2 - d + 52. Let l be b(a). Is -129 less than or equal to l?
False
Let m be (-1554)/74*12/42. Which is greater: 36 or m?
36
Let g = -4 + 4. Let h be (-8)/(-52) - (7600/(-143))/2. Let l = -27 + h. Which is smaller: l or g?
l
Let b be 3 + (70/(-7) - -7). Suppose b*z - 3*z = -3*n + 870, -2*n = 3*z + 865. Which is smaller: z or -287?
z
Let v(q) = 4*q**3 + 2*q**2 + q + 1. Let g be v(2). Let j = 197188 - 197146. Is g > j?
True
Suppose -7620 + 7615 = 5*c. Which is greater: -975 or c?
c
Let w = 725 - 727.29. Let f = w + 2.59. Let t = 3 - 1. Which is bigger: f or t?
t
Let q = -2317 + 1373. Let k be 22/(-12)*(q/3)/(-4). Let d = k + 144. Which is greater: d or 0.9?
0.9
Let m = -2599 + 2846. Is m less than 1/4?
False
Let k = -255.39 - -0.39. Let r = k + 255. Do 26 and r have different values?
True
Let g(j) be the first derivative of j**2/2 - 7*j - 14. Let t be g(8). Suppose 4*c - 2*c = 0. Is t < c?
False
Suppose 32*o + 97966 = -24882. Is -3838 greater than o?
True
Let d = 404 - 2202. Let y = -12620/7 - d. Suppose 7 + 13 = -5*w. Is y > w?
False
Let m = -169 + 337. Let b = m - 284. Are -116 and b equal?
True
Let s(t) = 2*t**2 - 86*t + 47. Let b be s(35). Let g = 581 + b. Is g <= 68?
True
Suppose -9346 + 2631 - 9455 = -165*b. Which is smaller: 99 or b?
b
Let h = -8745 - -9702. Which is bigger: 956 or h?
h
Suppose -3*m - 92*j + 86*j = -174, 4*m = 4*j + 148. Is m < 1814/41?
True
Let v = -14239 - -4020. Is 0 < v?
False
Suppose 9*h - 15*h = 12258. Let s = -263549/129 - h. Is 0 smaller than s?
False
Let n = 124 + -617/5. Suppose 6*g = 8*g - 20. Suppose g*h - 12 = 14*h. Which is smaller: h or n?
h
Let l(k) = k**2 - 3*k + 102. Suppose 0 = 6*m - 3*m - 0*m. Let u be l(m). Is u <= 101?
False
Let y = -329 + 333. Suppose -2*i - 10 = -4*d, y*d + 0 - 6 = -2*i. Is i > -1/15?
False
Let t = -701 + 698.9. Does t = -26?
False
Suppose 7*i - 10*i = 0. Let u = -8 - i. Let f = -2 - -3. Is u less than f?
True
Let s(g) = -3*g + 238. Let c(p) = p - 119. Let w(x) = -5*c(x) - 3*s(x). Let b be w(12). Is b greater than -74?
True
Let k = 2359993/116318 - 771/38. Are 1 and k no