 2*u + 5*p - 1. Suppose -3*f + 5*t = 35 + 11, -2*f + 2*t - 28 = 0. Are u and f equal?
True
Let l(t) = t**2 - 18*t - 10. Let f = 83 - 64. Let k be l(f). Suppose 3*u + g - 5 - 2 = 0, -2*g = -3*u - 5. Does k = u?
False
Let s = -5704427/521 - -10949. Let x = 5224/3647 - s. Let p = 4 - 3. Which is smaller: x or p?
p
Suppose 74 = -k + 59. Is -16 <= k?
True
Let d be 13/(325/(-10))*(-30)/2. Suppose -8 = -5*t - 3*l - 34, -5*t - 22 = l. Let q be (-1)/(-6) + t/(-8). Is q at least as big as d?
False
Let m be (23 - 13) + -1*2. Let f be 1 + 2 + m/(-4). Which is smaller: f or -18?
-18
Let h = 1.56 + -11.86. Let y = h - -14.6. Let s = y - -0.7. Which is smaller: -2 or s?
-2
Let q = -18.87 - 13.13. Do 26 and q have the same value?
False
Suppose -100*j = -105*j - 30. Suppose -4 = -3*r - 1. Suppose -z - 3 + r = 0. Which is smaller: j or z?
j
Let n = -1205 - -1210.666. Let i = n + -5.7. Which is bigger: 0.1 or i?
0.1
Suppose -177 = -4*b + 5*o + 342, b + 2*o - 146 = 0. Is b equal to 137?
False
Let t = 153.17 - 151. Let u = 1.09 + 0.91. Let i = t - u. Is i not equal to 0?
True
Let g(l) = 5*l + 3. Let r(d) = 4*d + 3. Let p(h) = 2*g(h) - 3*r(h). Let w be p(-9). Which is smaller: 13 or w?
13
Let x(a) = 3*a + 68. Let w be x(-5). Is 55 at least w?
True
Suppose -33*k + 32*k + 7 = 0. Let c(y) = -4*y + 3. Let p be c(-2). Which is smaller: k or p?
k
Let l = 0.902 - -0.118. Let u = l + -19.02. Is u at least as big as 0.3?
False
Suppose -t - 45 = -10*t. Suppose 0 = 4*c - y + 124, -t*c - 123 = 4*y + 53. Are c and 2 non-equal?
True
Let l = 13.347 + -13.4. Let j = -0.253 - l. Let g = -1.8 - 0.2. Which is smaller: g or j?
g
Suppose -d = 4*d. Let l = d - 1. Let o be (-86)/352 - (1551/528)/(-47). Is l at least as big as o?
False
Let v = -186 - -95. Which is greater: v or 3?
3
Let y = -11 + 16. Suppose 5*x = -2*o - 19, -5*x - 2 - 8 = y*o. Suppose -4*h + o = -41. Which is greater: 10 or h?
h
Let l = -24 - -24.4. Let v = l - 0.6. Let b = -1 + 0.95. Is b bigger than v?
True
Suppose v - 27 - 7 = 0. Do 35 and v have different values?
True
Let y = -810 - -1266. Is 455 at least y?
False
Suppose -8*u = 2*m - 13*u + 970, u = 0. Which is bigger: -484 or m?
-484
Let v = -4 + 6. Suppose 10 = -v*u - 2*w - 2, -5*w = 4*u + 29. Let x = 8/3 - 3. Is x at most u?
False
Suppose 3*d + 8 = 7*d. Suppose 4*b = -0*x + 5*x + 8, 0 = -b + d. Let k be (-2)/(-31) + 1 - 1. Which is bigger: k or x?
k
Let n = -7 - -5. Let d = n + 4. Let a = 22 - 19. Is d smaller than a?
True
Suppose 0 = 3*t - 0*t - 21. Let j(q) = -q**3 + 7*q**2 - 2. Let i be j(t). Which is greater: 1 or i?
1
Let b(w) = 6*w + 34. Let o be b(-5). Let m = 32 - 25. Is m equal to o?
False
Let t be (-3 + 2)/(-31 - -34). Which is smaller: t or -1/28?
t
Suppose -3*p + 2*j - j = 4, -4*j = 5*p + 1. Suppose 0*s + 6*s + 114 = 0. Let i = -30 - s. Which is smaller: i or p?
i
Let f(k) = k**3 + 20*k**2 - 39*k + 2. Let z be f(-21). Does z = 379?
False
Let q(k) = -k**2 + 5*k + 3. Let o be q(5). Let m be (-1)/o - (-4)/(-6). Let d be 120/220 - 128/(-88). Is m >= d?
False
Let f = -328 - -328. Which is greater: -49 or f?
f
Let a be ((-42)/18)/(1/(-3)). Let g(f) = 3*f + 7. Let k be g(a). Let q be (-2)/(-8) - 35/k. Which is smaller: q or -3?
-3
Let c be (16/(-12))/(4/(-6)). Let u be c/(-4)*(-1 - -1). Are -1/92 and u non-equal?
True
Let t be 5/4 - (14/(-2))/(-28). Suppose 4*w + 5 = -51. Let q be t + -1 + (-2)/w. Is q less than -1?
False
Let f = -5 + 14. Let r = 40 - 201/5. Which is bigger: r or f?
f
Let t = 1251 - 1499. Which is bigger: -251 or t?
t
Let m = 3 + -1. Let p be -5*(-43)/55 + (-1 - 3). Do p and m have the same value?
False
Suppose 3*x = -2*h + 4*h - 4, h = x + 2. Suppose -2 = -2*z + 5*a, z + a = 3 - h. Are 10 and z non-equal?
True
Let m(q) = -q**2 + 13*q - 3. Let u be m(12). Suppose c - u + 48 = -d, -d = 4*c + 51. Are d and -33 non-equal?
True
Let w be (-1)/(2944/982 - 3) + 1. Let n be (w/36)/(10/6). Which is greater: 9 or n?
9
Let d = -25 + -9. Let n(h) = -3*h - 11. Let s be n(8). Is d >= s?
True
Let q(s) = -5*s + 3. Let g be q(4). Suppose -2*d = 0, 3*d = -5*x - 14 + 54. Let w = g + x. Which is greater: w or -8?
-8
Let y = -1 - 0. Let b be (-59 - -47) + (-791)/(-66). Is y equal to b?
False
Suppose 0 = 2*l - 4*l. Let o = -82 + 82.3. Does o = l?
False
Suppose 5*t = -4*a + 3, -5*a = 15*t - 13*t - 8. Is -3/143 at most as big as t?
False
Suppose u - 5*m + 11 = -u, -u - 18 = -5*m. Suppose -51 = -4*p + a - 4, -5*a - u = -p. Let z = p + -12. Are z and 0 non-equal?
False
Let y = 0.27 + -1.97. Let p = 11 - -10. Let n be (-6)/p - 15/70. Which is smaller: n or y?
y
Let u = 110.5 + -110. Let k = 17.07 - 17. Let q = -0.07 + k. Which is bigger: u or q?
u
Suppose -2*i + 1 + 15 = 0. Suppose -21*j + 82 = 19. Let o be j/9 + i/12. Which is smaller: o or 0?
0
Let c = 16 + -17. Let h be c*(-8 + 4) + 1. Suppose n - 13 = -4*m, -2*m + h*n = -4*m + 11. Which is smaller: m or 3/2?
3/2
Let k = 2752 + -344002/125. Is 0 at least as big as k?
True
Let c be 7/2*745/(-10). Let f = c + 262. Which is smaller: 0 or f?
0
Let x(o) = -o**3 + 4*o**2 + o - 4. Let a be x(3). Let g be a/28 + (-24)/(-63). Does g = -0.22?
False
Suppose -1643 = -5*w + m + 1312, -4*m - 1756 = -3*w. Suppose 10*q - 26*q = w. Let g = -8 + -29. Is q smaller than g?
False
Let s = -2.7 - -5.9. Let j = -3 + s. Are j and 14 equal?
False
Suppose 4*c - 7*c = -6. Let f = -1 + c. Is f greater than 23?
False
Let z(k) = -k - 16. Let n be z(-19). Let f be (-200)/15*n/(-7). Which is greater: 7 or f?
7
Let t(a) = -2*a**2 + 16*a - 32. Let p be t(4). Are 26/35 and p equal?
False
Suppose 13*i - 9*i = 32. Which is bigger: 15 or i?
15
Let c be -1 - -3 - (-75 + 73). Is 0.4 < c?
True
Let h(p) be the second derivative of p**5/20 - p**3/6 + p**2/2 - 31*p. Let l be h(1). Is l at most 2/169?
False
Let y = 0.3 + -0.1. Let a = -162 + 287. Let w = 125.6 - a. Do y and w have the same value?
False
Let m = 3/23 - 2335/92. Do m and -26 have the same value?
False
Let v be (9/1338)/(-4 - 57/(-12)). Is -1 bigger than v?
False
Let m be (-93399)/12 - (-3)/(-4). Let r be (-8)/28 + (-2336)/m. Does r = 1?
False
Let p = 291 + -308. Which is greater: 1 or p?
1
Suppose 0 = -3*o + 7*o. Suppose 5*t = -2*w, -5*t - w - 15 = 4*w. Which is smaller: t or o?
o
Let m = -48 - -48. Let z = -12 - -14. Which is smaller: z or m?
m
Let c(d) = d**3 - 13*d**2 + 20*d - 23. Let z be c(11). Let q = 42 + z. Which is bigger: -4 or q?
q
Let q(r) = r**3 - r**2 + 8*r + 1. Let u be q(5). Which is greater: 140 or u?
u
Let g = 2614 + -2613. Which is bigger: -1/319 or g?
g
Suppose i + 0*i = 3*r + 15, 3*i = -9. Suppose 0 = -45*z - 225 - 135. Which is smaller: r or z?
z
Let x = 113 + -113. Which is bigger: -2/299 or x?
x
Let w = 51 + 246. Let p be (-12)/(-54) + 26124/w. Let d = 88 - p. Is 0 != d?
True
Let o be 2/(-5) - (-96)/40. Which is smaller: -9 or o?
-9
Let m = -38792743/26329950 - 1/526599. Let w = m + -2/75. Suppose s + 6 = -s. Is w at most s?
False
Let w = -50 - -22. Let a = 2 - w. Let j be a/27*(-24)/20. Which is smaller: j or -2?
-2
Let i = -297 + 215. Is i <= -83?
False
Let f be -3 + 6/21 + 3. Let z = -0.31 + -19.69. Which is greater: z or f?
f
Let f be 21*(-615)/(-36) + 9/(-12). Which is bigger: -0.1 or f?
f
Let r = -631298/535 - -1180. Let w = -501/9095 - r. Let q = -168.6 + 168.5. Is q greater than or equal to w?
False
Let k = 783 + -782.4. Are k and 28 equal?
False
Suppose 1942 = -5*y + 3*t, -7*t + 12*t = -5*y - 1910. Do y and -387 have the same value?
False
Suppose 2*z = -6, 56 = -2*k - 3*z + 13. Suppose -4 = -3*p + 5. Suppose -45 - 12 = p*r. Which is bigger: k or r?
k
Let n = -5.4 + 6. Let y = 912 + -915. Does n = y?
False
Let t = 105 - 75. Suppose 5*u + t = 45. Is 9 bigger than u?
True
Suppose 9 = -g + 10, 2 = 3*y - g. Let q be (-1)/3*(-15)/550. Which is bigger: q or y?
y
Let d = -18442 + 21152976/1147. Which is greater: -1 or d?
d
Suppose -c + 11 = 2*l, -4*l - 3*c = 2*c - 31. Let p be -3 - l*3/(-6). Which is smaller: -3 or p?
-3
Let v = -990 - -1666. Is 1 equal to v?
False
Suppose -4*z + 137 = -115. Let v = z + -64. Let h = -2103/10 + 210. Is v less than h?
True
Let q(z) = 2*z**3 - 2*z**2 + 31*z - 87. Let a be q(3). Which is smaller: a or 37?
37
Suppose 4*p - 3*c + 21 = 5*p, 0 = 3*p - c - 13. Suppose 5*q = 33 + 37. Let u = q + -8. Is p at most as big as u?
True
Let p be 5/(0