- 2. Let s be h(2). Let y = 7 + s. Let p be 2/y - (-19)/42. Which is smaller: p or 1?
p
Let r be 1*(3 - 1) - (3 + -15). Which is smaller: -1 or r?
-1
Let p = 114.1 - 114. Is 4.1 smaller than p?
False
Suppose -j = 2*j - 3. Let p = -4949/17 + 291. Is j >= p?
True
Let a = -6 - -10. Suppose -b + 5*b - a = 0. Suppose 4*o - 5*c + 10 - 1 = 0, 2*c + b = -3*o. Which is smaller: 4/7 or o?
o
Let s = -2 + 0. Let i be (-2 - s)/(4 - 2). Is i less than or equal to -2/9?
False
Let q = 41 + -41.2. Is -24 bigger than q?
False
Let q = -1 + 4. Suppose -g - q*g = 12. Is -2 less than or equal to g?
False
Suppose 0 = y + 7. Let s be (3/y)/(-3)*-4. Which is smaller: -0.1 or s?
s
Suppose 0 - 18 = 3*x. Suppose -5*t + 26 = 3*a, t - a - 4*a + 6 = 0. Let s be (x/t)/(1*3). Is -2 at least s?
False
Let c = 30 - 14. Suppose 2*t - t - 4*s + 15 = 0, 3*s = -4*t + c. Is t at most 0?
False
Suppose 2*k + 4*g - 4 = 0, -20 = 4*g - 0*g. Is k equal to 12?
True
Let s be 1 + -2 + (-4364)/20. Let n = s + 218. Let h be (-1)/(2/3)*4/6. Are n and h equal?
False
Let f = -0.4 + -2.6. Let s = 3 + f. Let q be (-6 + 10)*2/60*1. Are s and q equal?
False
Let v = -14 + 17. Suppose 2 = -v*y - 4. Do y and -2 have different values?
False
Suppose -4*q = -9*q + 25. Suppose q*g + 0 = 20. Which is bigger: g or 5?
5
Let d = 0.28 - -2.12. Which is bigger: d or 0.2?
d
Suppose 0 = 5*d - 8 - 2. Let y = -0.2 + 0.7. Which is smaller: d or y?
y
Let n be (6 - 0)*52/8. Suppose -4*m - 25 = n. Let a be 4/m - 2/8. Is a at least -1?
True
Let n = 323 - 1943/6. Suppose -z + 4*h = -16, z = 5*z + 3*h + 12. Is n <= z?
True
Suppose 2*j + 0*j = 2*w - 6, 0 = 3*w + 3. Let m be (-6)/j + 3 + -5. Is m less than -7?
False
Let r = -0.1 - -0.2. Let u = -14 - -14.7. Which is smaller: u or r?
r
Suppose 0 = 3*a - 3, 5*k - 28 = -3*a - 0*a. Suppose 8*z - 3*z = k. Which is smaller: -2/15 or z?
-2/15
Suppose 0 = -p + 2*p - l + 4, 2*p - 3*l + 12 = 0. Which is smaller: p or 2/145?
p
Let y = -6 + 13. Suppose 3*m + 1 - y = 0. Suppose m*j = -3*b + 5, 4 - 3 = b. Is j less than -2/5?
False
Let z be -2*(3 + 21/(-6)). Let w be (2 + -1)/(z/9). Let r = w + -6. Which is bigger: 2 or r?
r
Let u = -2 + 4. Let x be (10/45)/(-1) + 0. Is u less than x?
False
Let y = 1 + 1. Suppose 1 = y*z - 7. Let j be 1*-1*z/18. Is 0 not equal to j?
True
Let f be (-18)/(-30) + 27/5. Is f < 4?
False
Let i be 22/(-6) + 6/9. Let n be i/3 + 2/3. Let m(b) = -b**2 + 4*b + 4. Let c be m(5). Which is greater: c or n?
n
Let v = -0.22 + -2.58. Let l = -3.8 - -3. Let y = v - l. Which is greater: y or 0.3?
0.3
Let c be 2*(4/8)/(-1). Is -1/7 > c?
True
Suppose u - 3*u = 0. Which is greater: u or -1/5?
u
Let p = 128/183 - 2/61. Let b be (3/(-3))/(-1) - 1. Which is smaller: b or p?
b
Let l(n) = n**2 + 6*n + 2. Let h be l(-6). Suppose 0 = -h*v - v - 18. Which is smaller: v or -5?
v
Let a = 2 + -3. Let l = 103 + -106. Which is greater: l or a?
a
Let a = 9102/11 - 828. Which is greater: a or 0?
0
Let c = -227/44 - -54/11. Which is smaller: 15 or c?
c
Let j = -3.021 - 0.989. Let v = -0.01 - j. Let g = -6 + v. Which is greater: 1 or g?
1
Let x(t) = -t + 2. Let k be x(-2). Let g = 9 + -5. Let s be (3/g)/(5/k). Are s and 2 equal?
False
Let i be (6 - 4)/(4*2). Is i != -1/4?
True
Suppose -n = -3*h + 70, -2*n - 132 = -0*n - 4*h. Are -58 and n equal?
True
Let v = -34.9 + 5.9. Let p = v - -25. Is 0 at most p?
False
Let b(d) = d**2 - 7*d - 10. Let f be b(8). Let m be (-4)/(-6)*12/(-8). Let c be (-3)/(2*m/(-2)). Which is smaller: c or f?
c
Let k = -19 + 20. Which is greater: k or -1/5?
k
Let h = -2/21 - -25/42. Is h > 16?
False
Suppose y = 11 - 4. Let a(r) = -y + 0 - r - 1. Let k be a(-9). Is k at most as big as -1?
False
Let n(v) = -9*v - 1. Let b be n(1). Let l(u) = u + 5. Let h be l(b). Is -4 <= h?
False
Let t = 2/437 - 2636/3059. Which is greater: 0 or t?
0
Suppose h - 4 = f, -f - 12 = 2*f. Let d be (-1)/10 - (-949)/(-910). Is d at most h?
True
Suppose -k + 3*j + 34 = 4*k, -2*k - 4*j = 2. Let g = 7 - k. Is g equal to 2?
True
Let b = 3 + 0. Let c = -2 + b. Let n = -1 + c. Is n >= -2/7?
True
Let t be (-47)/(-86) + (-8)/16. Which is smaller: -1/3 or t?
-1/3
Let t = -6 + 10. Suppose -t - 2 = -2*a. Which is bigger: 19/5 or a?
19/5
Let m(p) = 2*p**2. Let o be m(-1). Suppose -5*z = -o*z - 81. Let t = -82/3 + z. Is -2 at most as big as t?
True
Let r = 38 - 35. Let c be 5/3 + 1/3. Suppose c*y + 5 = 13. Which is smaller: r or y?
r
Suppose 3*x + x = 28. Which is greater: x or 6?
x
Let a = 22 - 21.8. Is a greater than 3.6?
False
Let k be 32/12*198/12. Is 44 less than k?
False
Suppose 0 = i - 3*d - 7, 0 = 5*i - 5*d + 4*d - 21. Suppose -4*y + 3*y = -2. Suppose i = 2*q + y*q. Which is greater: 0 or q?
q
Let o(t) = t**2 - 2*t - 3. Let m be o(7). Is 32 not equal to m?
False
Let o(f) = f**2 - 11*f + 26. Let r be o(8). Do 1 and r have different values?
True
Let i = -9 - -4. Let t be (2/(-4))/(3/(-10)). Let s = 1 - t. Which is bigger: i or s?
s
Let j = -4633/249 - 5/83. Which is smaller: -18 or j?
j
Let j be 0/(-1*(-3 - -4)). Which is smaller: j or -1/60?
-1/60
Suppose 3*z + 187 = -152. Let s = -81 - z. Suppose 3*k - 5*n = s, -3*k = -k + 5*n + 12. Is k not equal to 5?
True
Let b(u) = u**3 + 6*u**2 + 3*u - 5. Let n be b(-5). Is n bigger than 4?
True
Let u be (-8)/(-15)*24434/(-12). Let y = u + 1086. Is y at least 1?
False
Let j = 50/287 + -16624/92127. Which is bigger: 0 or j?
0
Let z be (-12)/(-9) + 6/9. Which is greater: 36/13 or z?
36/13
Suppose 2*m + 3*k - 12 = 0, m + k + 1 - 5 = 0. Suppose r + r + 2 = m. Which is greater: -5 or r?
r
Suppose 0 = -13*h + 15*h - 2. Is h greater than 5/3?
False
Suppose 5*g - 31 = -4*b, 5*g - 4*b = -0*g - 1. Suppose 16 = g*y - 8. Let z be (-35)/(-154)*y/10. Are -1 and z nonequal?
True
Let y = -22 - -21. Is -1 equal to y?
True
Let v = 11 - 19. Let h = v + 8.2. Is h > -0.06?
True
Let j be ((-1)/12)/((-8)/16). Is 0 at most as big as j?
True
Let o = 107 + -533/5. Is 53 smaller than o?
False
Let z = 25 + -19. Suppose -5*c + 29 = x, x = -2*c + 3*x + 14. Is z > c?
False
Let o = -18 + 21. Is 3 at least as big as o?
True
Let l(w) = 2*w - 4. Let d be l(3). Let o = -6 + d. Is -4 at most as big as o?
True
Let w be 0*((-15)/(-6) + -3). Suppose 2*m = 2 - w. Is m at least 1?
True
Let z be ((-10)/(-4))/((-3)/12). Let s be (z/(-4))/(1 - 2). Is -2 < s?
False
Let x be (6/(-9))/((-4)/(-6)). Let g be (1/x - 1)*-5. Suppose l + l = -g. Is l bigger than -3?
False
Let z = 15 + -3. Let l = -17 + z. Let x = l + 6. Which is bigger: -1/7 or x?
x
Let g = 20 + 47. Is g at most as big as 68?
True
Let i(d) = d**3 + 4*d**2 + 3. Let x be i(-4). Suppose -n - 2*v - 4 = -x*v, 2*v - 12 = 3*n. Let r be (n/2)/(4/(-8)). Is r at most 2?
False
Suppose 4*a - 8 = 8*a. Is a less than or equal to -2?
True
Let c(r) = 2*r**2 + r - 1. Let l be c(3). Let t be 4/l - 62/10. Which is bigger: t or -7?
t
Let p = -0.24 + -0.2. Let a = 0.04 + p. Is a >= 0?
False
Let z(y) = -6*y + 21. Let i be z(4). Is i equal to 2/11?
False
Let s = 7 + -9. Let g = 4 + -5. Which is smaller: s or g?
s
Let h(f) = f + 31. Let x be h(-16). Which is bigger: 16 or x?
16
Suppose 2*b - 3*a + 15 = 5, -b - 4*a - 27 = 0. Is 1 smaller than b?
False
Let g be -4 + 1*176/28. Which is bigger: 3 or g?
3
Let d be 10/(-15)*(-30)/(-4). Let k be (-4 - d) + (0 - 0). Let a = 678/5 + -136. Does a = k?
False
Let w = -2.25 - 0.05. Let f = w + 12.3. Is f less than or equal to -1?
False
Let f = 44 - 46.7. Let d = f + 3. Which is smaller: d or 0?
0
Let l = -5 - -6. Let d = l - 1. Which is smaller: 1 or d?
d
Let h = -4.4 + 10.6. Let u = -6 + h. Is u less than or equal to -3?
False
Let t = 24 + -27. Which is smaller: t or -9?
-9
Let d = -17 - -36. Are 19 and d equal?
True
Suppose -2*r = -4*r + 2*k - 18, r - 4*k = -24. Is -19/6 > r?
True
Let x = 1.08 - 1.26. Are 2 and x equal?
False
Suppose q - 2*q = -2*a + 9, 9 = -2*q + a. Let m be 6*(-1)/(6/4). Is q equal to m?
False
Let f be 1/15*20/(-16). Which is greater: 1 or f?
1
Suppose -4*o - 3*k = -9, 0 = -5*o - 0*o - k + 3. Let f be (10/(-210))/((-1)/(3*-1)). Is f less than or equal to o?
True
Suppose -3*i - 5 - 4 = 0. Let d be (8*-1)/(i - -1). Is 5 <= d?
False
Let r = -684/5 + 137. Is r smaller than -2/13?
False
Let z(q) = q**3 - 4*q**2 - 5*q + 4. Let x be z(5). Let r be (-32)/(2 + (-9)/x). Let h be 2/(-5) + r/420. Which is smaller: h or -1?
-