an or equal to x?
True
Suppose -1513 = -4*g - 3*w - 469, 4*w = g - 261. Which is smaller: 260 or g?
260
Let r = 3.508 + -3.778. Let y be (1 - 3) + 0 + 3. Which is greater: r or y?
y
Let f = 27 + -24. Let z(o) = -o**3 + 4*o**2 - 4*o + 4. Let k be z(f). Let q = 2 + -1. Are q and k equal?
True
Let s = 75 - 36. Is 37 at most s?
True
Suppose x = 2 - 1. Suppose 0*i + 15 = -i. Let v be 18/(-15)*i/6. Which is smaller: x or v?
x
Let v = 5120.04 - 5209. Let d = 89 + v. Which is bigger: d or 1/2?
1/2
Suppose 35*m + 102 = 41*m. Which is greater: 4 or m?
m
Let c = 72.6 - 63. Let h = -9.3 + c. Is 12 greater than h?
True
Let p = -31 + 25. Let z be (16/(-20))/(p/15). Suppose 0 = -0*o - 2*o + 10. Is z not equal to o?
True
Let j(h) = -h**2 - 17*h - 13. Let f be j(-17). Suppose -5*k - 23 = -i, i + k - 7 = -2. Let z = f + i. Are -6 and z equal?
False
Let t(w) = 5*w + 1. Let j be t(-2). Let g = j - -18. Suppose -4*n - 7 = 3*r, -5*r + 0*r - 4*n = g. Which is greater: r or 2/11?
2/11
Let g = -15 + 17. Suppose -92 + 8 = g*f. Let z be 38*1/f - -1. Is z bigger than 0?
True
Let q be (-3 - 6) + (-405)/(-75). Which is greater: -5 or q?
q
Let u = -50 - -79. Let g = 29 - u. Let o be 4*1*9/(-84). Which is smaller: o or g?
o
Let y be (1 + 10/(-4))/(6/(-16)). Suppose -3*v - 2*k - 2 = 3*k, -y*v + 7 = -3*k. Is 2/51 smaller than v?
True
Let f = -89/78 - -467/546. Let z = -0.11 - 3.89. Which is bigger: z or f?
f
Let s = -32 - -63/2. Suppose o + 5 = 1. Let h be o/(-14) + (-6)/7. Is h > s?
False
Let u = 272 - 265. Is -15 greater than u?
False
Suppose 29 = -2*m + 25. Let f be (3 - (-28)/(-8))/m. Let k(p) = p**2 - 8*p + 8. Let c be k(7). Is c at most as big as f?
False
Let h = -570 - -961. Is h at least as big as 390?
True
Let v be (-2)/(-6) + 40/15. Suppose -10*j + v*j = -56. Let l be (-65)/(-45) - 12/j. Which is greater: l or -1?
l
Suppose -b - 4*u + 2 = 0, -3*b - 2*b + 120 = -2*u. Which is greater: b or -0.12?
b
Let j(x) = -x**2 + 11*x - 28. Let t be j(4). Which is greater: t or -3/278?
t
Suppose 3*v - 366 = -5*n, 4*n + 164 = -4*v + 452. Suppose 0 = -31*k + 26*k + n. Is 17 equal to k?
False
Let p(j) = 60*j - 121. Let k be p(2). Let t = 16341531875/897 + -18217989. Let h = t + 108/23. Which is smaller: k or h?
k
Let h = 3/928 - 12549/6496. Let w = -34/23 + -1/46. Let a = h - w. Is a at least 3?
False
Let x be (518480/(-255))/((-30)/9). Let n = 610 - x. Is n at most as big as 1?
True
Let r = -5/2281 - -273905/84397. Which is bigger: r or 4?
4
Let a = -5053/63 + 664/9. Do -6 and a have the same value?
False
Let a(g) = -g**3 + 3*g - 20. Let t be a(0). Let u be (4/t)/(4/(-8)). Is 24 smaller than u?
False
Let i = 8768 + -8767. Let q = 10 - 4. Is i at least as big as q?
False
Suppose 9*a - 2014 = 28*a. Is a greater than -107?
True
Let b = -21.6 + 21.7. Does b = -32/3?
False
Suppose 130 = h + 129. Which is bigger: -2/1023 or h?
h
Let q = -3 + 6. Suppose -x = -2*s + 4*x - 9, -s - q*x = -1. Let t(g) = -g - 8. Let v be t(-7). Which is smaller: s or v?
s
Let z be ((-465)/85)/((-9)/24). Let v = -5113/340 + z. Which is bigger: v or -1?
v
Suppose 4*v + 5*z = 32, -2*z = -5*v - z + 11. Suppose -3*s = 9, 7 = v*p + p - s. Let x be 16/4 - p/1. Is 0 <= x?
True
Let g = 226 - 208. Which is bigger: g or 0.06?
g
Suppose 5*v + 20 = -5*w, w - 3*v + 24 = -8*v. Let l = 19007/304624 + 2/19039. Is w less than l?
False
Suppose -225 = -7*h - 36. Which is greater: 55/2 or h?
55/2
Let k = 32.4 - 32.3. Let t(n) = 12*n - 4. Let g be t(4). Is g at least k?
True
Suppose 2 = 38*l - 36*l. Let z be (-4)/(-25)*(-5)/(-38). Is z > l?
False
Let x(z) = z**2 + 5*z + 4. Let u be x(-4). Let v be (6/(-10305))/((-8)/19276). Let d = v + -2/687. Do d and u have different values?
True
Suppose 19*s = 8*s - 242. Which is smaller: -26 or s?
-26
Let o = -2 - -6. Let q be 12 - (0 - (-8)/o). Is 1 less than or equal to q?
True
Let t be 3/21 - (-54)/14. Suppose 2*n = t*v + 41 + 145, 4*v + 2*n + 206 = 0. Let o be ((-6)/v)/((-4)/(-7)). Which is smaller: -1 or o?
-1
Let r be (-4)/(-20) - 38/(-10). Suppose -2*t = r*o - 5*t - 19, -2*o = -4*t - 12. Let x be (38/57)/(o/(-18)). Is x > -12/7?
False
Let u be 10 + (11 + -860)*-1. Is u != 859?
False
Suppose -23*k = -2170 + 8. Which is greater: 97 or k?
97
Suppose 2*z = -m - m - 186, 2*z = -4*m - 192. Let d be -38*(-3)/z - -1. Are 1 and d nonequal?
True
Suppose 7*t - 10*t = -2*s + 29, 0 = -2*t - 2*s - 36. Do -85/7 and t have the same value?
False
Let p(r) = 31 + 10*r + 4*r - 470*r**2 + 458*r**2 - r**3. Let q be p(-13). Which is bigger: 20 or q?
20
Let r = 20870/41 + -509. Let p = 45/164 - r. Is -0.8 at most as big as p?
True
Let x(l) = -l**2 - 9*l - 13. Let r be x(-9). Let a be (1/1)/(1/r). Let i = a - -15. Is 0 smaller than i?
True
Let x be 0/7 + 0 + 2. Let a be x - 6 - (5 + 1/(-1)). Let l be (1 + 0)/(2/(-18)). Which is smaller: l or a?
l
Let i = -4125 + 94855/23. Is i bigger than -1?
True
Let p be (-1246)/16 + (-10)/(83 + -3). Which is smaller: -87 or p?
-87
Let i be ((-14)/(-2) - -2)*-5. Let a be 27/(-60)*i/54. Which is bigger: 2 or a?
2
Let m = 13.209 + -0.309. Let v = -9 + 22. Let q = m - v. Which is greater: q or 4/5?
4/5
Let v = 559 - 558. Which is bigger: v or -76?
v
Let a be 4/6 - 1530/2349. Is -1 bigger than a?
False
Suppose 0 = -3*z + 90 + 30. Suppose 0*h + 4*h - z = 0. Suppose r - 52 = -5*m - 2*r, -2*m + 4*r = -26. Is h smaller than m?
True
Suppose -2*n - 4*k = -6, -3*n - 14 = k - 3. Let b be (-4)/6 - 32/6. Is b greater than or equal to n?
False
Let d be 1215/675 - 1*3. Is d not equal to -2?
True
Let d = 0.5 - 0.4. Let n = 23 - 18. Let y be (n/2)/((-1)/(-6)). Which is smaller: y or d?
d
Let y(o) = -3*o - 6. Let h be y(-3). Suppose 7*t + 46 = h*w + 2*t, -3*w - 5*t = 4. Suppose 0 = -w*u + 11*u. Is -2 < u?
True
Suppose -2*b + 3 = 2*v - v, v - 3 = -b. Is b less than -1/363?
False
Let g be (-5)/(1 + 1 + -3). Let p be (-3)/(g/(10/33)). Let l = 0.243 + -0.343. Which is bigger: l or p?
l
Let d = -9 + 15. Let x = d + -14. Let b = x - -6. Is -0.3 bigger than b?
True
Suppose 3*a = -3*m, -3*m - a - 25 = -27. Is m greater than or equal to 15/83?
True
Let w be 2/(-5) - (-23)/(-5). Let c be (-1)/(15/(-36))*w. Suppose -47 = 5*i + 18. Is c <= i?
False
Let n = 229 + -235. Which is greater: 0.1 or n?
0.1
Suppose 3*j + 5 = -13. Let z = -129 + 993/8. Which is smaller: j or z?
j
Let j be 18/4*(2 - 56/26). Which is greater: j or -1?
j
Suppose 5*w + 25 = -0*w. Let h be 1 + (-5 - 0)/w. Is h bigger than 2?
False
Let x = -39149/10485 + 1/2097. Let p = 22/5 + x. Let i = -10 + 6. Which is bigger: i or p?
p
Let s = 497701/11790 - -11/1310. Which is smaller: s or 41?
41
Let m be (10 + (-385)/44)*(-8)/22. Is m <= 1?
True
Let a(o) be the third derivative of -o**4/24 - 5*o**3/3 + 35*o**2. Let v = 5 + -16. Let d be a(v). Which is bigger: d or 3/4?
d
Let t = -30.2 - -35.2. Which is smaller: 23 or t?
t
Suppose 2*l + 3*a = 0, 2*l - 4*a = -3*a. Is l greater than or equal to 65?
False
Let y = -109 - 212. Which is bigger: y or -320?
-320
Suppose i - 140 = -6*i. Suppose 5*z = -0*z + i. Which is bigger: z or 9?
9
Suppose 5*x + 0*x - 10 = 0, -y + 4*x = -33. Let w = -44 + 84. Which is smaller: y or w?
w
Suppose -8*x + 2*x = -24. Suppose 0*c - 3*r + 9 = 3*c, x*r - 6 = 2*c. Is c >= -1/9?
True
Suppose -4*c = -t - 149, 2*c - 2*t - 73 = -3*t. Let a = c + -34. Is 4 smaller than a?
False
Let i = -2.88 + -120.12. Let y = i + 123.3. Is y at most as big as -3?
False
Let l(u) = 15*u - 300. Let v be l(21). Which is bigger: v or 19?
19
Let n = 330 - 232. Which is smaller: 93 or n?
93
Let y(a) = -a**3 - a**2 - 7*a - 7. Let m be y(-2). Suppose -18*n + m*n = 14. Which is bigger: 0.1 or n?
0.1
Let s be (26*2/8)/(21 + -24). Suppose -1 = -5*n - 6. Is s >= n?
False
Suppose -u - 3*d - 1 = 0, -4*u + 0*u + 28 = -4*d. Suppose -2*m = v - 7*m + u, -3*m = -3*v - 3. Suppose 3*a - 3 = -v*a. Is 1 not equal to a?
False
Suppose 0 = 2*t - 0*t. Let n be 3/18*(-25 - t). Let l = n + 109/24. Which is smaller: -1 or l?
-1
Let t = -4/15 + 43/15. Let q(r) = r. Let g be q(4). Is t bigger than g?
False
Let z(f) = -f**3 + 22*f**2 + 29*f - 56. Let g be z(23). Is g at most 82?
True
Suppose 2*i + 3*z = -1, -7*i + 14 = -2*i + 2*z. Suppose 2*u = -4*t + 14, i*u + 1 = 8*u - t. Is 1/3 != u?
True
Let h be (15/(-25))/(102/(-6715)). Is 39 greater than h?
False
Let h be (-2968)/(-11) - (