- o. Which is greater: c or 1?
c
Let h = 27 - 24. Let d = -3 + 0.5. Let x = -0.5 - d. Which is greater: x or h?
h
Let x = -1 - -6. Suppose -x*l + 2*s + 1 = -6, -l = -2*s + 5. Is -3 at most l?
True
Let n = -112 - -102. Is -0.2 at least n?
True
Let m = -60 - -63. Let c be (10/75)/(16/m)*2. Suppose 3*n = -2*n. Which is smaller: n or c?
n
Suppose 4*l - 1768 = n, n = -l + 6*n + 442. Let b be 3 - (-4)/((-592)/l). Which is greater: b or -1?
b
Let k = 177 - 200. Which is bigger: k or -26?
k
Let u(r) be the first derivative of r**2/2 + 13*r - 17. Let h be u(-9). Let m = 3/2 - 11/6. Which is smaller: m or h?
m
Let p(t) = 6*t - 22. Let s be p(5). Suppose s*l - 2 = 7*l. Does 1 = l?
False
Suppose -2*p + 4 - 6 = 0, -108 = -2*r + 4*p. Are r and 51 non-equal?
True
Let b(l) be the first derivative of -l**4/4 + 2*l**3 + 3*l**2 + 9*l - 51. Let x be b(7). Is x > 1?
True
Let t be -7 - (-2)/(-8)*475/(-12 - 7). Let r = -0.1 - -0.1. Do t and r have the same value?
False
Let w = -0.12 + 0.52. Let b = w + -2.7. Let z = -2.7 + b. Which is smaller: z or -1?
z
Let t(x) = x**2 - 6*x + 9. Let o be t(4). Let g be o/((0 + 1)*(2 - 3)). Let l be (-1*1)/(17/2). Which is greater: l or g?
l
Let v(n) = n**3 + 16*n**2 + 16*n + 12. Let i(h) = h**2 - 14*h - 30. Let p be i(15). Let g be v(p). Is g bigger than -5?
True
Suppose 9 = 5*d + 29. Let l be (d/10)/((-5)/25). Which is greater: 1 or l?
l
Let l = 41.9 - 41.09. Which is greater: 0.2 or l?
l
Suppose 0 = 5*r + 3*z - 14, 3*r - 3*z + 43 = 37. Is r > -5/67?
True
Let z = 12 - 16. Let b be (2/z)/(7/2). Which is smaller: -2 or b?
-2
Let k = 1184 - 1189. Is k equal to 205?
False
Let s = 284 + -286. Is s <= -9?
False
Let n be (-190)/(-60) + -10*5/20. Suppose 2*q + 2*q - 12 = 0. Suppose -5 - q = -4*o. Which is bigger: n or o?
o
Suppose -6*h + 5*h = -23. Suppose 17*a - 18 = h*a. Is -3 greater than a?
False
Let l = -72.946 + -0.054. Let f = l - -73.1. Is f bigger than 6/11?
False
Let y = -28 + 28.003. Let j = y - 0.003. Let c = 0 + -0.2. Which is bigger: j or c?
j
Let d(s) = s**2 - 9*s - 36. Let x be d(13). Suppose p = 3*p - 32. Is p at most as big as x?
True
Let h be 142/(-7) + 2/7. Let f be (h/(-15))/(2/3). Is 14/9 < f?
True
Let p(o) = 2*o**2 - 14*o + 15. Let i be p(6). Let b be (33/(-12) - (2 - i))*4. Let j = -0.2 - -0.2. Is j != b?
True
Let k = 32.2 + -32.4. Let f = -12 + 11.68. Is f less than k?
True
Let y be -2 - (-4 - (-33 + 7)). Which is bigger: y or -30?
y
Let h = -464 - -466. Let b = 4 - 3. Is b greater than h?
False
Let l = -621 + 620. Which is bigger: 0.27 or l?
0.27
Let r(o) = -o**3 + 5*o**2 + 19*o - 10. Let t be r(7). Suppose -44 = 3*f + t. Which is bigger: -22 or f?
-22
Suppose -5*b = -78*p + 81*p - 92, -2*p + 2*b = -72. Is p at most 2?
False
Let o be -885*(-13)/234*6. Which is bigger: o or 297?
297
Let c be (-83)/(-7) - (-1)/7. Let v be ((-21)/364)/(3/c). Which is greater: 0 or v?
0
Let o be 4/12 - 10/(-6). Suppose 0 = 4*n - o*a - 2*a + 8, 0 = a - 4. Let c be 2/(-5) + 34/10. Which is greater: n or c?
c
Let f(k) = 2*k + 9. Let b(s) = 4*s + 18. Let a(y) = 2*b(y) - 5*f(y). Let g be a(-7). Let m = -204 - -209. Is g at least as big as m?
True
Suppose p + 4*p - 40 = 0. Let t = 2/261 - -8083/1044. Which is smaller: t or p?
t
Let v be 636/(-265)*10/4. Which is smaller: v or -23/4?
v
Suppose -15*y + 34 = 2*y. Which is smaller: y or -13?
-13
Let k be (15/(-10))/((-6)/4). Let a be 4/15*9/6. Is k less than a?
False
Let c(t) = -3*t**2 - 109*t + 75. Let b be c(-37). Is b less than -4/43?
False
Let a = -2634 + 2653. Which is smaller: 30 or a?
a
Suppose -u = -1 + 7. Suppose 0 = -27*l + 25*l + 1118. Let q = 2209/4 - l. Is q at least as big as u?
False
Suppose 8 = -4*a + 6*a. Suppose 20 = -4*o + 3*q, 0*q + a*q - 18 = o. Let n = 13/8 + o. Is 1 equal to n?
False
Let r(d) = -89*d - 671. Let k be r(-7). Is k < -47?
True
Let d be (-1)/11*10657 - (-16)/(-88). Let c = -107561/111 - d. Is -1 > c?
False
Suppose o - 5 = 10. Suppose 4*x - 4 - 10 = 2*f, 5*x = 5*f + o. Suppose f = -v - 1. Which is bigger: -3 or v?
v
Suppose 219 = -4*v - 5*n, -v = -2*v - 5*n - 51. Let o = v + 64. Which is smaller: o or 11?
o
Let u = 880.1565 - 0.1565. Is u greater than -2/7?
True
Let t = -1512 + 1060. Let m = t - -9500/21. Let q = -82/105 + m. Which is smaller: 1 or q?
q
Let p(t) = -t**3 - 118 + 126 - 3*t**2 + 0*t + 2*t - 3*t**3. Let f be p(-2). Is f greater than or equal to 26?
False
Let o(u) = u**3 + 11*u**2 + 9*u - 11. Suppose -4*y + 40 = -8*y. Let p be o(y). Is -4/9 greater than or equal to p?
True
Suppose -2*j - 39 = j. Let x = -10.2 - -10. Is j at least as big as x?
False
Let j = -24 - -27. Suppose r - 21 = -5*n, j*n + 3*r = n + 11. Suppose -4 = -2*a - n*z, 2*z = -2*a - 3*a + 2. Which is bigger: 2/75 or a?
2/75
Let j = -115.4 + 115.4. Is j at least 1/118?
False
Let z(t) be the first derivative of -7*t**2/2 - 8*t + 12. Let q be z(-4). Suppose -5*n + 3*h - q = 0, 5*h + 1 + 3 = -n. Is -3 less than n?
False
Let k be 4/5*(45/6)/1. Suppose 1 = -7*o - k. Is 2/25 not equal to o?
True
Let z be 55/1 - 12/(-8 + 4). Suppose 20 + 137 = 3*a + 5*w, 4*w = -16. Is z equal to a?
False
Suppose 159 = -l + 4*l. Let v = l - 53. Is -3/35 at least as big as v?
False
Let u be 5 + 1 - 2/1. Let s = 340 + -343. Let h be 11 + (2 - u - s). Is 12 greater than h?
False
Let g be ((-3472)/(-77))/2 - 10. Which is bigger: 13 or g?
13
Let c = -21.67 - -19.67. Which is smaller: c or -1.68?
c
Let b(l) = 8 + l**2 - 5*l + 0 - 3*l**2 - 3. Let u be b(-3). Do 5 and u have the same value?
False
Let y = 2667453/3458 - 14608/19. Let c = y + -4/91. Are c and 0 equal?
False
Let h be (-2)/(-1) - (278 + -17). Which is smaller: h or -260?
-260
Let t(k) = 3*k + 21. Let a be t(-6). Is 19/8 smaller than a?
True
Let c be (-2)/(-3) - (-15)/(-9). Let v = 232567/53 - 4388. Which is smaller: v or c?
c
Suppose -y - 4*y - 2*j - 56 = 0, 3*j = 4*y + 31. Let b = -7 - y. Suppose 5 = 2*i + b. Is i bigger than 14?
False
Let q(j) = 6*j + 11. Let f be q(-2). Let b be f/(-5) - 205/525. Are 0 and b nonequal?
True
Let w = 1010 + -1009. Which is greater: -0.0752 or w?
w
Let d(n) = -10*n - 52. Let x be d(-8). Which is smaller: x or 31?
x
Let k = 14 + 259. Let t be (k/(-18))/(-13) - 3. Which is smaller: -1 or t?
t
Let c = -2 + -7. Let t = c + 10. Is t > 1?
False
Let q = 157282/77 - 13998/7. Is 44 < q?
False
Let k be -1 + (-2)/(-4) + -1. Suppose -q + 24 = 3*q - 2*o, 3*o = -12. Suppose -4*u - g = q*g - 13, 5*g = -3*u + 16. Which is smaller: k or u?
u
Let a be (1*(-2)/4)/(92/368). Which is greater: a or -4?
a
Suppose 93 = -3*z + t, 3*z - z + 5*t = -62. Let f(w) = -2*w**2 + 5*w - 6. Let m be f(5). Is z not equal to m?
False
Let w(o) = -2*o**3 + 16*o**2 + 7*o - 8. Let r be w(9). Let n = -146 - r. Is 0 at least as big as n?
True
Suppose f = -f - 2*n + 22, -2*f + 2*n + 10 = 0. Let s be (f/10)/(37/(-5)). Let y = 102/259 + s. Which is smaller: y or -1?
-1
Let j(u) = -6*u**2 + 53*u + 334. Let g be j(-6). Which is smaller: -197 or g?
g
Let y(w) = 12*w**3 + w**2 - w. Let q be y(1). Suppose -2*x + 3*x - 4*z - q = 0, -x + 2*z + 6 = 0. Let s(a) = -a**2 + 7. Let i be s(x). Is i at most as big as 5?
False
Let u = -36749/21 + 1749. Which is smaller: u or 0?
u
Suppose -25 = 4*i + 63. Let q be 2 - (-92)/i - -2. Let m be 0/(-3)*1*(-3)/(-6). Which is bigger: m or q?
m
Let u = -285 - -230. Which is greater: -54 or u?
-54
Let n = 444.06 - 444. Let h = 12.98 - 2.04. Let i = n + h. Which is smaller: i or 0?
0
Let d(y) be the second derivative of y**4/12 - 3*y**3/2 - 5*y**2/2 + 2*y. Let o = 78 + -68. Let b be d(o). Is b equal to 0?
False
Let w = 28 + -24. Suppose 11 = w*q + 3. Let f be q/6*0 + 2. Which is greater: 3/4 or f?
f
Let t be ((-1 + 0)*0)/((-202)/(-101)). Is t greater than or equal to 2/13?
False
Let n(z) = -z**2 + 2*z - 5. Let j be n(-8). Let m be j/5 - (1 - 2). Let h = -16 - m. Which is smaller: 3 or h?
h
Let j(m) = m**3 + 10*m**2 + 4*m - 12. Let l be j(-9). Let x = l - 33. Which is bigger: x or 2/45?
2/45
Let j be (-32)/(-52)*(15/10 - 2). Which is smaller: j or 1?
j
Let h be (((-304)/(-12))/2)/(5/15). Which is smaller: 39 or h?
h
Suppose 86 = o - d + 408, -3*d - 1288 = 4*o. Is -321 less than or equal to o?
False
Suppose -3*d = 21 + 12. Let t be (-10 - (-81)/6)*(0 - 4). Which is smaller: d or t?
t
Let y be (-4 - -8)*6/(-8). Let t(x) = x + 1. Let r be t(y).