an 5/48?
True
Let b(a) = a**2 - a - 3. Let g be b(-2). Suppose -5*q - 39 = 2*w, 0 = 6*w - 4*w - g*q + 15. Let j be 7/(35/15) + 41/w. Are 0 and j unequal?
True
Suppose -123*f = 116*f - 250*f - 209. Which is bigger: f or -395?
f
Suppose 9*c - 2*c = -35. Let a(p) = -p**3 - 6*p**2 + 6*p - 17. Let b be a(-7). Let v be c - -1 - (6 - b). Is -20 smaller than v?
False
Let v = -6 + 6.3. Let b = v - 0.4. Let q be (3 + 108/(-5))*(11 - (-994)/(-84)). Do b and q have different values?
True
Suppose 0*g + 20 = 5*g. Let d be 91/(-77) - g/(-22). Let s be (4 + -3)/(d - -94). Is 0 < s?
True
Let w = 14.99 - 15. Let v = -8.01 - w. Let c = 0.72 + -0.82. Is c smaller than v?
False
Let s be 6/20 + 245949/(-397155). Is 1 < s?
False
Suppose 0*a + 3*a - 5*i + 63 = 0, 0 = 3*i. Let b be (a - (-2)/2)*(-6)/(-8). Let h be b/(-10)*(0 + 12/9). Is 8/5 greater than h?
False
Let w = 728 + -294. Let t be -1 - w/12 - (-4)/24. Let o = 46 + t. Which is smaller: 10 or o?
o
Suppose 27*t = 33*t + 222. Suppose 441 = -8*w - w. Let c = 13 + w. Which is greater: c or t?
c
Let m(a) = -6*a - 28. Let u be (-86)/18 - 4/18. Let s(w) = -9*w - 42. Let g(x) = u*s(x) + 8*m(x). Let z be g(-5). Is z < -6/35?
False
Let d be ((-80)/(-100))/((33/3)/(-770)). Let h be 4/18 - (-497)/(-9). Which is bigger: h or d?
h
Let l(y) = -142*y**2 - y - 9. Let o be l(-3). Let d = -2521/2 - o. Is 24 at least d?
True
Let o = -365 + 301. Let s be ((-30)/o)/(117/78). Which is smaller: s or -1?
-1
Let d = -10293 + 9950. Is -345 equal to d?
False
Suppose 21*j - 2*j - 57 = 0. Let r(z) = 24*z - 60. Let t be r(j). Is t smaller than 17?
True
Let g be (-8)/(-1)*(-69)/(-6). Let m = -98 + g. Let z be m/4*2/(-6)*68. Which is smaller: 33 or z?
33
Suppose 0 = 15*t - 29*t + 7*t - 30744. Are -4392 and t equal?
True
Let v be 14/(-6) - 7/(-21). Let g be ((-17)/3 - v)*-3. Suppose 3*p + 9 = 4*o, 6*o = p + 2*o + g. Which is smaller: p or -1/67?
-1/67
Let p(i) = -i**3 - 8*i**2 - 9*i + 6. Let w be p(-5). Let o be -6 - (34/2 - (17 + -20)). Is w greater than or equal to o?
True
Let y(f) be the third derivative of f**6/120 + 2*f**5/15 - 5*f**4/12 - 2*f**3 - f**2. Suppose 65*z = -7350 + 6765. Let l be y(z). Is -2 greater than l?
True
Let f be (-3)/(-60) + (-8)/32 + 2161/80. Is 26 less than or equal to f?
True
Let t(j) = j**3 - 6*j**2 + j - 10. Let c be t(6). Suppose 26*z + 75 + 3 = 0. Which is smaller: c or z?
c
Let h = 3229 - 3203.59. Let n = 0.41 - h. Let c = -6 - -5. Which is smaller: c or n?
n
Let n(m) = -2*m - 3*m**2 + 1 + 2*m**2 + m. Let q be n(0). Let o = 11883 + -11884. Is o less than q?
True
Let t = -70 - -4.2. Let o = 58 + t. Let v = 7.77 + o. Which is smaller: 0 or v?
v
Let a(k) = -k**2 + 3*k - 3. Let i be a(4). Let m = 2/69005 - 3036234/483035. Which is smaller: i or m?
i
Suppose -5*a = 3*q - 18, 0 = -2*a + 2*q - q + 5. Suppose -3*w = -4*k - 0*k - 346, w + 253 = -a*k. Let h = 85 + k. Is 1/10 at least as big as h?
True
Suppose -v + 1 = -q + 3, -2*q + 4 = v. Let a be (v + 2)/(2/4). Let y = 1437 + -5735/4. Is a greater than y?
True
Suppose 0 = 2*u - 3*k + 1, -135*k = 2*u - 137*k. Do -0.8571 and u have the same value?
False
Suppose 0 = -0*d - 3*d + 4*w + 6, 3*d = -4*w + 30. Let n be 17/54 + (-1)/d. Let z(r) = -r**3 + r**2 + 23*r - 43. Let b be z(4). Is n >= b?
False
Let j be 3/3 + 2/(-1576)*292*3. Which is smaller: -1/7 or j?
-1/7
Let q(a) = 10*a**2 + 24*a - 15. Let x be q(-3). Which is greater: x or 49/20?
x
Let v be ((-44)/220)/((-371)/2). Which is greater: 0 or v?
v
Suppose 71*p = 74*p - 4*v - 1354, 1410 = 3*p + 3*v. Which is bigger: 463 or p?
463
Let s be -6*2*(1 - (-244)/24). Which is smaller: s or -129?
s
Let s be 5 - (2 + -2 - -2). Let v(w) = 2*w**2 + 7*w + 1. Let r(l) = 3*l**2 + 14*l + 2. Let a(i) = -3*r(i) + 5*v(i). Let h be a(7). Which is bigger: h or s?
s
Let f = 86819/12 + -7235. Which is bigger: -2/15 or f?
f
Let g = 4848 + -4804. Is g equal to 357/8?
False
Suppose 5513 = 26*a + 66639. Is a < -2350?
True
Let l = 932.4 - 179.4. Which is bigger: 0.1 or l?
l
Let c = 19.15 + -0.15. Let y = -466 - -345. Let o = y + 725/6. Which is greater: o or c?
c
Let c(l) be the first derivative of l**3/3 - 9*l**2/2 - 161*l + 136. Let u be c(-9). Which is greater: -6/23 or u?
u
Suppose 0 = 13*k + 116 - 558. Suppose -r + k*o = 33*o + 496, 4*r + 3*o = -1977. Is r greater than or equal to -494?
False
Suppose -3*x + 281 = -g - 394, 1125 = 5*x - 5*g. Suppose 3*f - 8*f + 1115 = 0. Do f and x have the same value?
False
Let l(f) = -f**2 + 3*f - 2. Suppose 0 = 3*q - 2 + 8, 12 = s - 5*q. Let j be l(s). Let m be (-20)/(-44)*124/(-310). Is j at least as big as m?
True
Let z be 22/(-60)*-2 - (-396)/(-297). Which is smaller: z or 0.4008?
z
Let w = 765/1522 + -2/761. Let d be ((-6)/80)/(42/(-5)). Which is smaller: d or w?
d
Let o = -19070 + 15420. Which is greater: o or -2?
-2
Let y = -20591 + 20914. Is y > -26?
True
Let t be (5 + 13)*(-128)/(-96). Is 0.02 greater than or equal to t?
False
Let x be 10*2/25 + 52/10. Let u(v) = -v**2 + 7*v - 3. Let r be u(x). Suppose 5*a + r = 4*a. Do a and -2 have the same value?
False
Suppose -7*t - 130 - 885 = 0. Let b be 7/(-20) - (-58)/t. Which is smaller: 0.06 or b?
b
Let c be ((-20)/(-3))/((-4)/6). Let l be (-5)/(-2)*(-8 - c). Is l >= 19/5?
True
Let k(f) be the third derivative of f**4/8 + 85*f**3/6 - 32*f**2. Let m be k(-28). Let t be (-136)/190 - (-4)/10. Is t < m?
True
Let a be (-10*2)/(104/(-78)). Suppose -210 = -a*c - 15*c. Is c at most as big as -0.017?
False
Suppose 9*l = 6436 + 2240. Suppose -l + 864 = -4*z. Are 26 and z equal?
False
Let g be (-10 + 2158/91)/(2/21). Let r = g + -145. Which is smaller: 47 or r?
r
Let y be 450428/(-64350) + -4 + 11. Do 1 and y have different values?
True
Let m(h) = -h - 5. Let g be m(-9). Suppose -s - 8 = -5*x, x - 3*x = g. Let p be (-9)/(s/(-4)) + 0. Is -17/5 smaller than p?
True
Suppose -19*c + 2896 = -3*c. Suppose -28 = -17*y - c. Is y <= -14?
False
Let k be 106653/(-26664) - (-11)/((-165)/(-60)). Which is bigger: -1 or k?
k
Let i = 10944 - 12374. Do -7147/5 and i have different values?
True
Let w = 22981/5 - 4596. Let y = 38 - 57. Let s = y - -21. Which is smaller: s or w?
w
Let i = -4305 - -4223. Is -0.07 bigger than i?
True
Let t(g) = g**2 - 85*g - 271. Let v be t(91). Is 280 greater than v?
True
Suppose 3*v - 14*y + 9*y = -38, -y + 3 = 4*v. Which is bigger: -21/148 or v?
-21/148
Let l(y) = 4*y - 9. Let d be l(0). Let n = -32 - d. Let h be (n/9 - -3) + (-6)/(-27). Which is bigger: h or 1/4?
h
Let l be ((-5)/((-5)/6))/((-48)/(-72)). Suppose -3*p + 51 - l = 0. Suppose 0 = 13*b - p*b. Is b < 0.09?
True
Let u = -2 + 2. Let p be (-16)/255 + 7254/(-270) + 27. Which is smaller: p or u?
u
Suppose 0 = 2*k + 31 + 7. Let p = 260 - 260. Let r be p - (21 + -2 + 1). Is k bigger than r?
True
Let g(r) = -44*r + 1. Let j be g(-6). Suppose 0 = -9*h + 14*h - j. Let l = h - 43. Is l != 8?
True
Let s be (-2945370)/(-10530)*4699506/10. Let b = s - 131450817. Let k = 1108/9 - b. Is -1 at least as big as k?
False
Let c be 15 + ((-10700)/35)/20. Which is greater: 149/4 or c?
149/4
Let r = 433 - 82. Let y = -353 + r. Which is smaller: y or -84?
-84
Let l = -28.9 + 18.7. Let v = -9.2 - l. Is v smaller than -43?
False
Let k = -37 + 75. Let g be 2 + 1 - (-1*k - -4). Suppose g + 6 = 2*h - 3*c, 0 = -3*h - 3*c + 27. Which is smaller: 15 or h?
h
Let l = 57 + 43. Suppose 10*d - l + 10 = 0. Is d >= 23?
False
Let n = 0.269 + -3.639. Let j = n + 3.34. Is j greater than or equal to 0?
False
Let k be 3*-2*(72080/(-102) + 26). Which is smaller: k or 4082?
4082
Suppose 122*i - 544 + 3472 = 0. Suppose 104 = -5*d - 21. Which is smaller: d or i?
d
Let p = -0.01826 + 218.01826. Which is smaller: p or 0.09?
0.09
Let s = 0.19 - 0.21. Let g = -22.02 - s. Let o = g + 23. Do 1/4 and o have different values?
True
Suppose 43*u + 6732 = -1653. Suppose -r = r + 388. Which is bigger: r or u?
r
Suppose -6*s = 12*s + 972. Let y = s + 107/2. Let c = -4.64 - -0.24. Is c smaller than y?
True
Let u = -34 + 38. Let p be 472/10 + 3 + u. Let a = 54 - p. Which is greater: a or 4?
4
Let l = 995801/32214 + -2383/78. Let f = 4/59 + l. Which is bigger: f or -2/5?
f
Suppose -5*p + p + 4 = 0, m - 5*p - 31 = 0. Let v be 10/12 - m/(-216). Are v and 2/1567 equal?
False
Suppose 0 = -4*b - 4*i - 72, -b + 3*b - 2*i + 16 = 0. Let m be 12/b*2/(-6). L