t q = v - g. Is q >= 3/4?
True
Suppose -3*d + 3*l = 15, 0*d - 4*d = 5*l - 16. Let i be 7/((-245)/20) - (-104)/(-14). Which is smaller: i or d?
i
Suppose -p - 42 + 69 = 0. Suppose 5*o - p = -112. Is -17 at most as big as o?
True
Let h = 43 - 36. Suppose 11*v = h*v. Let x be 4/(-20)*(-15)/9. Are v and x equal?
False
Let v = 3629/27646 - 1/1202. Suppose -2 = 3*w - 5. Which is smaller: v or w?
v
Let r(y) = -y**3 + 9*y**2 + 21*y + 1. Let q be r(11). Let a be -6 - 1 - (-4)/(-2). Is q at least as big as a?
False
Let w = -1227.1 - -1227. Which is smaller: -1.3 or w?
-1.3
Let r = -72 - -37. Let a = r - -34. Is a equal to 0.16?
False
Let z(h) = -5*h**3 + 2*h**2 + 3*h + 2. Let v be z(-2). Suppose -15*q + 3*y + 98 = -13*q, 5*q = -2*y + 207. Is q at most v?
True
Let h be (-55)/(-2) - (-3)/((-6)/(-1)). Let c = -10 + h. Are c and 20 unequal?
True
Let x be (-46)/2 - (-1 - 1). Suppose -10*q - 141 - 79 = 0. Let a = q - x. Which is greater: -3/2 or a?
a
Suppose -91 = 10*i - 81. Is i less than -1/1403?
True
Let k(o) = -291*o - 382. Let s be k(-11). Is 2818 equal to s?
False
Let u be -10 - ((-17885)/357)/5. Let y be 1*(1 + -3 + 1). Which is smaller: u or y?
y
Let m(i) = i**2 + 6*i - 4. Let x be m(-6). Suppose -18*y - 39 - 15 = 0. Which is smaller: y or x?
x
Let z = -0.21 + 0.12. Let j = 9994 + -40179/4. Let q = j + 51. Is z greater than or equal to q?
False
Let n be 0 - (4 - 4/(64/28)). Which is bigger: n or -2?
-2
Let c = 4.48 + -2.48. Let k = -6 - -7.9. Let m = k - c. Is -1 > m?
False
Let v = 11 + -11. Let p = 0 + v. Suppose i - 6*i = -4*h + 18, -2*i + 4*h - 12 = p. Is i at most -2?
True
Let b(l) = 36*l**2 - l - 1. Let o be b(-1). Let j be 17/o + (-4)/16. Let m be (-4)/(-8)*-2*1. Is j at most as big as m?
False
Let b(c) = -19*c - 1. Let z be b(-3). Let q = z - 58. Does -16/17 = q?
False
Suppose -6 = m - 24. Let n be ((-3)/117)/(4/m). Is n less than 0?
True
Let s = 13.1 - -99.9. Let w = s - 112. Which is bigger: -15 or w?
w
Suppose -25*t - 4*t = -2*t. Which is bigger: t or 22.1?
22.1
Let m be 48/(-63)*((-3)/4 - 4). Let u = m - 10/3. Is 45 > u?
True
Suppose 23 + 49 = -18*c. Do c and -42/11 have different values?
True
Let c(t) = t + 15. Let m be c(-2). Suppose y + m = 12. Let i = -2348 + 218366/93. Is y greater than i?
False
Let r be (102603/(-6))/((-78)/4). Let a = r + -877. Which is smaller: a or 1?
a
Let x = 2437.033 + -2416. Let h = x - 0.033. Let s = h - 19. Does s = 8/5?
False
Let m = 95.684 + 0.316. Is m greater than or equal to -5/2?
True
Suppose 3*u = -4*x + 11, -5*u + 3*x + 0 + 28 = 0. Let k(j) = j**2 - 5*j + 1. Let f be k(-5). Let l be -14*(f/(-12) - -4). Which is greater: u or l?
u
Suppose 8*w - 28 = -12. Suppose -3*u - w = -5. Are 1.7 and u non-equal?
True
Suppose -17*k = -22*k. Suppose -14 = -5*q - k*h + 4*h, -3 = -2*q - h. Suppose 5*f + 5*z = 0, -q*f = f - z. Which is bigger: -1/11 or f?
f
Let x = -0.003 + 0.203. Is 0 greater than x?
False
Let t be 3 + -7 - (-9 + 4 + -2). Suppose -t*o + 15 = -j, 3 - 6 = 5*j + 3*o. Is j at most -2?
True
Let x = 210 - 54. Are 156 and x equal?
True
Let k be -5*(-1 + (-9)/(-15)). Suppose -5*f + 77 = k*c - 6, 2*c = -4*f + 68. Suppose -4*x = -h + 14, -h - 4*x = -8 - 6. Is h <= f?
True
Let l be -27*4/((-240)/(-950)). Which is smaller: -427 or l?
l
Let p(x) = x + 1. Let f be p(3). Let v(m) be the third derivative of m**5/60 + m**4/4 + 5*m**3/3 + m**2 - 14. Let b be v(-4). Is f at most b?
False
Let c be (8 - 3)*(-7)/((-70)/8). Let z be (c/10)/(5/(-100)). Let u be 3/(-6) + (-34)/4. Is u less than z?
True
Suppose -3*a = -b + 19, -a - 3*a - 4*b - 20 = 0. Let p = a + -2. Let h(j) = j**2 + 7*j. Let q be h(p). Is q equal to 13/2?
False
Let b be 3/12 - (-170)/56. Let p = -245043 + 18868585/77. Let u = b - p. Which is smaller: 1 or u?
u
Let q = -47 + 84. Let i = 43 - q. Suppose -14*w + 32 = -i*w. Which is smaller: w or 8/3?
8/3
Suppose -g - 35 = -3*u, 0 = u - 0*g - g - 9. Suppose 2*z = 3*d - 24 - 9, -2*d + 5*z + 11 = 0. Is d > u?
False
Let x = -240 + 242. Do x and 2 have different values?
False
Let g = 80 + -82. Let r = -2 + 1.4. Let y = r + 0.7. Which is greater: y or g?
y
Let x = 423 - 3811/9. Let k = -3 - -5. Which is bigger: k or x?
k
Suppose 0*x - 24 = -2*x. Let a be (4/4)/((-2)/x). Let l be (-4 - a)/(41*2). Is l at most as big as -1?
False
Suppose -2*n = -3*k + 275, 2*k - 180 = -4*n + 6*n. Which is smaller: k or -2?
-2
Suppose i = -5*z - 2, -2*i + 6*i - 5*z = 117. Which is bigger: i or 13?
i
Let b be (6/15)/(1/10). Let r(y) = y**3 - 4*y**2 + y - 4. Let a be r(b). Let k = 117.95 - 113.95. Which is smaller: k or a?
a
Let g = 3623 - 561567/155. Is g greater than 0.1?
False
Let n be (-7614)/(-10) - 16/4. Let p = n - 772. Let o = 181/10 + p. Is 4 at least o?
True
Let z = -13.4 - 2. Let h = -15 - z. Let d = -17.4 + h. Is 0 > d?
True
Let t = 724369/148845 - -2/29769. Let m = 498 - 1514/3. Let c = t + m. Which is bigger: 1 or c?
1
Let y = -57 + 46. Let l(v) = v**2 + 8*v - 3. Let d be l(-9). Let c be 6*(1 - (d - 3)). Is y bigger than c?
True
Let i(m) = 2*m + 6. Suppose -4*d - 13 = k, -3*d + 2*d - 4*k = 7. Let h be i(d). Which is smaller: 4 or h?
h
Let t = -25.95 + 26. Let c = -140.9 + 141. Is c != t?
True
Suppose 24 = -4*q - 8. Is q smaller than -52/7?
True
Suppose -20 = 4*l, -45 = -5*q - 6*l + 9*l. Is -22 <= q?
True
Let x = 261 - 259.77. Let v = -1.3 + x. Let f = -0.17 - v. Which is greater: 9 or f?
9
Suppose -214*g + 210*g + 16 = 0, 2*g - 5 = 3*l. Which is smaller: l or -1/1272?
-1/1272
Let q = -1764 + 1644. Is q greater than or equal to -132?
True
Suppose 4*r - 8 = -4. Let l = -34 - -75/2. Which is smaller: r or l?
r
Let q be 1 + (2 - 2)*-1. Let r be (6/(-8))/(2/((-1864)/10)). Let z = r - 70. Is q > z?
True
Let r(u) = u**3 - 2*u**2 - u + 2. Let z(f) = -3*f - 4. Suppose 3*s - 1 = -d, -3*s + 5 = -5*d - 8*s. Let o be z(d). Let t be r(o). Which is smaller: 3/17 or t?
t
Let a be (-4)/(-14) - (-138)/(-42). Let r be a/4 + 143/52. Is r less than 11/4?
True
Let f be 2/4 + (-172)/8. Let z be (f/(-14) - 3)*4/(-3). Which is greater: z or 9?
9
Suppose 7*t - 6 = 5*t. Suppose -5*j - 88 = t*z, 3 = j - 2*z + 18. Which is smaller: -16 or j?
j
Let i(z) = -z + 16. Let l be i(25). Let f be 1/((-2)/(17 + 1)). Let d = l - f. Do -10/9 and d have different values?
True
Let i be (0*3/(-42))/(0 + -2). Let v be ((-12)/(-14))/(17/7). Which is greater: v or i?
v
Let a = 0 + -1. Let p be -14 - -11 - (-14762)/(-17). Let v = p + 871. Are a and v equal?
False
Let g(p) = 7*p + 205. Let t be g(-43). Is -99 != t?
True
Let q(r) = -14*r + 2. Let w be q(3). Let d be (((-57)/6)/(-19))/((-1)/78). Which is smaller: d or w?
w
Let a(i) = i**2 + 2*i + 2. Let r be a(-5). Let n be 31/2 + -2 + 6 + -2. Which is smaller: r or n?
r
Let u be (402/77 - 6)/(2/(-49)). Which is smaller: 18 or u?
18
Let v = 3065909/381 - 8047. Which is smaller: 0 or v?
0
Let b = -4409/2524 - 2/631. Is b bigger than 12?
False
Let y be -172*((-12)/(-16) + 2). Let x = y + 14665/31. Which is smaller: 1 or x?
x
Suppose -6 + 4 = f. Suppose 0 = 3*j - 0 - 3. Let c be 2/(j/(5/(-8))). Which is bigger: c or f?
c
Suppose -j - 2 = -0*j + 2*a, 5*j = -2*a - 26. Let i(v) = 2 - 13*v**2 + 3*v**3 + 10*v**2 - 6*v - 2*v**3. Let u be i(4). Is j at most u?
True
Let r(w) = w - 6. Let t = -10 - -6. Let s be -2*1 - (t - 3). Let q be r(s). Is q at least 2/17?
False
Let l = -3.37 - -3.27. Which is greater: 0.032 or l?
0.032
Let f be ((-12)/10)/(-4*(-4)/(-80)). Do 3 and f have the same value?
False
Let m be ((-5 - 5) + 8)/(-289 + -2). Which is smaller: 0 or m?
0
Let y be 16/6*(0 - -3). Let s = 7 - y. Let t = 36 + -39. Which is smaller: t or s?
t
Let f = 344.714 - 345. Let g = f - 0.014. Which is greater: g or -2/5?
g
Suppose 30*i - 23*i = -798. Which is bigger: -115 or i?
i
Let z(a) = -4*a**2 - 9*a + 17. Let m be z(-5). Which is smaller: m or -35?
m
Let t = -943 + 559. Let q = t + 1547/4. Is 4 greater than or equal to q?
True
Let u(a) = -a**2 - 20*a - 18. Suppose -5*z - 90 - 5 = 0. Let m be u(z). Let y be (m/6)/(320/(-48)). Which is bigger: -1 or y?
y
Let y(u) = -u**3 - 10*u**2 + 10*u + 15. Let w be y(-11). Let q = 26 - w. Suppose 2*z + 73 = 3*o, 10 = -5*z - q*z. Which is bigger: 22 or o?
o
Let z = -0.1328 - -0.0078. Which is bigger: z or 3/7?
3/7
Suppose 4*b = -g + 7 + 6, b - 7 = g. Suppose -7 = -3*t - 1. Let p be 1/t - 27/12. Wh