 Let u = -10 + -4. Which is bigger: u or p?
p
Let b = -23 - -44. Let n be 14/b*(-3)/(-16). Is 0 > n?
False
Let z = -92 + 71. Let i be 47/(-2) + z/(-42). Which is bigger: i or -22?
-22
Let j(c) be the first derivative of c**2/2 - c - 2. Let f be j(1). Let k = 1/45 - 101/495. Which is greater: f or k?
f
Let u = 25 - 40. Let m = u + 14. Are 1/36 and m nonequal?
True
Let g(z) = z**2 - 7*z - 6. Let b be g(-3). Suppose -2*o = j + 3, -o + 0*j - 5*j = b. Is -4 < o?
True
Let m(x) = -4*x**2 - 4*x + 46. Let k be m(-4). Is -1/78 at least as big as k?
True
Let k = 152 - 149. Which is smaller: k or 1.1?
1.1
Let u = -3 + 2. Let p(g) = -2*g - 69. Let c be p(-33). Is c equal to u?
False
Let h = 2.96 + 0.04. Let j = h + -3.1. Let k = -28 - -139/5. Is k < j?
True
Let s be (18/(-8))/(21/56). Let o be s/(-4)*14/21. Which is smaller: o or 2?
o
Let z be 3/6*(-6)/(-9). Let o = -8.3 - 1.7. Let j = o + 13. Which is bigger: j or z?
j
Suppose -6*k = -2*k - b, 0 = k - 5*b. Suppose k = 10*d - 7*d. Do 3/5 and d have the same value?
False
Let l(w) = -2*w**2 + 10*w - 22. Let h(g) = -5*g**2 + 30*g - 66. Let o(q) = 3*h(q) - 8*l(q). Let x be o(-11). Is x >= -11?
True
Let g = 38 + -30. Let d be 3/(-30)*g/6. Which is smaller: d or 1?
d
Let p(g) = g**2 + g - 1. Let h(x) = -8*x**3 - 2*x - 1. Let z be h(-1). Suppose 3*r + 3*j + 0*j = 9, 3*j - z = r. Let t be p(r). Is -1/6 >= t?
True
Let l(y) = 2*y - 21. Let c be l(4). Let h = 12 + -21. Is c < h?
True
Let z be 4/((-16)/(-12))*1 - 1. Suppose -32 = 2*b - 4*w, -8 = z*b + b + 4*w. Which is bigger: b or -26/3?
b
Let h = 476 - 298. Is h at most as big as 179?
True
Let k be (-2)/4 - 2/((-4)/(-39)). Let x be (-4)/((-16)/k) + 2. Let i = 257/7 + -1439/35. Which is bigger: i or x?
x
Suppose 45 = 3*s - 39. Let w = s + -29. Which is bigger: -0.07 or w?
-0.07
Let x be 152/532 - 1/(21/8). Which is bigger: 2 or x?
2
Let g be ((-12)/1787)/(-3) - 0. Let u = g - -119705/10722. Let r = 1267/114 - u. Is r >= 1?
False
Let k = 51/2 - 205/8. Which is smaller: 0 or k?
k
Suppose -4*f + 16 = -0. Let d be (-10)/(-20)*f/(-85). Let c = d + -24/425. Do c and 0.1 have the same value?
False
Suppose 4*d - 115 = 5*r, -22 = r + 8*d - 9*d. Is r <= -17?
True
Let n be (-8)/(-12) + (-3 - (-474)/207). Suppose 0 = 8*v - 3*v + 4*j + 9, -2*j - 5 = 3*v. Which is smaller: n or v?
v
Let k(b) = b**3 - 31*b**2 + 10*b + 28. Let z be k(30). Do z and -573 have the same value?
False
Let g = -478331/120 - -3986. Which is greater: g or -1?
g
Suppose -9*u + 2*s = -4*u - 4, 3*s = u - 6. Let v be (-3)/2*2 + (-11)/(-6). Which is greater: u or v?
u
Let v = 134 - 59. Let a(t) = -t + 4. Let c be a(2). Suppose c*h = 7*h - v. Is 15 greater than or equal to h?
True
Suppose -2*m - 407 = 325. Let p = 2566/7 + m. Is 1 less than or equal to p?
False
Let m = 0 - 8. Let u = 70 + -73. Let z = m - u. Which is smaller: -4 or z?
z
Let u(z) = z**3 + 2*z**2 + 2*z + 1. Let l be u(-2). Let x be 2/(-16) - 7/8. Is x greater than or equal to l?
True
Let r be (-808)/(-24) - 2/3. Let k be 7/(-21) + 29/r. Let c = -0.4 + 0.3. Which is greater: k or c?
k
Let y be (32/40)/(1/5). Suppose y*g = -5*o, g - 2*g = 3*o. Is g smaller than -1/7?
False
Let l(n) = -48*n + 10. Let j be l(-1). Which is bigger: j or 54?
j
Let i = 29 + -7. Let x = 24 - i. Which is bigger: x or -2/5?
x
Let a = 1903 - 1920. Which is bigger: -310/17 or a?
a
Suppose 12*y - 3*y = 234. Let u = y - 18. Is u bigger than 10?
False
Let r be 13/3 + (-38 - -39). Which is bigger: -9 or r?
r
Suppose r - 7*r = -r. Which is bigger: r or 3/43?
3/43
Let j = -25/13 + 138/65. Suppose -2 = 5*h + 3. Which is greater: j or h?
j
Let a = -344719/61 - -5651. Is a equal to 1/3?
False
Let o be 4*2/(-60) + (-295)/(-25). Is 11 equal to o?
False
Let s = 10 + -1. Suppose s = a + 10. Which is smaller: a or 1/15?
a
Suppose 0 = 4*d - 5 + 1, 0 = 2*y - 4*d + 24. Let f be (y + 25)*3/27. Which is bigger: 0.1 or f?
f
Let d = 64 + -9. Let m be -3 + (d/(-3))/(-5). Is 5 not equal to m?
True
Let q = 8/15 - -269/30. Is q less than 9?
False
Let c(m) = -m**2 + 4*m + 7. Let h be c(5). Let i(x) = x**3 - 5*x**2 + 2*x - 5. Let g be i(5). Suppose -g*s + h*s = z + 16, 0 = 4*s + 20. Is z < 0?
True
Let m = 0.295 - 0.285. Let g be (0 - -2) + 7/(-14). Which is greater: g or m?
g
Let h = 231 + -7391/32. Let l be 9/2 + 2/(-4). Suppose -3 = -w + 5*k - l, 0 = 3*w + 4*k + 3. Which is greater: w or h?
h
Let v(d) = d**3 - 7*d**2 - 9*d + 8. Suppose 8*y - 10*y + 16 = 0. Let i be v(y). Is i equal to 3?
False
Let j = 81 - 13. Let y = j - 66.92. Let a = y + -0.08. Which is greater: 4 or a?
4
Let c = 15.04 + -14.74. Is c equal to -1/339?
False
Let c(g) = g + 7. Let t be c(0). Suppose -t*m - 387 = 2*m. Is m < -44?
False
Let l be -2 + (-175)/(-1410)*16. Is l at least 0?
False
Let f(i) = -3*i + 11. Let g be f(2). Which is smaller: g or 15?
g
Let m = -37 - -35. Let g be 2*(5/m)/5. Let a be 0/(0 - 1)*-1. Which is greater: a or g?
a
Suppose 11 = 5*z + 3*k, 5*z - 15 = -2*k - 3*k. Let s = -30073/1430 + 485/22. Let t = 8/13 - s. Is t less than z?
True
Let a(u) = -19*u**3 + 6*u**2 - 14*u + 2. Let o be a(2). Which is greater: 1 or o?
1
Let h(z) = z**3 - 48*z**2 + 91*z + 36. Let j be h(46). Let v = -2.9 - -3. Does j = v?
False
Let m be 2/(-15516)*-2*(-30)/(-5). Which is smaller: m or 1?
m
Suppose -6*t + 62 = -148. Is t >= 3?
True
Let d = 0 - 0. Suppose -203*w + 206*w = -6. Let n be w + (-16)/(-28) + d. Is n > -1?
False
Suppose 302*x = 305*x + 81. Which is greater: 5 or x?
5
Let n be 184/2300 + (-37302)/25. Which is bigger: n or -1493?
n
Let h be (15 - 6) + (-2 - -3). Suppose -v + r - 4*r = -h, r = 3. Which is smaller: v or 12/5?
v
Let j = 3.181 + -3.1351. Which is greater: j or 0?
j
Let c(t) = t**2 - 16*t - 106. Let k be c(21). Which is smaller: k or 48?
k
Let l = 36 + -32. Suppose -l*m + 8 + 7 = 3*s, -2*s - 2*m = -8. Is s at most as big as 1/38?
False
Suppose 2 = f - 0. Let a = 415 + -418. Let w be a*(28/12 - f). Is w smaller than -10/11?
True
Let w = 425 - 425.3. Is -66/5 greater than w?
False
Let l be (-30)/20 + (-18)/(-4). Let u = 273/82 - -1/246. Which is smaller: u or l?
l
Let r = -0.6 + 0.7. Let m = r - 0.12. Let n be (-4)/(-10) + (-69)/60. Is n less than m?
True
Let l be (-3)/(-15) - 4/(-5). Suppose -5*f = -4*x - 723, f + 3*f + 368 = -2*x. Let v = x - -3641/20. Are l and v unequal?
True
Suppose -3*l = -2*a + 26 - 15, 2*l + 4*a - 14 = 0. Which is smaller: l or -9/5?
-9/5
Suppose -62*x = -64*x + 108. Let n be (-2 + 5)*60/x. Which is greater: n or 2?
n
Let m be (242/572)/((-1)/6). Which is smaller: -2 or m?
m
Let l(p) = p. Let y(k) = 9*k - 13. Let j(b) = -4*l(b) + y(b). Let c be j(8). Which is bigger: c or 28?
28
Let w = -11061 - -8229383/744. Are 0 and w non-equal?
True
Let f(h) = h**2 - 16*h - 5. Let n be f(7). Let w = -67 - n. Let d be 2*-2*2/(-6). Which is smaller: d or w?
w
Let l(y) = 5*y**2 + 22*y - 39. Let q be l(-6). Are q and -12 equal?
False
Let z be -2*(93/6)/((-1)/1). Suppose 0 = -4*t + 2*t - 22. Let l = 42 + t. Are z and l non-equal?
False
Let a = 15.81 + -15.2. Let u = a + -0.11. Let y = u + -0.5. Which is smaller: -8 or y?
-8
Suppose 6*t = 88 + 2. Suppose -8*q - t = -3*q. Is q smaller than 6?
True
Let o = 181.9 + -182. Do o and 53 have the same value?
False
Suppose 0 = 2*b - 13*b - 132. Let m = 0.9 + 0.1. Let a = 0.9 - m. Which is bigger: b or a?
a
Suppose -v + 15 = v + 5*x, -v + x + 4 = 0. Let q be 776/40 - 2/v. Suppose q = -5*s - 3*p, -s + 3*s + 5*p = -19. Which is bigger: s or 3?
3
Let q be 42/8 + (-4)/16. Suppose -d + 28 = -4*g, -q*g + 0 = 2*d + 9. Suppose -x + 6 = d. Which is smaller: 0 or x?
x
Let x be ((-20)/25)/((-2)/(-10)). Let t = x - -8. Let k be -9 - (6*-2)/t. Is k less than -6?
False
Suppose -2*y = 5*f, 10*f - y = 8*f. Which is smaller: f or 166?
f
Let y = 392 - 2739/7. Suppose -3*w = -v + 3, 5*w - 2*v = 2*w - 6. Is w >= y?
False
Suppose 0 = -3*t + 31 + 23. Suppose 69 = -k + 95. Suppose k*o - 169 = 325. Is o != t?
True
Suppose -17*x = -4*x + 286. Is -26 less than x?
True
Let z be 4*(-34)/(-40)*(-2 + 7). Is 12 not equal to z?
True
Let b = 0.1 + -0.1. Let t = -481.1 - -481. Are t and b equal?
False
Suppose -170531*v + 294 = -170552*v. Let p = 9 - -12. Let u be ((-4)/3)/(2/p). Do v and u have the same value?
True
Suppose 0 = -39*z + 34*z + 150. Suppose 0 = -4*m + 7*m + z. Which is bigger: -9 or m?
