/306 and j have the same value?
False
Suppose 0 = 79*i - 76*i - 3. Which is bigger: i or -3/46?
i
Let s = 3 - 1. Suppose 2*i = -s*i + 4. Let k be 28/(-12)*(-6)/(-63). Is i at most as big as k?
False
Let s = -52.22 - -52. Let t = -0.78 + s. Are 0.017 and t unequal?
True
Let a = -215 + 635/3. Let m(u) = u**2 - 3*u - 1. Let t(f) = f**2 - 2*f. Let n(l) = 2*m(l) - 3*t(l). Let v be n(1). Which is smaller: v or a?
a
Suppose -4*h = -10*h + 6. Let u be (-1)/(-4)*6*2. Is h bigger than u?
False
Let c = -0.001 + 1.101. Let o = c + -1.2. Suppose i - 4*i - 9 = 0. Is i less than o?
True
Let n = -0.3 - -0.28. Let x = -1 + 3. Let u = x - 3. Is u smaller than n?
True
Let h be (1 - -3)*(-20 + 18). Is -86/13 greater than h?
True
Suppose w + 5 = 2*w. Suppose -8 = -4*g + 2*b + 90, 4*b = g - 7. Suppose 0 = 5*c + t - g, -33 = -w*c + 4*t - 3*t. Which is bigger: c or 5?
c
Let s = 6.311 - 0.451. Let w = 5.9 - s. Let y = 0.3 - 0.3. Is y at least as big as w?
False
Suppose 4*u - 3*u + 15 = 0. Suppose -s = -10 - 5. Let o = s + u. Is o less than or equal to -1/7?
False
Suppose 0 = 123*m - 121*m + 4. Let q = 11 - 16. Let i = 4 + q. Which is smaller: m or i?
m
Let c = 0.2 - -2.8. Let w = 1.48 + -0.43. Let h = w - 0.05. Which is bigger: c or h?
c
Let f = 2.04 - 0.04. Let j = 914/15 - 184/3. Is f <= j?
False
Let l = 4.89 + 0.11. Let p = 4.772 + -0.072. Let n = p - l. Are -1 and n nonequal?
True
Let p = 16 - 10. Let f be 35/(-11) + p/33. Let q(m) = -m**2 + 10*m - 19. Let w be q(8). Is f smaller than w?
False
Let i be 147/15 + 1 - 2/(-10). Suppose -5*f + d + i = 0, 0 = f + 2*f - 4*d - 10. Which is smaller: f or 7?
f
Let s = 64993/112 + -4038/7. Is s less than 4?
True
Suppose 0 = 4*n + 4*i - 552, 43 = n + 3*i - 95. Which is bigger: 137 or n?
n
Let b = -639 - -625. Let n(w) = 13*w + 2. Let z be n(-1). Which is smaller: z or b?
b
Suppose 3*j + 5*l - 112 = 0, l - 3 - 101 = -3*j. Let d = j + -30. Suppose d*r + 2 = -2. Which is smaller: -1/9 or r?
r
Let q = 15.4 - 14. Let u = 88 + -87. Let b = q - u. Is b equal to 1?
False
Let r = -18 + -12. Let h = 29.8 + r. Which is bigger: 0 or h?
0
Let k(d) = -d**2 + 10*d + 26. Let v be k(12). Which is smaller: 7/13 or v?
7/13
Suppose 0 = -m + 2*m. Let q be 124/(-198) - (-70)/385. Is q bigger than m?
False
Let b(l) = l + 2. Let d be b(10). Suppose 0 = -2*v - 2*g - d, 4*v + 6 = 3*v - 2*g. Let q(u) = -u - 4. Let h be q(v). Which is bigger: h or 3/4?
h
Let l = 719 - 720. Is 15/109 equal to l?
False
Let s be -6 + 96/(-8)*86/4. Is -264 >= s?
True
Let s(a) = 2*a - 54. Let l be s(12). Let o be 27 - (-1 + 1 + -2). Let k = o + l. Are -4/29 and k nonequal?
True
Suppose 18 = 11*c - 2*c. Let d be c/(-10) + (-4 - 56/20). Which is bigger: d or -8?
d
Let m = 39 - 39.2. Let g be 5/(-7)*(-96)/(-80). Which is bigger: g or m?
m
Let k be 7 - 9 - (-80)/1. Which is bigger: k or 79?
79
Let y = 2 + -3. Let q = -6244/28017 - -2/3113. Which is bigger: y or q?
q
Let u = 248 - 9676/39. Which is greater: -1 or u?
u
Suppose 0 = -524*h + 515*h + 2745. Which is smaller: h or 306?
h
Let v = 5743425 + -2314596801/403. Let m = v - 210/31. Is m less than 3?
True
Let w = -23 + 22. Let o be w/54*-58 + -1. Which is smaller: o or -1?
-1
Let o(n) = 7*n + 66. Let x be o(-12). Which is bigger: -15 or x?
-15
Let t be ((-572)/10)/(48/(-120)). Which is smaller: t or 142?
142
Let b be ((-2)/(-4))/(3/(-6)). Let h = 68/511 - 14418/100667. Is h smaller than b?
False
Let a = 15 - 12. Let b be (11/(-11))/(1/2). Let k be a*((-16)/6 - b). Is -3 not equal to k?
True
Let v = -1.83 + 2.23. Does v = -3/4?
False
Let q(t) = -1. Let b(w) = -2*w + 11. Let s(g) = b(g) + 5*q(g). Let h be s(6). Let l = -142 + 425/3. Which is smaller: l or h?
h
Let m = 623 + -622.9. Which is smaller: m or -1.94?
-1.94
Let p(d) = -d**3 - 28*d**2 + 93*d. Let o be p(-31). Which is smaller: o or 4/185?
o
Let w(f) = 2*f**2 - 48*f - 50. Let a be w(25). Suppose j = -1, j + a*j + 5 = -4*v. Is v bigger than -7/16?
False
Suppose 0 = -2*b + 61 - 15. Let w = 21942/5 - 4411. Let k = w + b. Which is greater: 0.01 or k?
k
Let y = 466 - 7009/15. Which is greater: -2 or y?
y
Suppose 4*j = -5*v - 46, -4*j = 5*v - 10*v + 66. Suppose -4*y + 174 = 2*w - 4*w, -y + 82 = -w. Let k be 99/w - 4/j. Is k smaller than 5?
True
Let k = -11.24 + 11.34. Is 433 bigger than k?
True
Let y(x) = -x + 29. Let u be y(18). Suppose 2*w + 3*c - 17 = 0, w + 0 = -2*c + u. Is 1/2 not equal to w?
True
Let s = -1.242 - -1.276. Which is smaller: s or 1?
s
Let z = -0.107 + 45.107. Let a = 44.9 - z. Which is greater: a or -3/5?
a
Let f = 26 - 22. Let t be (3 - 33)*f/10. Let o be 15/t*14/(-10). Is o at most 2?
True
Let m = -58 - -117. Is 1/3 > m?
False
Let r be (191 - 0)/(9/63). Let u = -12059/9 + r. Which is smaller: -3 or u?
-3
Let z = 5872/7 + -838. Let k = -5 - -4.6. Are z and k non-equal?
True
Suppose -a = 4*v + 251, -3*a + a + 74 = -v. Are v and -65 unequal?
True
Let o = -1215 - -35249/29. Which is greater: o or 0?
o
Suppose -126 = -4*a - 2*s, -a + 29 = -0*a + 3*s. Suppose 2*j = -2*q, 3*j = -5*q + 6*j - a. Is q > -3?
False
Suppose 6*f - 20 = 2*f. Let n(a) = a**3 - 2*a**2 + 2*a + 5. Let b be n(f). Let w be (-33)/(-11) - 274/b. Which is smaller: 0 or w?
w
Let g = 310 + -16119/52. Which is smaller: 1 or g?
g
Let j = 190 - 243. Is j != -58?
True
Let v be (0 + -2)*(2 - 6). Suppose v = -2*s - 5*a - 9, -a - 4 = s. Is 1/89 > s?
True
Let j be -3 + 0 - (3 + -3). Suppose 5*y = -0*y - 10. Let n = y - j. Which is smaller: n or 5?
n
Let v = 14.82 - 10.99. Is v > -1?
True
Let q = 1017 + -1016. Which is smaller: 142/3 or q?
q
Suppose 0 = -16*v - 16 - 32. Are -9/4 and v equal?
False
Let z = 156 + -117. Let f = 60 - 21. Is z greater than f?
False
Let x = 916 + -917. Let o = -12.2 - -16. Which is greater: x or o?
o
Let n be (20/(-9))/(10/300). Let g = -66 - n. Let x(j) = -j**3 + 2*j**2 + 4*j - 2. Let s be x(3). Is s smaller than g?
False
Suppose 0 = 49*m - 53*m + 12. Suppose 4*p + b - 1 = 0, -m*b = -p + 6*p - 3. Which is greater: p or -0.71?
p
Let c = 482 + -482.1. Which is greater: 262 or c?
262
Let g = 243 - 242. Are -4/131 and g equal?
False
Let j = 12 + -12. Suppose j = -i - 3*i. Let f be 0 + 1/33*3. Which is greater: f or i?
f
Let p = 0.75 + 3.35. Let f = -4 + p. Let r = 1951 + -1945. Which is smaller: f or r?
f
Let u(j) = -34*j + 1. Let k be u(0). Is k smaller than -1/1572?
False
Let l be (-5)/((-1000)/(-4518))*28. Let z = l - -2208/25. Let b = 542 + z. Which is greater: -2 or b?
-2
Let s be (2/8)/((-4)/((-64)/(-3))). Do 36 and s have different values?
True
Let q = 175/132 + 54479/924. Is q <= 60?
False
Let f = -538 - -10237/19. Is f greater than or equal to 0?
True
Suppose -14 = 2*n + 2*f, -2*f - 3 = -2*n - 5. Let q be (-6)/n*2/3. Which is smaller: 1/63 or q?
1/63
Let v be 0 - (-14756)/(-370) - 34/85. Let y = v - -201/5. Do 0 and y have the same value?
False
Suppose -6 = 5*a + v - 8, -8 = -2*a - 4*v. Do -1/859 and a have the same value?
False
Let j(c) = 3*c + 3. Let h be j(3). Let v = h - 10. Let z be -12*4/(-8) + v. Which is smaller: z or 9?
z
Let p be 31518/85 - -3*(-4)/(-60). Which is greater: 370 or p?
p
Let b(v) = -v**3 - 4*v**2 + 4*v - 2. Suppose 0 = -2*y - 14. Let o be b(y). Let u be (-2)/(-8)*(-12)/o. Which is bigger: u or 0?
0
Let q = 1004 - 1214. Are -215 and q non-equal?
True
Let m = 8335/68799 - -2/1207. Which is greater: m or 0?
m
Let y be ((-4)/(-395))/((-3)/(-105)). Let n = -3266/8769 + y. Does n = -1?
False
Suppose 5*o = o. Suppose -8*r + 2*r + 84 = o. Are 14 and r unequal?
False
Let i(c) = -c**3 - 16*c**2 + 14*c - 42. Let h be i(-17). Suppose -23 = -h*d + 31. Is d equal to 2?
False
Let u = 4059 - 24265/6. Is u bigger than 15?
False
Let u be (2 - (9 - 4)) + 2. Let d be (u + 0)/(-1 - 2/(-6)). Which is bigger: d or 2?
2
Let q = -193 + 1033. Let i be 1*(-3)/(-15) - 203/q. Is i greater than or equal to 1?
False
Let h be 5 - 6/(-195)*-162. Suppose -5*c - 4*t + 21 = 0, 3*c - c - 4*t = -14. Which is smaller: h or c?
h
Let j = -66 - -34. Let u = -33 - j. Which is bigger: u or -34?
u
Let u = 7 - 7.14. Let m = -3.14 - u. Let c = -2.9 - m. Which is smaller: c or 1?
c
Let b be 2/2 + 1 + 0. Let v(y) = y**3 + 13*y**2 + 11*y - 25. Let w be v(-12). Let i = 12 + w. Which is greater: b or i?
b
Let h be ((-6)/13635)/(22/1317). Let u = h + -2/505. Is u at least 1?
False
Let b = -14 + 1