n?
True
Let p be -2 - -2 - (-5 - 3). Let i be (p/70)/((-2)/5). Which is greater: 2 or i?
2
Let m(r) = r**3 + 16*r**2 - 18*r - 14. Let k be m(-17). Do 3 and k have the same value?
True
Let k = -6/7 + 85/91. Which is greater: k or -1?
k
Let m = 1.1 + -1.1. Let s(o) = o**2 + 2*o - 1. Let p be s(-2). Which is greater: m or p?
m
Let q be 10/1*2/(-4). Let f(z) = -z**2 - 4*z + 2. Let v be f(q). Let o be v/(-28) - 4/16. Which is bigger: o or 0?
0
Let d(b) = 2*b - 5. Let t be d(4). Suppose -t*u + 2 = -1. Which is greater: -0.4 or u?
u
Let a be (-2 + -1)/(1/(-1)). Let z be 10/(-8)*(a - -1). Does -5 = z?
True
Let l = 4.05 - 0.05. Let n = 4 - l. Let f = -0.1 - -0.1. Is n bigger than f?
False
Let m be -2 + 1 + 6 - 20/10. Is 10 >= m?
True
Let l be (1/(-2))/((-2)/8). Suppose -4*c = l*z + 14, -1 = -z - 6. Is c bigger than 3?
False
Let g be (102/(-8))/((-35)/(-28)). Which is bigger: -10 or g?
-10
Let q = -2 + 3. Let a = q + 4. Suppose a*t = -0*t. Which is bigger: t or -2/13?
t
Let a(y) = y - 3. Let q be a(6). Suppose -g = -q*w + 15, -g - 2*g = 4*w - 7. Suppose i + 3*i = w. Which is smaller: -1/3 or i?
-1/3
Suppose -2*c = -4*c + 4. Let o = 6337949/29883320 + -3/72008. Let y = o + -1/83. Is c greater than y?
True
Let l = 2 + -1.9. Let i = -12 - -8. Let x be (-2)/(-7) + i/14. Is l >= x?
True
Suppose 2 = 3*x - 5*x - k, -3*k = -5*x - 5. Which is smaller: x or -4/11?
x
Let f = -4.1 + 4. Let d = 94 + -94. Which is greater: f or d?
d
Let w = -21.3 + 21. Is w > -3?
True
Suppose -i - 1 = -2*r, 5*r + 2 = 2*i + 8. Is 2 <= i?
True
Let y(g) = g + 9. Let k be y(0). Suppose 5*d = -4*r - 0*r + 7, d - k = 3*r. Which is bigger: d or -0.4?
d
Suppose -l + 0 = -2. Let a = 3 - l. Suppose -2*i + a + 3 = 0. Is i < 4/7?
False
Let h be (-1)/(-1)*(2 + -3). Let a be 86/(-110) - 12/(-66). Is a smaller than h?
False
Let l = 259 + -531/2. Are l and -8 nonequal?
True
Suppose 5 = -4*b - 3. Let a be 2/8*18/(-3). Is a bigger than b?
True
Suppose 0*x - 3*x + 21 = 0. Let f = x - 5. Which is smaller: f or 3?
f
Let w be 2 - (2104/14 - 0). Let j = -148 - w. Let s = -165/4 - -41. Are s and j nonequal?
True
Let c be (-62)/(-8) - (13 - 9). Which is greater: c or 3?
c
Suppose 2*q = 4 - 0. Let j be -1 - -2 - q/4. Is j != 0?
True
Let x be -1*(3 + -4 + 2). Let z be x/5*30/24. Are z and 5 equal?
False
Suppose -n - 5*n = -54. Let y be (1/n)/((-14)/(-84)). Is 1 greater than y?
True
Let c(r) = 4*r**3 - 2*r**2 + 2*r - 1. Let d be c(1). Let l = -7 + d. Is 1 less than l?
False
Let p(a) = -a - 8. Let t be p(-5). Let b = t - -2. Which is bigger: -4/3 or b?
b
Let m = 8 + 0. Let w be 1/(-4) - 14/m. Suppose -2*n - 210 = -204. Is w <= n?
False
Let i = -7 + 11. Let j be (-6)/(-8) - (-5)/i. Which is smaller: 3 or j?
j
Let r = -116 + 62. Let p = r + 121/2. Which is smaller: 6 or p?
6
Let d = 2.3 - 1.1. Let z = d + 1.8. Let o = -23/100 + -1/50. Which is smaller: z or o?
o
Let y = -500 + 35498/71. Are 1 and y non-equal?
True
Let m = 371/10 - 37. Let f = 0.9 - 1.2. Let i = f + 0.4. Is m greater than i?
False
Let k = -37 + 186/5. Which is bigger: k or 1?
1
Let d be (36/27)/(2/(-3)). Is -9/8 > d?
True
Let g(a) = -a - 2. Let k be g(-3). Let i be (-1)/k*(-6 - 1). Let s = -7 + i. Is s greater than 0?
False
Suppose -4*x - 32 = 4*t, 3*x - 20 = 6*t - 5*t. Suppose -5*z + 28 = 3*n + 72, -5*n = -z - 20. Is t < z?
True
Let p = -2.2 + 2. Let j = 0.3 + -0.8. Let a = j - p. Is -1/3 at least as big as a?
False
Let i be 9/(-2) + (-3)/6. Let z be (-3)/(-6)*-1*6. Let l be 26/(-6) + (-1)/z. Which is bigger: l or i?
l
Let d = 20 + -15. Let k = -6 + d. Is k < 12/7?
True
Suppose f = -3*f + 40. Is 10 > f?
False
Let k be 1336/1328 - 1/1. Which is smaller: k or 1?
k
Let j = 6.57 + 0.63. Let u = j + -7. Which is greater: 2 or u?
2
Suppose -38*a + 39*a = -22. Which is smaller: -23 or a?
-23
Let i = -15.1 - -15. Which is smaller: -1.2 or i?
-1.2
Let h = 17 + -35/2. Which is greater: 0.3 or h?
0.3
Let p(y) = -y. Let h be p(1). Let f = 13.72 + -14. Let t = 0.02 - f. Do t and h have the same value?
False
Let y = 5 - 5.6. Let a = y + 0.2. Is -2/5 at most a?
True
Let v = -0.6 + -0.4. Let a = 48 - 42. Is a less than v?
False
Let q(j) = -j**2 + 8*j - 12. Let h be q(8). Let k be (-50)/h - 4/6. Which is smaller: k or 4?
k
Let i = 1411/8 + -4731/40. Let k = i - 58. Is 0 greater than or equal to k?
False
Let q = -1 - -13. Let r be (-10)/q + (-3)/(-6). Let u = 32 - 31.6. Which is smaller: u or r?
r
Let o be 2 + (2/12 - (-330)/(-252)). Is 1 equal to o?
False
Let l = -2 + 5. Let c = 10 - 6. Let u = l - c. Is u >= -1?
True
Let f be 6/15 + 13/5. Suppose 5*x = y - 22, x - 2*x = y + 2. Let t = y - 0. Is f smaller than t?
False
Let z(t) = 2*t**2 - 5*t - 1. Let w be z(4). Are w and 11 nonequal?
False
Let i(t) = t**2 + 4*t - 1. Let h be i(-4). Let p = h - -2. Which is bigger: p or -1/3?
p
Let k = -0.5 + 0.3. Let d(r) = -r**2 - 5*r - 2. Let b be d(-3). Suppose -5*x - 18 = -4*p + 10, -b = 4*p + 3*x. Which is smaller: p or k?
k
Suppose 3*d + 36 = -4*l, 0*d = 2*l + 2*d + 18. Which is smaller: l or -10?
-10
Let p(c) = -2*c + 4 + 0*c + c + 1. Let q be p(6). Let x(a) = a**3 - 5*a**2 + a - 5. Let b be x(5). Which is greater: b or q?
b
Let h be 10/3*1/2. Let l(r) = -r**2 - 4*r - 1. Let n be l(-3). Which is bigger: h or n?
n
Let r = 24 + -1. Suppose -y = 5, -5*t = y - r - 17. Suppose -5*i = -2*i - t. Which is smaller: i or 4?
i
Let j be (2/(-4))/((-1)/2). Let d = -6 - -8. Which is greater: d or j?
d
Let c = 26 - 15. Let y = 5 - -2. Let j = c - y. Do j and 4 have different values?
False
Suppose -3*q = 111 - 126. Which is greater: q or 29/7?
q
Suppose 21 = 7*y - 0*y. Suppose 5*o = -2*l - 0*l + y, -7 = 3*o - l. Let q be 2/6 - 7/3. Which is smaller: q or o?
q
Let c be -4 - -1 - (-4197)/33. Let n = 124 - c. Suppose -3*j - j = 0. Which is bigger: j or n?
j
Let q(v) = 3*v + 4. Let c(p) = -6*p - 9. Let l(z) = -6*c(z) - 13*q(z). Let b be l(2). Let g(o) = o - 4. Let m be g(0). Is m smaller than b?
False
Let u = 99.9 + -101. Which is greater: -3 or u?
u
Suppose 0*a = -4*o - 2*a, -4*o + 4*a = 12. Is o bigger than -1?
False
Let d be 1443691/(-564) - (-3)/4. Let u = d + 2559. Let h = u - -419/282. Which is smaller: h or -1?
-1
Let n(s) = -s**2 - 18*s - 18. Let r be n(-17). Is -5 at least as big as r?
False
Suppose 0 = g - 5*t + 22, -3*g + g - 5*t + 31 = 0. Suppose -g*f - 4 = -16. Suppose -5*o = d, -f*o + 5*o = -5*d. Is -2/3 at most d?
True
Let r be (-4)/(-22) + 27/33. Let g = -3 + r. Let f be g/3*(-2)/(-6). Are 1 and f nonequal?
True
Let u = 93 - 1765/19. Is -1 at least u?
False
Let d be 1 + 0 - (-9)/(-3). Let h be (-2*d/(-4))/(-4). Let t be ((-4)/(-14))/((-3)/(-7)). Are h and t non-equal?
True
Suppose 3*h = -0*h + 5*q - 28, 4*h + 19 = 3*q. Let o be (2/(-4))/(h/(-4)). Which is bigger: o or -7/5?
-7/5
Suppose -3*u - 2*w - 1 = 0, u - 5*w + w - 23 = 0. Let f(o) = -o + 12. Let k be f(8). Do u and k have the same value?
False
Let g = -31/700 + -1/28. Suppose -3 = 2*n - 1. Is n != g?
True
Let j be ((-2)/(-10))/((-40)/(-168)) - 1. Is 0 smaller than j?
False
Let f be (1 - -5 - 1) + -1. Let j = 6 - f. Suppose 0 = -j*y + 7*y. Which is greater: y or 1?
1
Suppose o + 6 = -4*p, -2*o + 28 = -5*p + 1. Is o greater than or equal to 5?
True
Let b(q) = q**3 - 7*q**2 - 8. Let r be b(7). Let x = r + 5. Which is smaller: -4 or x?
-4
Let l = 9 + -6. Suppose 2 = -3*a - 4. Let d be (-1)/(10/(-4) - a). Which is bigger: l or d?
l
Let r be -3*(-2 - (-10)/6). Let p = 77 + -224/3. Is r less than p?
True
Let d(m) = 2*m**2 + 5 + m**3 - 1 + 2*m - 2. Let v be d(-2). Let g = 0.05 + 0.05. Does g = v?
False
Let x be -2 + (12/5)/((-147)/(-140)). Which is smaller: 73 or x?
x
Let q = 3 + -3. Suppose 4*u + 11 + 1 = q. Let t be 4/(-10)*30/8. Which is smaller: t or u?
u
Suppose -13 = 4*q + 3. Let h be 301/35 - q/10. Which is smaller: h or 10?
h
Suppose v - 2*x + 2 - 7 = 0, -7 = -5*v + 4*x. Let u be 2 + -1 - 2 - -199. Let i = -2572/13 + u. Which is smaller: i or v?
v
Let m = 21 + -18. Which is greater: 5 or m?
5
Let s be -2*10/12*66. Let l be 231/s - (-2)/4. Is -3 less than or equal to l?
True
Let g be (1/3)/(14/(-6) + 2). Let b be ((-2)/1)/(0 - 1). Suppose -b*d = -5*z - 0*z - 10, 10 = -z + 2*d. Which is greater: g or z?
z
Let c = 0.4 + -2.4. Let t = c + 1. Which is smaller: t or -0.1?
t
Let o be ((-36)/(-90))/((-9)/25). Which is bigge