-1). Which is smaller: 1 or a?
a
Let v(j) = 2*j**2 + 2*j - 1. Let o be v(-2). Suppose 5*m = o*d + d - 37, -3*m = -4*d + 35. Is d < 7?
False
Suppose -5*c = -3*k - 2*k - 25, 2*c = k + 10. Is -1 greater than c?
False
Let x be 68*(-3 + 1 + -1). Let l = 1024/5 + x. Which is bigger: 2 or l?
2
Suppose 2*d - 105 = -1. Let r = -258/5 + d. Let j = 1 + -1. Is r <= j?
False
Suppose 2*c = -5*h - 4 - 3, -1 = h. Is 2/15 greater than or equal to c?
True
Let h be 4 + -5 + (-284)/4. Is -1/3 <= h?
False
Suppose 6*d - 45 = 3*d. Suppose -13*t + 195 = -0*t. Is t less than d?
False
Let n = -1 - -2. Let z be 9/(-51)*((-1 - -7) + -7). Which is smaller: n or z?
z
Let g be (-2 - -64)*(-2)/(-54)*3. Which is bigger: g or 8?
8
Suppose 0*n + 4*n = -168. Let k = -169/4 - n. Is k equal to 1?
False
Let p = 3 + -4. Let j(v) = v**2 + 2*v - 2. Let l be j(-4). Let y be (l/(-4))/((-12)/(-16)). Which is greater: y or p?
p
Let k = -5 - -7. Let q = 8 - 6. Is k greater than q?
False
Let l(q) = 8*q. Let d be l(16). Is 129 equal to d?
False
Let f = -7 - -9. Suppose -4*h - 8 = -4*n, 3*n - 4*n = -f*h - 1. Which is smaller: 6/5 or h?
h
Let l be (-6)/2 + (-36)/(-1 + -1). Which is smaller: 16 or l?
l
Suppose 0 = -3*x - 2*y + 5, -4*x - 3*y + 1 = -6. Which is bigger: -2/21 or x?
x
Let l(h) = h**2 + 3*h + 4. Let c be l(-4). Let v = c + -5. Suppose 19*u - 21 = 12*u. Are v and u non-equal?
False
Let j = -9 - -11. Let x be 2/(2 + -8)*j. Is x smaller than -2?
False
Suppose -65 = -6*b + 67. Is 22 <= b?
True
Let q = -834 - -14186/17. Are q and 0 non-equal?
True
Suppose -3*h = -2*h - 2. Suppose 2*y + h = -2*c + 6*y, 2*y = 3*c - 1. Let m(w) = -w**3 + 4*w**2 + 5*w + 3. Let x be m(5). Which is smaller: c or x?
c
Let p = -10 + 11. Which is smaller: p or 3/5?
3/5
Let a = -7 - -16. Is 9 bigger than a?
False
Let p be (3/4)/(2/16). Let a = -7 + p. Is a bigger than 0?
False
Let v = 5 + -4. Suppose -3*s - g + 8 = 0, g = -s - v + 5. Which is bigger: s or 3?
3
Let k = 0.254 - -0.146. Which is greater: 6 or k?
6
Let h(b) = b**3 + 6*b**2 + 4*b + 9. Let x be h(-6). Let k be (-184)/(-510) - (-6)/x. Is k > 1?
False
Suppose 0 = 3*b - 12, 0 = -y - 3*b + 4 + 11. Let v(g) = -9*g - 5*g + 13*g + 2. Let t be v(y). Is t equal to 1/8?
False
Let y = 17.1 + -17. Which is smaller: y or 0.03?
0.03
Let x be 3/((-90)/4) + 160/75. Is x bigger than 12/5?
False
Let i = -415668544/119 + 3492982. Let m = i + 216/7. Let v(n) = -n + 4. Let w be v(5). Is m smaller than w?
False
Suppose 4*u + 5*g = -0*u + 32, -2*u - g + 10 = 0. Which is greater: u or 3/4?
u
Let l be 0 - (1 - (-5)/(-3)). Let r be (-3)/(-3)*16/8. Which is bigger: r or l?
r
Let x = -4.89 - -0.09. Let b = -8 + 3. Let h = x - b. Which is smaller: h or -1?
-1
Let w = 1 - -19. Let k be (-8)/(-2) + (-55)/w. Which is greater: k or 0?
k
Let z = 3 + -2. Suppose -8*o + 2*o + 12 = 0. Is o at least z?
True
Suppose 18 = b + b + 4*q, 3*b - 3*q = 9. Suppose -b*f + 4 = -3*f. Which is greater: 2/3 or f?
f
Suppose -3*m - 5*w = -2*m + 24, -13 = -3*m + 2*w. Let f = 40 + -39.9. Which is smaller: f or m?
f
Let k be (-6)/4 - 85/(-70). Which is smaller: k or 0.05?
k
Suppose 0 = z + 2*z - 3. Suppose 0 = -4*b - 3 + 19, 2*g = 2*b - 96. Let h be -1 + 3/((-156)/g). Which is greater: z or h?
z
Let a = -582/55 + 133938/12595. Let u = a + -1530/2977. Are 1 and u non-equal?
True
Let f = 13 - 15. Which is bigger: 0 or f?
0
Let k = 16526630328/1991 - 8300668. Let u = k - -2/181. Let c = -0.3 - -0.4. Which is greater: u or c?
u
Suppose -2*l = 5 - 1. Suppose -2 = -3*g + 10. Suppose 3*a + 12 = -g*p, -3*a + p - 4*p = 9. Is a greater than or equal to l?
True
Let j be (-34)/(-4) + (-7)/(-2) + -4. Is -1 at most j?
True
Let c(j) = -j**2 + 7*j + 4. Let o be -1 - -1 - (-3 + -3). Let n be c(o). Let t = 49/5 - n. Is 0 > t?
True
Let g be 1/((2/10)/1). Let a be ((-12)/(-1 + 4))/g. Which is bigger: -2 or a?
a
Let h be ((-2)/5)/(2/(-10)). Let n be (h/8)/((-2)/(-8)). Let v be 0/n - (3 - 5). Is v greater than -2/3?
True
Let c = -2 - 11. Is -8 greater than c?
True
Let o be (-80)/14 + (-6)/21. Let h be 13 + (2 - -1)/(-3). Suppose -5*j - h = 23. Which is bigger: o or j?
o
Let i = 28 - 56. Let k be 771/i - (-2)/7. Let c = k - -27. Which is smaller: c or -1?
-1
Let r = 0.6 + -1. Let g = r + 0.5. Is -1/2 greater than g?
False
Let v(a) = -a**2 + 5*a - 5. Let o be v(3). Which is smaller: o or 2/25?
2/25
Let i = 22 - 44. Which is bigger: 0 or i?
0
Let n be 3/84*46 + 2. Let u = 149/42 - n. Which is greater: -1 or u?
u
Let q = -401/26 - -31/2. Let b = -0.018 - -0.118. Which is bigger: q or b?
b
Let a(z) = z**2 - 9*z + 9. Suppose 0 = -4*k - 3*f + 32, 2*f = -2*k - 2*k + 32. Let h be a(k). Suppose 2*n + h + 1 = 0. Is n at most as big as -1/5?
True
Let v = -6 + 9. Suppose v*y + 6 - 18 = 0. Which is greater: 3 or y?
y
Let m be (6/4)/((-12)/(-244)). Which is bigger: 32 or m?
32
Let m(y) = -y - 4. Let c be 2/7 + (-2)/7. Let w be m(c). Which is smaller: -5 or w?
-5
Let m be 2 - ((1 - 2) + 7). Let g = m - -7. Is 1 > g?
False
Let r be -2 + (-1 - 346/(-114)). Which is greater: 0 or r?
r
Let s = -3.4 - 0.6. Let d = 1 + s. Which is bigger: -1 or d?
-1
Let o be (-10)/6 - 6/(-9). Let k = 1/18 - -25/198. Is k bigger than o?
True
Let f be (-1 - -47)/(60/(-8)). Let h = f - -34/5. Let n be 2 + (-1 - (-1)/1). Do n and h have the same value?
False
Let m(b) = b**3 + 8*b**2 + 4*b. Let s be m(-6). Let w = 1008469/20865 - -2/6955. Let l = s - w. Is l less than or equal to 1?
True
Suppose 0 = -q + 6*q. Suppose q = 2*r - 9 + 41. Let s be r/(-60) + 2/5. Which is smaller: s or 2?
s
Let x = 6/145 - -4773/290. Are x and 18 nonequal?
True
Suppose 0 = -6*o + 2 - 14. Which is greater: o or 0?
0
Let q = -12 - 3. Are q and -1 non-equal?
True
Let c be -1*(-2)/(-4)*14. Let a = c - -11. Suppose 2*l = -a*i + 2, 8 + 7 = 5*l. Which is smaller: i or 0?
i
Let z = -3 + 4. Are z and -1 unequal?
True
Let h = -104 - -77. Is h smaller than 0.1?
True
Let w be ((-2)/4 + 0)*0. Suppose 2*j - 14 = -2*s, -4*s + 9*s - 3*j + 5 = w. Suppose -s*f = -f. Is f > -3/2?
True
Let f = 0.5 - -1. Let d = 1.3 - f. Which is smaller: -3 or d?
-3
Let n(g) = g**2 + 7*g + 5. Let t be n(-6). Let a be ((-6174)/(-174))/(-7) - -5. Which is smaller: a or t?
t
Suppose -2*l - 6 = -i, -2 = 2*i - 0*i + 3*l. Suppose -i*q = 2*v - 10, 5*q = -v + 5 + 8. Let z be 2/q*1*1. Is 1 bigger than z?
False
Suppose 5*m = -3*b + 37, -5*b + 21 = m - 4. Let l be (8/6)/(b/(-6)). Which is smaller: l or -1?
l
Suppose 31*t = 29*t + 42. Which is greater: t or 16?
t
Let f be ((-2)/(-2))/(-10 + 11). Which is greater: f or -5/12?
f
Let l(c) = -c**3 - 7*c**2 + c + 6. Let a be l(-7). Let k = a - -5/7. Which is smaller: k or -1?
-1
Let r(n) = -42*n - 6. Let q be r(5). Let i be 4/10 - q/(-465). Which is smaller: -1 or i?
-1
Suppose -5 = -3*h - 35. Let t be (-10)/(-4) - 15/h. Is 4 equal to t?
True
Suppose -2*s + 35 = 3*b, 0 = b + 1 - 0. Let g = s - 93/5. Let k be (-1)/(1 - 2) + -1. Does k = g?
False
Let g(j) = -j - 7. Let a be g(-7). Which is smaller: a or -5/14?
-5/14
Let w be ((-10)/4)/(3/(-18)). Which is greater: w or -1/2?
w
Let a = 56 + -58. Which is smaller: -14/19 or a?
a
Suppose -9 = 3*y - 48. Suppose -y = -4*i - 1. Do i and 1 have the same value?
False
Let o = 10/23 - 139/161. Which is smaller: o or 5?
o
Let i = -2 + 2. Let f = -72 - -114. Let r be (-12)/14 - 6/f. Is r > i?
False
Let t = 22 - 16. Let k be (t/14)/((-20)/(-14)). Is 1 < k?
False
Let j = 41 + -45. Which is smaller: 1 or j?
j
Let p be 1 - 1*86 - -1. Let s = p - -422/5. Let d = 0.2 + 0.8. Which is smaller: s or d?
s
Suppose -5*y + 13 = -3*m - 37, 0 = 5*m - y + 54. Let d be 2/m - (-3)/15. Suppose d = k - 6*k. Which is smaller: k or -2/9?
-2/9
Let j = 8 - 11. Let v = j + 2. Are v and -1 non-equal?
False
Let b(j) = 85*j - 509. Let l be b(6). Let n be -1*3/((-78)/94). Let d = 1619/455 - n. Are d and l equal?
False
Let g = 5.89 + 0.31. Let y = g - 3.28. Let a = y - -0.08. Is a <= -1?
False
Let p = 5 - 0. Suppose 3*w - 3 = 0, 4*l + 2*w = p*w - 11. Is l at least as big as -2?
True
Let t be 124/12 + (-2)/6. Let g be 24/2 + -1 + -1. Is g < t?
False
Suppose -4 = -2*l + l. Suppose 0 = -k - 3 + 5. Are l and k equal?
False
Let b = -5/9 + 44/9. Let i = b + -4. Which is smaller: 0 or i?
0
Suppose -4*b + 2*b + 17 = -5*v, v = -5*b + 110. Let l be (-2)/(-6) + (-10)/b. Which is smaller: -1 or l?
