11, -3*y = -3*i + 15. Which is bigger: -5/12 or i?
i
Let d be 8/6*(-6)/44. Let t(f) = -7*f**2 - 6*f + 7. Let n(y) = -8*y**2 - 7*y + 8. Let j(c) = -6*n(c) + 7*t(c). Let o be j(-1). Is o not equal to d?
True
Let u be (-43)/(-3) - 5/15. Let g(y) = y + 11. Let s be g(3). Are s and u equal?
True
Let k = 3 - 4. Is k < 20?
True
Suppose 0 = 6*b - 4*b + 6. Do -3 and b have different values?
False
Let g(h) = -h**3 + 9*h**2 + h - 11. Let q be g(9). Let b be q/(1 - 0) - -2. Suppose f + 18 = 3*f - 5*s, 2*f = s + 2. Which is smaller: f or b?
f
Let r = 19/4 + -217/44. Is r greater than -0.4?
True
Let n be 41/10 - 1/2. Let y = 59/15 - n. Let j = 0.1 - -0.9. Is y <= j?
True
Let q = -4.7 + 5. Do q and 2/7 have the same value?
False
Let q = 0.7 + 0.3. Let x = 13 - 12.2. Let p = 4.8 - x. Which is smaller: p or q?
q
Let j be (-28)/70*10/18. Is -0.08 smaller than j?
False
Let b(t) = t + 8. Let y be b(-10). Let z = -1 + 4. Suppose 5*u = 4*u - z. Which is smaller: y or u?
u
Let y = 3948 - 153991/39. Let q = -2/13 - y. Let v be 12/(-14)*2/(-6). Which is bigger: v or q?
q
Let c(u) = u + 4. Let x be c(4). Let l = x - 8. Let i = 5 - 4. Is l less than i?
True
Let y(k) = 2*k + 19. Let q be y(-9). Let u be (4 - 1)*(1 + 4). Let f = -103/7 + u. Are f and q equal?
False
Suppose 4*r - 12 = 5*r. Are -10 and r unequal?
True
Let p = -17/69 + -2/23. Is 0 less than p?
False
Let w = -51 - -56. Which is smaller: 9 or w?
w
Let r = 18.1 - 16. Let d = r + -2. Let v = 0.2 + -0.3. Which is smaller: d or v?
v
Let k be 4/10 - (-36)/(-15). Let t(b) = -b**3 + 6*b**2 - 3*b - 7. Let z be t(5). Let y = 2 - z. Is k not equal to y?
True
Let u(t) = t**3 + 2*t**2 - 6*t - 1. Let g be u(-4). Let i = -26/3 - g. Let c = 1 + -1. Which is smaller: c or i?
c
Let u = -0.5 + -6.5. Let d = u - -8. Let g = -0.1 - 0.1. Do d and g have the same value?
False
Let f be 0*(-4 - (-52)/12). Which is greater: 2/53 or f?
2/53
Let l = 990 + -983.83. Let x = -0.17 + l. Is -2 smaller than x?
True
Let d(l) be the second derivative of l**5/20 - 5*l**4/12 - 2*l**3/3 - 7*l**2/2 - 3*l. Let m be d(6). Is m not equal to 5?
False
Let o be (-19 - -21)*6*22/(-8). Which is greater: -32 or o?
-32
Let j = -2373/4 + 589. Which is smaller: -5 or j?
-5
Let u(c) = c + 11. Let t be u(-11). Let x = 5/2 - 11/4. Is x at least as big as t?
False
Suppose -2*v - 4*r + 45 = -1, 0 = -2*v - r + 31. Suppose -3*a + 4 = -2*o, 0*a + a - 3*o - v = 0. Let w be -1 + 0 - (-14)/10. Which is smaller: a or w?
a
Let r = 568 - 568.5. Suppose 3*j - 12 = 7*j. Which is bigger: j or r?
r
Let x = 19/60 - 1/15. Suppose 2*q + 4 - 2 = 0. Let z = 2 + q. Which is greater: z or x?
z
Let g = -17 + 10. Let w = g + 6.9. Is -4 > w?
False
Let s be 4/6*3/(-5). Suppose -u = -6*u + 35. Suppose 0 = -w + 2*k + u, 4*w = -0*w - 4*k - 20. Which is bigger: s or w?
s
Let s = -167 - -115. Let h be 5/s + 3/12. Which is bigger: -1 or h?
h
Let h be 165/195 - (-2)/(-2). Are h and -1 equal?
False
Let u(j) = j**3 + 12*j**2 + 11*j + 2. Let r be u(-11). Is r != 4?
True
Let i = 2 + 1. Suppose 7*g - i*g = -12. Let f be g + 2 - (-4)/2. Is 1/6 greater than or equal to f?
False
Let h = -9 + 11. Is 3 at least as big as h?
True
Suppose 73 = -7*o - 4. Which is smaller: -10 or o?
o
Let m be -2*(-2 - (-1)/2). Let d be (-1)/1 + (m - 0). Suppose 0 = 5*s + d*h - 17, -4*s + 10 = s - 5*h. Which is smaller: 2 or s?
2
Let b(z) = z - 8. Let s be b(4). Let o be (s/10)/((-3)/(-5)). Let x(u) = 2*u + 1. Let t be x(-1). Which is bigger: t or o?
o
Let n = -2 - -4. Which is bigger: n or 9?
9
Suppose 0 = 6*x - 0*x. Is -5/29 < x?
True
Suppose 3 = 3*s + 6. Let r(p) = -p**3 + p**2 + p + 8. Let u be r(0). Let f be u/(-10) - 2/(-5). Which is smaller: f or s?
s
Suppose -22 = 4*g - 2*c, -5*g = -3*c + 10 + 18. Is -7 > g?
False
Let w be 5*-1*(-1 + 0). Let p = w - 3. Let d be 12/(-18) + 14/12. Which is bigger: d or p?
p
Suppose 4 = 3*m + j - 2*j, -3*j + 24 = 3*m. Let k be 6 + -8 - (-3 - 3). Is k bigger than m?
True
Let a = -9 - -8. Let j = 1/6 + 1/6. Is a >= j?
False
Let c be (1/44)/((-3)/(-27)). Let d = c + 1/22. Let a(y) = y**2 - y - 1. Let f be a(-1). Which is smaller: d or f?
d
Suppose -25 = c + 4*c. Which is greater: c or -6?
c
Suppose -2 - 4 = -3*o, -3*o = g - 7. Is 27/8 not equal to g?
True
Suppose 0 = 2*i + 2*i. Let t = 40/277 + 170629/1939. Let a = 88 - t. Which is bigger: a or i?
i
Let n = 0.058 - 0.028. Which is smaller: -4 or n?
-4
Let x be 21/6*8/7 + -1. Is x equal to 2?
False
Let r be 2 + -3 + (1 - 2). Let j be r/2 - (4 - 8). Suppose 3*z - 6 = -j*c, -16 = c - 4*z + 2. Which is greater: -3 or c?
c
Suppose -3*z - 9 = -6*z. Suppose -2*k = k - z. Let u be (2/15)/(12/18). Is k less than u?
False
Suppose -3*q - 2*q = -15. Suppose -q + 1 = -h. Suppose -1 = h*p - 9. Is 4 at least as big as p?
True
Suppose -3*u - 7 = 2*c, -3*c - 3 = -3*u - 0*u. Let w be ((-8)/24)/(24/(-27)). Which is greater: u or w?
w
Let a be 4/(-14) - (-19)/(-7). Let q = 2 + a. Let t be 8/12*9/(-42). Which is bigger: q or t?
t
Let y(h) = -h - 1. Let c be y(2). Suppose -9*m = -7*m - 36. Let w be 3/m*c/4. Which is greater: 1 or w?
1
Let t(g) = 2*g**2 + 5*g + 3. Let k be t(-3). Let o(n) = -n + 2*n - 3 + 0*n. Let z be o(k). Is z greater than 4?
False
Let u be (1/2)/(1*2/68). Which is smaller: u or 16?
16
Let k = 12 - 11. Let c = 6.5 - -1.5. Let m = 11 - c. Which is smaller: k or m?
k
Suppose -3*d = 2*o - d + 18, 3*d + 3 = 3*o. Let s = o + 5. Let y = 0 - -1. Is y less than or equal to s?
True
Suppose -7 = z + 3*z + 5*d, -z - 3*d = 7. Let q be (4/10)/(3 - z). Is q <= -2/21?
False
Let i = 49.3 - 46.29. Let z = 0.01 - i. Let t = z - -2. Are t and -5 non-equal?
True
Suppose 2*d - 5*d = 5*m, 0 = -4*d - 5*m. Let o be (-30)/4*(-6)/(-36). Which is bigger: o or d?
d
Suppose -2*i = i - 3. Let v be (-100)/40*1/30. Which is smaller: v or i?
v
Let h be ((-6)/4)/((-105)/32). Let g be ((-6)/10)/(2 - (-1 + 4)). Let r = g - h. Which is greater: r or -1?
r
Let d = -16.5 + 14. Let q = 1.5 + d. Does -1 = q?
True
Suppose 20 = 3*q + q. Suppose 5 + 5 = -q*m. Is -1 at least m?
True
Let o = 131 + -388/3. Which is smaller: 1 or o?
1
Let z(x) = -3*x**2 - x + 1. Let i be z(1). Let h = i - -6. Suppose h = -a + 3*v + 5, 0 = -v. Which is smaller: a or 1?
1
Let h = 6 + -24. Let j be (2/(-7))/(h/14). Which is smaller: 0.1 or j?
0.1
Let m(j) = -7*j**2 + 2*j - 5. Let q(x) = -x**2 + x - 1. Let n(v) = -m(v) + 6*q(v). Let y be n(-5). Which is greater: y or -2/5?
y
Let u be (-36)/65 - (-26)/169. Suppose 3*g - 9 = 2*g - 3*r, 5*g - 3*r = -27. Let h be -6*(-3)/(11*g). Which is smaller: u or h?
h
Let r be -1 - (12/(-60) + (-78)/95). Which is smaller: -1 or r?
-1
Let j = -78 + 236/3. Let g(n) = -n**3 - 7*n**2 - 6*n + 4. Let i be g(-6). Which is greater: j or i?
i
Suppose -5*z + 9 = 19. Which is bigger: z or -0.03?
-0.03
Let h = -26.7 - -27. Which is smaller: 0.4 or h?
h
Let h = -0.3 + 9.3. Let q = -3 - -2. Which is smaller: q or h?
q
Let d(g) = g**2 - g - 2. Let x be d(0). Let w be -3 + 309/63 + x. Which is bigger: w or -1?
w
Let p = -7 + 11. Let u be (45/(-24))/(-3)*p. Is u less than or equal to 2?
False
Suppose -3*w + w = -18. Suppose 0*i = -3*i + w. Suppose i*v - a = -2*v - 11, -4*v + 2*a - 10 = 0. Which is smaller: 0 or v?
v
Let n be (4/3)/((-1)/3). Let y(f) = 6*f - 5. Let l(j) = -j + 1. Let t(a) = 11*l(a) + 2*y(a). Let w be t(n). Is -3 < w?
False
Let j = 5 - 86/17. Suppose -z = -3*r + 7, z + 4*z + 5*r = 5. Which is smaller: z or j?
z
Suppose 0 = 3*j + i + 3, 0 = -j + 2*i + i - 1. Let v = 351 - 1793/5. Let b = v - -36/5. Which is bigger: b or j?
b
Let b be 124/6 + 2/6. Let i be (-112)/b*6/4. Let h be (-2)/i + 1/12. Which is greater: h or 0?
h
Let k = -219079556/651 - -336528. Let a = k - -2/93. Which is smaller: a or 0.7?
a
Let v be 0 + -2 - 6/(-3). Suppose v = 3*x + 2*x - 60. Let w = x + -47/4. Which is greater: w or 0?
w
Suppose 0 = -12*r + 11*r. Is 2/15 greater than or equal to r?
True
Suppose 0 = x + x - 0*x. Which is smaller: -3.3 or x?
-3.3
Suppose 0 = -h + 2 + 5. Suppose h = 3*n - 5. Is 4 smaller than n?
False
Let r be 81/(-12) - 1/4. Suppose 0 = -4*m - 28 + 4. Is m smaller than r?
False
Let g = 23 - 1. Suppose 8*o - 10*o + 56 = 3*b, -3*o - 15 = 0. Is g >= b?
True
Suppose -4*z + 10 = -2. Suppose b - s - z*s - 16 = 0, -s = -4*b + 19. Let r be 2/b*(-12)/27. Which is smaller: 1 or r?
r
Suppose