 Which is smaller: s or 29?
s
Suppose 1339 = 4*v + 5*r, v - 2*r - 319 = 2*r. Let s = -1006/3 + v. Suppose -2*p = -2, 2*p = -b + 1 - 3. Is s bigger than b?
False
Let c = 332 - 469. Is c at most -0.1?
True
Let k be (-2)/(4438/(-1480) - -3). Let h be 2286/k - (-3)/4. Let g = 1/185 - h. Is 0 > g?
False
Let i(a) = a**2 - 3*a. Let h be i(0). Let v be (-15)/(-9)*1/(-5). Which is greater: v or h?
h
Suppose -17 = -r + 2*b - 4*b, 40 = 5*r + b. Let u = r + -5. Let f = -992 + 991. Which is bigger: u or f?
u
Let c(v) = -v**3 + 6*v**2 - v. Let r be c(6). Let n = 13 + -25. Let k = n - -5. Which is smaller: r or k?
k
Suppose -59*i + 62*i - 129 = 0. Suppose -i + 115 = -12*b. Do 3 and b have the same value?
False
Let y = -34 + 69/2. Suppose 472 = 8*a - 208. Which is bigger: y or a?
a
Let g(u) = -2*u**2 - 73*u - 557. Let a be g(-11). Suppose 0*t + 3*t - 3 = 0. Let y be 1/((1/2)/t). Is a less than y?
False
Let w = 0.4 - 2.4. Which is bigger: -7/16 or w?
-7/16
Suppose 30 - 5 = 5*k. Suppose -n = -k*u + 27, -2*u - 2*n = -4*u + 14. Let l = 42 - 41. Which is bigger: l or u?
u
Let u = -2/5 - 4/15. Which is greater: -2 or u?
u
Let w be 7/2*8/(-112). Let t(y) = 3 + 2*y**2 - 11 + 4*y - y**2. Let v be t(-6). Which is smaller: v or w?
w
Let a be -2 + (0 - -5) + 4. Suppose -a*f = -f. Is f < 1?
True
Let z be -9 + 3003/52 + (-2)/(-8). Do z and 49 have the same value?
True
Let g = 0.306 - 0.306. Is g greater than -459?
True
Let u = -58 - -121/2. Is u != 19?
True
Suppose -5*m + 29 = -31. Suppose 8*l - m = 4*l. Do 4 and l have the same value?
False
Let t = 33 - 4. Let n = 17 - t. Let d = -8 - n. Which is greater: -0.2 or d?
d
Let c(n) be the third derivative of -n**6/120 + n**5/30 + n**4/24 - 2*n**3/3 + 6*n**2. Let g be c(3). Which is smaller: -9 or g?
g
Let o = -156 + 79. Let u = 76 + o. Let x = -135/2 - -2299/34. Are x and u non-equal?
True
Let q be 5 + (1 - 2) - (-13 - 44). Which is smaller: q or 58?
58
Suppose 10*x + 268 + 112 = 0. Which is smaller: x or -36?
x
Let c be 17 + 1 + (-4)/(-4). Let h be (-22)/4 - c/38. Is h != -6?
False
Suppose 0 = 2*j + 4*q - 54, 3*j + 2*q = 62 + 3. Suppose 0 = -w + 5*i - j - 79, -4*w = -i + 373. Is -94 smaller than w?
True
Suppose -5*l + q = -2*q + 487, -455 = 5*l + 5*q. Is -95 greater than or equal to l?
True
Suppose 0 = -2*v + 2*f - 8, 4*f = 2*v + 18. Let u = 0 + v. Which is greater: 7/12 or u?
u
Let o(k) = -k**2 + 7*k - 3. Let b be o(7). Let q be 6/((7 + -4)/b). Is q > -1?
False
Let w be 2/17 + (-5 - 315216/(-64719)). Which is bigger: 1 or w?
1
Let b = 10206 + -10206. Let r = -1.16 + 48.16. Which is bigger: r or b?
r
Let u = 12 + 8. Suppose 0 = f - 0*f - 29. Let z = 48 - f. Is u at most z?
False
Let v(x) = 240*x - 1679. Let c be v(7). Let o = -1552 + 259182/167. Do c and o have different values?
True
Let x = 16 + -16.6. Which is greater: x or 0.1?
0.1
Let u(i) = i**2 - 5*i - 10. Let y be u(5). Let s be ((-1)/65)/(6/y). Let x be 2/(-4) + (-12)/(-8). Which is greater: x or s?
x
Suppose -13*x = -0*x - 39. Suppose -4*c = -12, 0 = -3*d - 2*c + x*c - 165. Is d smaller than -52?
True
Let m = -225 + 223. Is m at least as big as -8/5?
False
Let b = 0.78 - 1.38. Is b less than -11?
False
Let v = 107 - 98. Which is smaller: -0.1 or v?
-0.1
Let q be 10/8 - (-2)/(-8). Let b = -6 - q. Let h be 94/(-14) + 2/(-7). Is b > h?
False
Let p be 18 + -18 + 1*4. Let b be (-22)/6 + p/(-12). Let y = 0.2 - 0.4. Which is bigger: b or y?
y
Let x = -813 + 904. Which is smaller: x or 88?
88
Let i = -9014 - -4083344/453. Is 1 less than i?
False
Let y = -1954 + 1947. Is -6 bigger than y?
True
Let o = 508 + -547.9. Let n = 41 + o. Which is smaller: n or -2/7?
-2/7
Let a be (-23 + 24)/(-2 - (-90)/44). Which is smaller: 10 or a?
10
Let n be 2/((-24)/(-22035)) + 4. Let f = 1852 - n. Which is smaller: f or 12?
f
Suppose 3*d + 4*b = 12, 2*b + 22 = -0*d + 2*d. Suppose n = 3*a + 10, -11 = 5*a - 4*n + d. Is -3 < a?
False
Suppose -33 - 97 = -5*v + 2*b, 5*b = -4*v + 137. Suppose -x + 52 = -8*w + 13*w, 5*x + 3*w = 150. Which is smaller: x or v?
x
Let o = 0 - -0.4. Suppose -18*u = 61*u - 105*u + 182. Is o at most as big as u?
True
Let y = 9.007 + -9. Let f = -31.993 - y. Let w = f + 6. Are 0 and w unequal?
True
Let c be -3 + 3 + (-18)/(-39). Let n be -3*2/(-7)*7. Suppose u = -7*f + 4*f + 2, -f + 5*u = -n. Are f and c unequal?
True
Let o be ((-2)/(-24))/(2/(-6)). Let g(z) = z**3 - 5*z**2 - 4*z - 2. Let f(m) = -m**2 - m. Let c(k) = -2*f(k) + g(k). Let w be c(4). Is o greater than w?
False
Suppose 3*h + 29 = 4*m - 5*m, 53 = -3*h + 5*m. Let o = 15/4 - 57/4. Is o less than h?
False
Let y = -1052 + 5262/5. Which is smaller: 268 or y?
y
Let k = 156.7 + -164.7. Which is greater: -25 or k?
k
Suppose -4*w + 3*w - 2 = 0. Suppose 8*g = 7*g - 1. Let q be -3 + g/(4/12). Is q not equal to w?
True
Let p(r) = -6*r - 1. Let d be p(-1). Let g be d - (-3)/(12/(-4)). Suppose -9*v = -g*v. Is 0 <= v?
True
Suppose 0 = -3*v + 5*m - 2846, -1737 = 2*v - 2*m + 163. Let z = v - -76161/80. Which is smaller: -1 or z?
-1
Let r = 154 + -72. Let o = r - 97. Which is greater: -16 or o?
o
Let p = 0 + 0. Let r(z) = -3*z + 15. Let n(y) = -y**2 + 11*y - 19. Let j be n(8). Let v be r(j). Is p less than v?
False
Let g be (0/2 + 128/16)/(-2). Let p(f) = -3*f + 1. Let b be p(2). Is g < b?
False
Let x be ((-38)/6)/((-7)/14). Let p = x - 14. Suppose -b + 4*b = -3. Is p >= b?
False
Let j(o) = -37*o - 925. Let z be j(-25). Is z at most 1/554?
True
Let o = 1027/21 - -311/21. Let g = 64 - o. Let v = -82 - -81. Is v bigger than g?
False
Let f(g) = -g**2 - 10*g - 12. Let w be f(-8). Suppose 6*n - 2*n - 2*r = 34, w = -n - 2*r. Which is smaller: 8 or n?
n
Let x be 24/110*(93 + -88). Which is bigger: 1.5 or x?
1.5
Suppose -7*s = -2*s + 10. Let y be 3 + s + 3/(-1). Let r be (-275)/20 - y/(-8). Is r less than or equal to -13?
True
Let b = -5 - -8. Suppose 2*r - b = 1. Suppose -4*i - 5*o = 6, r*i = 5*o - 30 + 12. Which is greater: 0 or i?
0
Let b be 4*(1 - (-6)/(-5)). Let r = -57 - -53. Let q be (3/r)/((-5)/10). Is b < q?
True
Let s = -7615 - -99064/13. Let c = s - 798/143. Which is smaller: c or 0?
c
Suppose 4*c + 3*u - 11 = 0, -2*c - c + 4 = -2*u. Let y be c*12*(-3 + 4). Let r = -30 + y. Which is smaller: r or -5?
r
Suppose 2*p + 178 - 634 = -4*r, -5*p - r = -1104. Which is smaller: p or 221?
p
Suppose 2*g + k = 5*g + 23, 4*g - 5*k + 49 = 0. Let d = -3 - g. Suppose 4 = d*b + 1. Is 9/7 <= b?
False
Suppose 8 = 86*f - 94*f. Do f and -1/102 have the same value?
False
Let y = 1/11354 + -24002359/34062. Are -704 and y equal?
False
Let s(l) = -16*l**2 + 2*l - 7. Let m be s(-3). Which is bigger: m or -1/3?
-1/3
Suppose 8*i + 4557 - 4501 = 0. Suppose 4*s + s + 45 = 0. Which is bigger: s or i?
i
Let u(y) = 3*y - 3. Let f(s) = -s + 1. Let m(p) = -2*f(p) - u(p). Suppose 2*j = -6*l + 2*l, 0 = 3*l. Let i be m(j). Which is smaller: i or 1/3?
1/3
Let c be 63/15*(-45)/(-27). Is c >= 4?
True
Let x = -50 + 26. Let g = x - -29. Suppose -2*v + 4*v - 12 = 0. Is v < g?
False
Let k be (-6)/(-3) + (-3 - -1). Let a(t) = t**3 - 4*t**2 + 5. Let w be a(4). Suppose k = 3*l - w - 4. Is l <= 4?
True
Let p = 121 - 114. Let o(j) = -j**2 - 1 + 6 + 6*j + 1. Let f be o(p). Are 1/4 and f nonequal?
True
Suppose 5*f - 2*f = -75. Let q be 2/7 + f/14. Is -2 bigger than q?
False
Let y = 772/11 - 68. Which is bigger: y or 2?
y
Let d = 18095/4 - 4524. Let o be ((-22)/6)/((-2)/6). Suppose -4*w - 3*b = 16, -2*w + w = -3*b - o. Which is greater: w or d?
d
Let x be (3/((-54)/(-4)))/1. Let o be ((-456)/90 - -5)*9. Which is greater: o or x?
x
Let z(q) = q**2 - 3*q - 5. Let n be z(4). Let m be (-11)/(n*68/(-8)). Which is smaller: m or 0?
m
Let c be 192/72 - (7 + -1). Which is smaller: c or 2/7?
c
Suppose 0*l + 12 = l. Suppose 0 = 2*x + 5*f + 58 - l, -x + 2*f = 14. Let s = 18 + x. Is -1/11 at least s?
False
Suppose 7*x - 300 = x. Let b = 52 - x. Is b greater than or equal to 1?
True
Let p(y) = -y**2 - 5*y. Let i be p(0). Let w(t) = t**3 - 3*t**2 + t - 2. Let l be w(3). Which is smaller: l or i?
i
Let c(i) = 10*i**2 + 2*i. Let q be c(-2). Suppose 0 = 3*h - 0*h - q. Let t = 18 - h. Which is smaller: 2/3 or t?
2/3
Let j = 500 - 539. Which is greater: -157/4 or j?
j
Let g(p) = 7*p + 140. Let a be g(-6). Which is greater: 100 or a?
100
Let n = -5 + 4.9. Let o = -2644/7 + 378. Which is smaller: