. Let b = 436/549 + t. Which is greater: 1 or b?
1
Let t = 2181 + -2087. Which is greater: t or 3/10?
t
Let q be ((-71764)/55)/(-4) - 4. Which is smaller: 323 or q?
q
Suppose -15250 = 55*b - 47226 - 154474. Is 3391 less than or equal to b?
False
Suppose -16*y + 154 = -82 - 20. Which is smaller: 186/11 or y?
y
Let a = -879 + 198. Are -682 and a unequal?
True
Let x(a) = -1 - 2*a + 7*a**2 + 0*a**2 + 4*a**2. Let j be x(-1). Suppose -4378254 + 4380256 = 182*u. Which is smaller: u or j?
u
Let o = -20456 - -17088. Is -3368 at least as big as o?
True
Let c(l) = -18*l**2 - 54*l + 104. Let r be c(-15). Which is smaller: 1/5 or r?
r
Let y be -3 + (-4)/(-2) - (895 + 5). Let m be 1/y*((-60)/5)/6. Which is greater: m or -1?
m
Let k = -887 - -438. Which is smaller: k or -2?
k
Let z be 1*-1 - 15/(-13). Let m = -114955.2 - -114954. Which is bigger: m or z?
z
Let v = -372401/71 - -5245. Which is smaller: 3/7 or v?
v
Suppose 2*y + f = 776, -4*y + 2*f + 1546 = f. Suppose -4*t + 5*k - y = 0, 3*t + 254 = -2*k - 42. Let l = -77 - t. Which is smaller: 83/4 or l?
83/4
Suppose 3*n + 180 = 4*g, 9*g + 212 = -4*n + 5*g. Let b be (-130)/n + 3/(-2). Which is greater: 2 or b?
2
Let z = -1377 - -310. Which is greater: z or -3/5?
-3/5
Let i = 15442 + -14745. Is 699 bigger than i?
True
Suppose 54*m - 3808 = 70*m. Let y = m - -2195/9. Which is greater: y or 5?
y
Suppose 3*l + 15*l = 5670. Let n be 1 + (66/l*-19 - -3). Is n at most -1?
False
Suppose -4*k - 3*a + 1081 = 365, k = -5*a + 162. Which is greater: 180 or k?
k
Suppose 4*q = -t + 235, 4*t - 35 = -q - t. Let u be (q/36)/((-20)/(-1752)). Which is bigger: 144 or u?
u
Let r = 2/3195 + -9593/12780. Which is smaller: -1610 or r?
-1610
Let h be (1 - 9)/1 - (-75 + 2). Is 637/10 less than or equal to h?
True
Let h be 4/(-33)*-27 - (-2 + 7 + -1). Suppose -3*d + 8*d = 15. Suppose 2 - 5 = d*n. Which is smaller: h or n?
n
Suppose 2*h = -3*w - 803, -5*h + 20 = 2*w + 559. Which is smaller: w or -3994/15?
w
Let y = 5211.9 - 5211. Let s = 32 + -22. Let d be s/8*(-9)/45. Which is bigger: d or y?
y
Let z = 94 - 62.1. Let c = 13.9 - z. Is 1/2 greater than or equal to c?
True
Let p be (2/(-6))/((-25)/15 - -2). Let k be p/(2 + 140/(-92)). Which is smaller: k or -3?
-3
Let u = -368 + 573. Suppose 3*n + 2*n - u = -5*k, k - 3*n = 25. Let t = k + -35. Do 1 and t have the same value?
False
Let a be (14 - 182/14) + 0. Which is greater: 6/85 or a?
a
Suppose 10*s - 26 = 4, 2*s = -5*h + 136. Which is bigger: 115 or h?
115
Let y(c) = -6*c - 377. Let u be y(-46). Let i(d) = -101*d**3 - 2*d**2 + d. Let s be i(1). Which is smaller: u or s?
s
Let s = 64 - 79. Let i = s - -14. Let g be (-35)/(-2)*(-8)/190. Which is smaller: g or i?
i
Let j = 65 - 62. Let w be 86/4 - (-3)/6 - j. Let h = -14 + w. Is h >= -3?
True
Let c be (2 + -1)/((-175420)/(-17540) + -10). Which is bigger: c or -1?
c
Let d = -135 - -270. Let t = -138 + d. Which is smaller: t or 4?
t
Let x be (1 + 0)/(((-60)/18)/(-10)). Let b(v) = 4 - 7*v**x - 6*v**2 - 6 + 5*v**3 + 2*v + v**3. Let q be b(-6). Which is bigger: q or -13?
-13
Suppose 249 = 32*r + 2329. Which is smaller: r or 5?
r
Let z be 1148/(-369) - (-1)/9 - 5775. Does -5778 = z?
True
Let f = 29/18 - 59/45. Which is smaller: -86 or f?
-86
Let r(y) = 9085*y - 36342. Let q be r(4). Let p be (1/4)/((-4)/38). Do p and q have the same value?
False
Let u(v) = v**3 - 7*v**2 + 5*v - 11. Let f be u(7). Suppose 35*m - f*m - 1452 = 0. Is m at least as big as 132?
True
Let l(z) = -13*z - 81. Suppose 3*b - t = 4*b + 5, t + 23 = -4*b. Let q be l(b). Which is smaller: -3/2 or q?
q
Let x(q) = -q**3 + 4*q**2 - 5*q + 5. Let k be x(4). Let g be (-69)/12 - (-30 - 3 - -43). Is g <= k?
True
Let v = 2339/2 - 33916/29. Which is bigger: 4/9 or v?
4/9
Let u be (28/(-35))/(18715/(-2675) + 7). Is -2358/11 < u?
True
Let p = -119/52 + -32/13. Let c be 38/(-8) - 1/4. Which is bigger: p or c?
p
Let x(l) = l**3 - 47*l**2 - l + 689. Let i be x(52). Is i at most 1/3?
False
Suppose 29*b - 34*b + 3*l = 2901, 5*b + 2897 = l. Let x = b + 587. Which is smaller: 38 or x?
x
Suppose 0 = 2*q + 86*u - 82*u - 24, -3*q - 2*u + 16 = 0. Which is smaller: q or 337?
q
Let a be 7 - (-59022)/(-8364) - 2/(-17). Let l = a + -241/6642. Is l at most as big as -1?
False
Let z = -110 + 126. Suppose a + 6 = 10*s - 11*s, 2*s = -3*a - z. Which is greater: a or -6?
a
Suppose 106688 = 3*u - 19*u. Let r = -7054745/1058 - u. Which is bigger: r or 0?
0
Let b = -26888 + 27199. Which is bigger: b or 2?
b
Suppose 111*y - 125039 = 156457. Is -1/4 at most y?
True
Let z = -29 + 54. Suppose 3*d - 15 = 20*r - 16*r, z = 5*d. Are r and -9.9 non-equal?
True
Suppose 3*n - 6*n + 888 = 3*n. Suppose -2*j - 4*y + 9*y + 197 = 0, -4*j + 364 = -4*y. Let h = j - n. Which is greater: h or 1?
1
Suppose -2*h - 6 = -3*y, 0 = -h - 0*h + 3. Suppose 2*o = -5*p + 17, -y*o + 2*p = -0*p - 70. Suppose t = -o + 15. Is t <= -1/3?
True
Suppose -2*h - 10 = 4*k, h - 9*k + 4*k - 16 = 0. Which is bigger: h or -1483/2?
h
Suppose -2*g + 1232 = -3*p, 4*g = -5*p - 2480 + 412. Is p bigger than -408?
False
Let x be (-1 + 2640/2630)/(7/168*4). Let g(h) = h**2 - 3*h + 1. Let d be g(2). Is d greater than x?
False
Let p = 18537 - 14774. Which is greater: 2/9 or p?
p
Let p = 9 + -13. Let g = -58/127 - 159407/508. Let o = 309 + g. Does o = p?
False
Let j = 174 - 10. Let i = j + -183. Which is smaller: i or 2/7?
i
Let s = -95562.61 + 95985. Let h = 422 - s. Is h less than -0.01?
True
Suppose -3*v + 263 - 266 = 0. Let p(j) = 0*j**2 - 4 + j**2 - 4*j + 3*j. Let o be p(3). Which is smaller: v or o?
v
Let m = 92 - -18. Let s = -109 + m. Is -0.42 smaller than s?
True
Let y = -14685/287 - -358/7. Suppose -26 + 10 = -16*l. Is l < y?
False
Suppose -5*x - 343 = 5*r + 147, -4*x = -r + 407. Let p = x - -116. Let i be 10 - p - 674/(-134). Which is smaller: -1 or i?
-1
Let c = 464993197951/13098 + -35501084. Let z = 1/222 + c. Which is greater: 1 or z?
1
Let h(w) = 12*w**2 - 5*w - 9. Let y be h(5). Suppose 0 = 2*z + 3*a - y, 5*a - 76 = 2*z - 358. Is 137 smaller than z?
False
Suppose 3*w = -13*q + 15*q - 225, 4*w + 300 = 2*q. Let h = 118 + -195. Which is smaller: w or h?
h
Let k = 512126/83 + -6170. Let r be (-22)/18 + (-10)/(-45). Which is smaller: k or r?
r
Let l be 424/5 + (6/5 - 1). Let v = 86 - l. Let j = -394 - -12212/31. Which is greater: v or j?
v
Let c(w) = w**3 - 7*w**2 + 7*w + 6. Let q be c(6). Suppose q = 3*k - 0*k. Suppose -k*r = 4*s - 40, 3*s - 2*s - 3*r - 18 = 0. Which is bigger: 13 or s?
13
Let y(r) = -2*r**2 - 39*r - 75. Let z be y(-17). Suppose 0*n = -3*n - 45. Let h be n/(-2)*(-6)/(-5). Which is bigger: h or z?
z
Suppose -46*p - 4*f = -42*p + 52, 37*p - 5*f = 65. Let g = -2367 - -42581/18. Which is greater: p or g?
p
Suppose -l - 56 = q, l - q - 14 = -72. Suppose 142 = -10*s - 428. Is s greater than l?
False
Suppose -1 = o - 4*r, 2*o - 2*r - 2*r = 2. Let h be ((-3)/15)/(o/(-15)). Let x be (-6468)/(-7910) - (-8)/(-10). Is x less than or equal to h?
True
Let u = 8460 - 8446. Do -0.68 and u have the same value?
False
Suppose -2*n = 4*l - 24, -3*n + 6 = 2*l - 14. Which is smaller: -358 or n?
-358
Let z = -59.76 - -58.76. Do z and 0.4 have different values?
True
Suppose 0 = 1122*w - 886*w - 7316. Suppose -3*k + 0 - 12 = 0. Do k and w have different values?
True
Let h be ((-51)/68)/((-1)/(-4)). Let t = -214 - -216.5. Is h equal to t?
False
Suppose -2*d + 28 = 3*h - 207, -146 = -2*h - 4*d. Suppose 86*p + 5 = h*p. Which is bigger: p or -16/11?
p
Let a = 7059 - 2960. Which is smaller: -0.1 or a?
-0.1
Let h = -424851/45320 - 3/5665. Let g = -12 - -2. Which is greater: h or g?
h
Let f = 0.35047 + -0.35047. Which is smaller: 1480/13 or f?
f
Suppose 0 = -5*c - 4*z - 99, -2*z = -c + 2*z - 15. Suppose 3*q - 15 = 2*n, 20 - 5 = 3*n + 3*q. Which is greater: c or n?
n
Let k = -3 - 0. Suppose 24 = 7*n - 4*n. Let q be k*(n/4 + -1). Is q > -2?
False
Let m = -15 - -40. Suppose -m = 4*j - p + 4*p, 15 = -2*j + p. Let x be j + 288/40 + (-79)/245. Which is smaller: x or 0?
x
Let z be (-18*(-2)/2)/(-1). Let y be z/27 - (-148)/6. Suppose -y*s = -25*s - 30. Is -30 < s?
False
Let p = 2493.8115 + -2493.6. Which is greater: -0.06 or p?
p
Let r = -783 - -342. Are -444 and r nonequal?
True
Let c be (-183841372)/9075 + (1 - -1). Let u = c - -20256. Which is greater: 0 or u?
0
Let u = 