)/(2/(-4)). Is f equal to r?
False
Let i = -1/163 - 637/2445. Which is smaller: i or -1/3?
-1/3
Let t = -2.53 + 3.53. Is t != -89?
True
Suppose 0 = 4*t + 4*d - 4, t = 3*d - 46 + 39. Which is smaller: -12/29 or t?
t
Let s = 0.2565 + -0.1415. Which is bigger: s or 0.3?
0.3
Let u be 1 - 8 - 49/(-7). Which is smaller: -2/639 or u?
-2/639
Suppose 2*j - 60 = 7*j. Let p = 0.59 - 1.59. Is j greater than or equal to p?
False
Let k be 4 - (36/63 - (-10)/7). Let t = k + 3. Let l = 0.3 - 0.1. Is t at least l?
True
Let i = -8399030/573 - -14658. Is 1/3 >= i?
True
Let w be 588/(-4 - -8) + 2 + 0. Suppose -11*p + w = -566. Which is greater: p or 0.1?
p
Let x = 283.024 - 285. Let u = -0.024 + x. Are -0.1 and u equal?
False
Let d be -6 + 10/(-4) + 0. Which is bigger: d or -8?
-8
Let g = 46.2 - 46.5. Let r = -4 + 0. Let v be (-3)/r*(-2)/(-6). Is g bigger than v?
False
Let i be (1454/(-363))/((-68)/(-51)) - -3. Is 0 at least as big as i?
True
Let h be (-2)/(-4)*52/2. Suppose 93 = 10*j - 37. Is j greater than or equal to h?
True
Let y = -39.968 + 40. Let v = -1.032 + y. Which is smaller: v or 25?
v
Suppose -5*v = -2*v - 585. Let f be v/63 + 2 + -5. Suppose -8*j = -35*j. Which is greater: j or f?
f
Let v(s) be the first derivative of s**3/3 + 4*s**2 + 41. Suppose z = 6*z + 40. Let r be v(z). Is -2/21 greater than r?
False
Let j be ((-473)/(-22) - 17)/(1/26). Which is smaller: j or 116?
116
Suppose -5*k = 3*i - i - 118, 2*k - 2*i - 50 = 0. Let q = 22 - k. Is q at least 3?
False
Let f = -0.0978 + -0.0422. Is f >= -3/2?
True
Suppose 4*o - 2*w = 0, -46 + 45 = 3*o - 2*w. Is o at least as big as 0?
True
Let m = -114829/3 + 37645. Let n = -615 - m. Which is smaller: n or 15?
15
Let b be 8/(-7) + (-828)/84. Suppose c - 2*c - 7 = 5*p, -5*c - 5*p = 55. Which is smaller: c or b?
c
Let t(u) = -u - 4. Let s be t(-6). Let y be (18/(-42))/(3/(-18)). Which is greater: s or y?
y
Let t = -68 + -12. Is -81 greater than or equal to t?
False
Let u = 41317/88 + -4399/8. Is u less than -79?
True
Let y(k) = -2 + 7 + 59*k - 26*k - 32*k. Let d be y(-5). Which is smaller: d or -3?
-3
Suppose -6*p + 5*t = -10*p + 14, -4*p + 34 = -5*t. Are 41/3 and p equal?
False
Let t be 1442/(-24)*20/70. Which is smaller: -16 or t?
t
Let y(t) = -t**2 - 73*t - 257. Let q be y(-76). Which is bigger: -483 or q?
-483
Let a be ((-12)/(-135))/(3/(-348)). Let b = -15/277 - -27835/2493. Let n = a + b. Is n less than 0?
False
Let d = -7 + 7. Which is smaller: -1/6 or d?
-1/6
Suppose 0*u + 2*w = 4*u - 42, 5*u - 3*w = 53. Suppose -9*y - 16 = -u*y. Which is smaller: y or 44/3?
44/3
Let z be 71 - (14/(-8) + 2/(-8)). Let i = z + -74. Is i at least -2/29?
False
Let j(q) = q**2 + 3*q + 4. Let y be j(-3). Let w be (1 + (-62)/(-18))/((-6)/(-5 - 1)). Which is bigger: y or w?
w
Let g = -76 - -31. Is 2/7 not equal to g?
True
Let l be -17*(-33)/3 + 41 + -48. Is 725/4 at most as big as l?
False
Let h = -248 + 92. Let k = h - -154. Which is smaller: k or -32?
-32
Let p(v) be the second derivative of -13*v**3/6 + 49*v**2/2 + v. Let y be p(9). Does -68 = y?
True
Suppose 16*o - 13*o - 30 = 0. Let m be ((-5)/3)/(9/(405/o)). Let z = -7 - 0. Is m at most z?
True
Suppose -2*x - 5*s = 2 - 1, -5*x = -s - 65. Suppose j + 12 = -34. Let u = j - -58. Is u smaller than x?
False
Let j = -2447 + 56154/23. Which is smaller: -6 or j?
-6
Let f = -97 + 128. Let c = 27 - f. Is c bigger than -0.3?
False
Let i be (-54)/45 - 11/(-5). Do i and -3/1807 have different values?
True
Let i be (2/35)/(21/5). Let n = -73797/31 - -108467299/45570. Let c = i + n. Which is bigger: c or 1?
1
Let d = 16056668453/811950 + -494386/25. Let c = d + -53088671/189833910. Let n = c + -1/167. Do n and -4/11 have the same value?
False
Let b be ((-3488)/45)/(-8) + (-12)/15. Is b greater than or equal to 9?
False
Let d be 6/(-8) - 38/(-8). Let t be (-1 - -2)*d/(-4). Is -2/43 > t?
True
Let x be 6*15/108 - (-4)/((-168)/1253). Suppose 2*u - 34 = -92. Do x and u have different values?
False
Let d(s) = s**3 - 6*s**2 - 5*s - 18. Let a = 82 - 75. Let y be d(a). Are y and -4 equal?
True
Let s be -6 + (-1)/(-1)*-1. Let x = -2/127 + -3927/635. Is x greater than s?
True
Let i be ((-6684)/9)/4 + -3. Let v = i + 184. Which is greater: v or -4?
-4
Let k = 12443/17 + -733. Which is smaller: k or -1?
k
Let c be 2/10 + (-9)/(-5). Suppose -c - 2 = 4*u. Which is bigger: 1/6 or u?
1/6
Let i = -24157 + 120328/5. Let m = i - -91. Let h be (-1 + 2)/1*0. Which is bigger: m or h?
h
Suppose -4*o + 0*o + 144 = 0. Let k be ((-2)/8 - -3)/((-3)/o). Is -32 less than k?
False
Let g(u) = 40*u**2 + 141*u + 10. Let r be g(-6). Which is bigger: 603 or r?
r
Let d = 1423/9 + -158. Is d >= 0?
True
Suppose -25*t - 101 = -1876. Which is smaller: 357/5 or t?
t
Let d be (-1 - -3 - 2) + -6. Let v be (-41)/(-13) + (-2)/13. Suppose 0 = v*w - 2*u + 20, u + u = w + 12. Which is smaller: w or d?
d
Suppose 0 = -6*r + 108 - 3948. Is -639 not equal to r?
True
Let c be 5 + 6 + -14 + 231/75. Do -28 and c have the same value?
False
Let q(i) = i + 6. Let c be q(-2). Let d(n) = n**2 - 4*n + 7. Let v be d(c). Is v bigger than 8?
False
Suppose 4*i + y - 9 = 5*i, -5*i - 2*y - 31 = 0. Let a(p) = -p**3 - 6*p**2 + 3*p - 7. Let n be a(i). Let l = -3 + n. Is 18 <= l?
True
Let r = -33 - -35. Let k be (r + (-28)/10)*-2. Let u = 3 - 1. Is k smaller than u?
True
Let b be (-6)/(-2) + 4*(-12)/8. Are -148 and b unequal?
True
Let x = -4.296 + -0.004. Let r = x - 0.7. Which is smaller: -0.2 or r?
r
Let b = -8 - -11. Let l be 3 + b/9 + -1. Is 2 greater than or equal to l?
False
Let t = -314 + 220. Let c = t + 59. Let v = c + 43. Are -2/11 and v unequal?
True
Let q(g) be the third derivative of -g**5/60 - 11*g**4/24 - 3*g**3 - 12*g**2. Let m be q(-10). Is -8 < m?
False
Let q(l) = -l**3 - 7*l**2 - 6*l + 7. Let g be q(-6). Suppose 0 = -2*x - 5*t + 6, 5*x + 3*t - 46 = 6*t. Is x at most g?
False
Suppose 105*s - 126*s + 315 = 0. Is s less than or equal to 14?
False
Let m = -2389 - -2389. Which is bigger: -79/9 or m?
m
Let i be (-10734)/1338 + 0 + 8. Which is bigger: 0 or i?
0
Let b(z) = z + 1. Let p = -9 + 5. Let j be b(p). Let a be (-3)/(j - (-63)/12). Is a <= 2?
True
Let k(p) = p - 1. Let q(l) = 3*l + 5. Let v be q(-5). Let y be k(v). Let r = 136 + -148. Are y and r unequal?
True
Suppose -11 = -5*t + 2*q, 0 = -5*t + 3*q - 2*q + 8. Let g(j) = -j**3 + 5*j**2 - 3*j + 4. Let p be g(4). Is t bigger than p?
False
Let d = -12 + 13. Suppose -3*n = -6*n + 90. Is d smaller than n?
True
Let f(o) = 16*o - 6. Let c be f(6). Let z be -4*5/(c/129). Which is greater: z or -29?
z
Suppose -76*d = -89*d + 13. Is 18/43 < d?
True
Let f = 1/10 - 3/10. Let z = 0.097 - 0.247. Which is smaller: z or f?
f
Suppose 5*m - 2*r + 20 = -7*r, m - 12 = 3*r. Suppose -2*a - 5*n - 8 = 0, 5*n = -m*n - 10. Which is greater: 2/27 or a?
a
Let v(s) = -s**2 - s + 4. Let o be v(-4). Let j be ((-4)/(-6))/(o/(-48)). Let g be (3*j/228)/1. Which is bigger: g or 1?
1
Let b(u) = -17*u + 5 + 25*u - 12. Let g be b(-3). Which is bigger: -29 or g?
-29
Let z = -0.482 - -0.032. Let b = 2.45 + z. Do b and 14 have different values?
True
Let c = -364 - -365. Is c <= -49?
False
Suppose j - 1 = o, -2*j = -4*o - o - 14. Let u be (-2)/j + 99/(-189). Is u at most -1?
False
Let j = -2053/3663 + 2/407. Let z = j - 1/9. Let k = 23 + -25. Which is greater: k or z?
z
Let y = -13098/19 - -689. Is y greater than 1?
False
Let o = -997 + 996. Which is bigger: 8/275 or o?
8/275
Suppose 35 = 5*k + 2*f, -7*k + 2*k + 10 = -3*f. Suppose -2*u = -k*a + 29, -4*u - 4 = -16. Which is bigger: a or 2/11?
a
Let s(d) = -7*d + 64. Let p be s(8). Let n = -14 - -21. Let o = p - n. Do 3 and o have the same value?
False
Let n = 118/17 - 8412/1207. Suppose 0*o + 1 = o. Is n > o?
False
Let a(w) = -30*w - 215. Let z be a(-13). Which is smaller: 170 or z?
170
Let p = 1008 - 10083/10. Suppose 5*v - i = -9, v + 2*i - 6 = -v. Which is bigger: p or v?
p
Let g be (-28)/(-21) + 608/12. Which is smaller: 44 or g?
44
Let m = -0.9 - 0.2. Let y = -15.1 - m. Let l = -16 - y. Which is greater: 2/7 or l?
2/7
Suppose -2*y = -3*y. Suppose y = 4*g - 0*g. Suppose -4*m - 12 = g, -5*m = 4*w - m - 24. Is w greater than 10?
False
Let u = 735 - 421. Is 313 smaller than u?
True
Let u = -990 + 131674/133. Which is smaller: u or -1?
-1
Suppose 2*m + z = 16, 5*m - 40 = 2