/14?
w
Let g be -4*(-3)/12*2. Let d = 1 + 1. Suppose -6 + 16 = d*v. Is g smaller than v?
True
Let m(b) = -b + 63. Let o be m(57). Which is smaller: 27 or o?
o
Let m = 4.4 + 1.6. Suppose 83 - 21 = 2*g. Let j = g + -94/3. Is j less than or equal to m?
True
Let s = 24.93 - 24.93. Which is smaller: s or -161?
-161
Suppose 2*a + 2*m = -0*a - 14, 3*m = -4*a - 26. Let q be a/((-45)/(-318)) + (-4)/6. Is q less than -34?
True
Let c(m) = -m**2 - 3*m + 1. Let g be c(-3). Let v be g/(-3)*-9*1. Let q = -6472 - -6474. Is q < v?
True
Let o = 0.037 - 25.037. Let r = o - -27. Is -9 not equal to r?
True
Let r = 203/6 - -32/3. Let u = -19673 - -197171/10. Let p = u - r. Which is smaller: -1 or p?
-1
Suppose 36*r = 62*r + 37*r - 441. Let x(c) = 2*c + 2. Let u be x(3). Is r at least as big as u?
False
Let s = 2/7721 + 208427/154420. Let r = s + -543/380. Is r bigger than -1?
True
Let r be 2*((-23)/(-12) - 2). Let d = 4436 + -4437. Is d < r?
True
Let o = 357 - 360. Is o greater than or equal to -54/19?
False
Suppose -4*o - 1 = -29. Let q be (1 - 9/(-3)) + -2. Let l be 22/8 - q/(-8). Which is smaller: l or o?
l
Suppose -1348 = -4*g + 2*f, 0 = -12*f + 10*f. Are g and 337 nonequal?
False
Let l be (-216)/90*180/(-2). Suppose -17*s = -21*s + l. Which is smaller: s or 53?
53
Let t be 15/((-2)/(154/(-21))). Which is greater: t or 53?
t
Let s be 1476/(-1404) - (-4)/78. Let j be (2/4)/((-2)/(-8)). Let c be 1/10 - j/4. Is c at least as big as s?
True
Let h = 1888 - 1908. Do h and 16 have the same value?
False
Let p(z) be the second derivative of -19*z**3/6 - 13*z**2/2 - 18*z. Let a be p(-3). Which is smaller: 43 or a?
43
Let c = -14 + 20. Let m = 0.4 - 0.4. Let h = m + 0. Which is greater: c or h?
c
Suppose 7*b = 2*b + 295. Is b <= 64?
True
Let d(c) = -2*c - 57. Let z be d(-27). Let m be 3*z/(-9) + -7. Are 1 and m unequal?
True
Let l(p) = 2 - 3 + 4*p + 5 - 3. Let s be l(0). Which is smaller: -1/17 or s?
-1/17
Let y = -0.26 - 0.14. Suppose 4 + 2 = -2*a - 4*u, -2*a + 2*u - 12 = 0. Is a greater than or equal to y?
False
Let j be -10 + 2298/60 - (-1)/(-2). Is j equal to 29?
False
Let o = -2979 + 3117. Which is smaller: -1 or o?
-1
Let y(w) = -w**3 + 12*w**2 - 9*w - 21. Let c be y(11). Let n be ((-5 - 0) + c)*2. Are n and -36/5 equal?
False
Let t be (-1)/((-13)/2) + (-2675)/(-9737). Is -20/3 at least as big as t?
False
Suppose -3*q = -3*t - 2*q + 72, -3*q = t - 24. Let f be 4/(-6) + 88/t. Suppose f*v = -v. Is 2/17 bigger than v?
True
Let h = 746 + -744. Which is bigger: 5 or h?
5
Let h = -695 - -694. Is h greater than or equal to 9/34?
False
Let v = 251 - 250. Is v bigger than 1/8?
True
Let v = -486 - -484. Which is smaller: 0.54 or v?
v
Let o be (-131)/28 + (-216)/288. Suppose -2*n + 4 = -j - n, n - 12 = 3*j. Is o != j?
True
Suppose -3*m + i - 6 = 0, 21*m + 17 = 16*m + 4*i. Let r = -5 + 2. Are r and m nonequal?
True
Let q = -1047 + 2206028/2107. Which is greater: 0 or q?
0
Let f(j) be the second derivative of j**4/12 - 31*j**3/6 - 5*j**2/2 - 14*j. Let n be f(29). Does n = -63?
True
Let m = -2 + -1. Let y(h) = -5*h**2 + 59*h + 16. Let q be y(12). Which is bigger: m or q?
q
Let p = 5/32 + 3/32. Which is greater: p or 2?
2
Let k(l) = l**3 - 5*l**2 - 8*l + 14. Let o be k(6). Suppose -o*b = 6*b - 40. Which is greater: b or 4?
b
Let x be (-118)/8 + 2/((-32)/(-12)). Let s be (14/(-30))/((-6)/(-162)). Is x less than s?
True
Suppose 6*s = s - 5. Is s equal to 2/21?
False
Let a(v) = 2*v**2 - 19*v + 38. Let z be a(13). Is 128 != z?
True
Let k be 7 + (4 - 6)*-7. Which is greater: 155/7 or k?
155/7
Let r be (44/8)/(20/8). Let z be 2*(4 + -3) + -1. Which is greater: r or z?
r
Let a be (5/(-8))/(((-429)/(-36))/13). Is -1 >= a?
False
Suppose 17*k = -3*f + 21*k + 778, -2*k + 1008 = 4*f. Is f smaller than 254?
False
Let h be (8/10)/(0 + (-2)/145). Which is smaller: h or -60?
-60
Suppose 134 = 9*v - 37. Suppose 5*c = v - 14. Are -2/23 and c unequal?
True
Let c = -18 + 12. Let y = c + -2. Let l = 2 - 2. Is y != l?
True
Suppose -7*x + 9*x + 2 = 0, -x + 604 = -5*q. Which is bigger: -125 or q?
q
Let r = 344 - 341. Which is bigger: 19/7 or r?
r
Suppose -l + 5*l - 612 = 4*d, 0 = -2*l - 3*d + 281. Which is greater: 151 or l?
151
Suppose -2*y = -g - 58, -6*g + g = 2*y + 302. Let o = g - -1018/17. Are o and 0 unequal?
True
Let z(i) = -50*i - 2. Let q be z(-1). Let r be 4/q*13 + (-3)/(-18). Is 9 smaller than r?
False
Let t(k) be the first derivative of k**2/2 + 11*k - 17. Let v be t(-13). Is v >= 0?
False
Suppose -f + 15 - 2 = 0. Let p be 35/3 - (-2)/6. Let w = f - p. Is w smaller than 1?
False
Suppose -4*j = j + 4*s - 258, 4*s = 8. Suppose 100 = -2*k - 5*u, -3*k + 4*k = u - j. Is -50 > k?
False
Let v be 3 - ((-4)/(-2) - 0). Let m be (-154)/133 + 0 + v. Let x be -3 + (10 - 3) - (0 + 4). Which is greater: x or m?
x
Suppose k - 2*k + 4 = 0. Let l(x) = -x**2 - 5*x + 15. Let w be l(-7). Suppose -k*i - 5 + w = 0. Are -1/27 and i unequal?
True
Suppose -y - 3*y = 36. Suppose 5*j + 52 = -g, -4*j + 3*j = -g + 8. Is y equal to j?
False
Let a(f) = 2*f**2 + 8*f + 5. Let k be a(-3). Suppose 2*t + 3*t + 10 = 0. Let o be (-4)/(t*(-3)/2). Do o and k have the same value?
False
Suppose -2*s + 23 + 17 = 0. Let a be 2 - -2*(-14)/s. Do -2 and a have different values?
True
Suppose 88 = -6*t - 104. Let n be (4 - t/(-28)) + -2 + 0. Is n less than 2?
True
Suppose s + 4*s - 52 = 4*x, -3*x = 2*s + 62. Let p = x - -18. Is p at least as big as 2?
False
Let f be 115 - 120 - 59/(-13). Does -0.3 = f?
False
Let q(u) = u**2 + 7*u - 7. Let b be q(-8). Let o be 340/700 + b + (-18)/14. Let s = 607/5 + -121. Which is smaller: o or s?
o
Let p(h) = h**2 + 2*h. Let j be p(-2). Let z be 2 - (3 + 2) - j. Which is bigger: z or 1?
1
Let o = -18.7 + 18.79. Is -6 bigger than o?
False
Let r = -13 - -73. Suppose 0 = 7*w - w - r. Let a be (-12)/(-30)*w/(-2). Does a = -5?
False
Suppose -2094 = -34*g - 666. Which is bigger: g or 34?
g
Let k = 2.76 - 2.06. Is k at least as big as -2?
True
Let y be (-6)/1 - 20*(-12)/290. Which is bigger: -5 or y?
-5
Suppose -24 = -9*l + l. Let w be (l/2)/((-18)/(-240)). Which is smaller: w or 19?
19
Let u(m) = 1 + 11 - m**3 - 8*m - 5 + 6*m**2. Let p be u(5). Let k be (-144)/128 - (-1)/p. Is 0.6 >= k?
True
Let u(k) = 2*k**2 - 14*k + 13. Let f be u(6). Suppose -5*m = 10, -m = -2*h - f - 3. Which is bigger: -40/9 or h?
h
Let o(w) = -4*w**2 - w - 1. Let l be o(-2). Let f be 3*-1 + (-1205)/l. Let g = f + -78. Which is greater: 1 or g?
1
Let d = 1 + -1. Let x(f) = -f**3 + f. Let j be x(d). Let w = -737 - -735. Is j bigger than w?
True
Let w = 107 - 73. Let z = w - -32. Which is bigger: 0 or z?
z
Let i = -2.53 + 2.49. Is i bigger than 15?
False
Suppose -6*v = -593 + 1775. Is 1 less than v?
False
Let t = -3 + -2.6. Let f = 5.9 + t. Which is smaller: f or 4?
f
Let f(i) = -i + 36. Let a(n) = -18. Let q(r) = 5*a(r) + 3*f(r). Let w be q(0). Is 18 > w?
False
Let j(t) = -t + 7. Let f be j(6). Let a be 453/9 + 16/24. Let m be a/63 - (-28)/(-42). Do f and m have different values?
True
Let v = 3.19 + -3.237. Which is smaller: v or 2?
v
Let h = -209873/235 - -4464/5. Which is greater: h or 0?
0
Suppose -6*x = -3*x - 12. Suppose 64 = -8*c + x*c. Which is greater: -17 or c?
c
Suppose -1 = -r, 5*m + 4*r - 24 = -0*r. Suppose -m*y - p = -32, -2*y - 2*p + 10 = -3*p. Is 40/7 less than or equal to y?
True
Let x = -15.5 + 13. Let o = x - -3. Let t = o + -10.5. Is 2/5 smaller than t?
False
Suppose -t - 16 = 4*j, -j = -4*t - 2*j - 49. Let m = -14 - t. Let w be (2 + m - -1)*0. Is w less than 1?
True
Let i be (-14318)/62 + 40/(-620). Is i < -231?
False
Suppose 0 = 31*j + 42 + 20. Which is bigger: -0.261 or j?
-0.261
Suppose 2*d + 0*w - 6 = 2*w, 5 = 3*d - 5*w. Let p(t) = -4*t + 14. Let n be p(d). Which is bigger: -4 or n?
-4
Suppose 3000 = -136*m - 155*m + 672. Let l be (1 - 1) + 1 + 2. Let z = l + -10. Which is greater: m or z?
z
Let z = -389 + 386. Do 19 and z have the same value?
False
Let d = -38 - -22. Let h = -334.9 - -319. Let a = d - h. Do a and 0.4 have the same value?
False
Suppose -4*j + 9*j - 10 = 0. Suppose 0 = -j*t - 2*t + 4. Let m = 35/253 + 1/23. Which is smaller: t or m?
m
Suppose 11 = 4*f + 39. Let k(q) = q**3 + 5*q**2 - 6*q. Let m(z) = 3*z**3 + 16*z**2 - 19*z - 1. Let h(b) = f*k(b) + 2*m(b). Let u be h(-4). Is -2 != u?
False
Suppose -