 16, -3*o + 0*p - 12 = -3*p. Does k = o?
False
Suppose 4*r = -20, 4*r = 2*u - 7*u. Suppose -v = b - 23, 3*b - 2*b + u*v = 26. Let s be (-56)/(-16)*b/7. Is 62/5 <= s?
False
Let o = 0.0584 + 0.3116. Is o equal to 1?
False
Suppose 5*x - 5*t - 3218 - 362 = 0, -732 = -x - 3*t. Let y be (-830)/x + (-18)/(-48). Do y and 0 have different values?
True
Suppose -76*z = -74*z - 8. Suppose z*t = -134 + 14. Is t smaller than -30?
False
Let l be -2 - (4 + -6 - -1). Let q be -4 + 990/(-26) + 8/104. Which is smaller: l or q?
q
Let t = 249 - 189. Suppose 0 = 7*r - 74 + t. Is 13.6 not equal to r?
True
Let m = -0.36182 - 0.03818. Do 0.0223 and m have different values?
True
Let a be (14 - 102/6)*(-28)/(-6). Is a at most -0.022?
True
Suppose 3*p = 4*k - 97, -3*k - 3*p + 155 = 2*k. Let y be 3*1*(6 - 5). Suppose -v = v - 2*z + k, 5*v + y*z = -78. Which is smaller: -14 or v?
v
Let c = 338 - 315. Suppose -c*m = -38*m - 30. Let l(t) = -7*t**2 + 1. Let h be l(-1). Are m and h equal?
False
Let w be 16/14*21/6. Let p be (-1 + w/(-12))*-3 + -2. Let i be -1*p/2*(2 + -1). Is i greater than 3/62?
False
Let d = 12044 + -13524. Is 2/15 at least as big as d?
True
Let w = -1609 + 735. Let s = w - -7858/9. Suppose -2*v = 4*m + 20, 0 = 4*v + m - 2*m + 4. Are s and v nonequal?
True
Let g = 0.041898 - 60.127898. Let m = g - -0.086. Which is smaller: m or -2/5?
m
Suppose p - 3*p = 6, -c + 5*p + 16 = 0. Let h be ((1 + 0)/((-10)/(-310)))/c. Which is smaller: 59/2 or h?
59/2
Suppose -568*d - 768 = -560*d. Suppose -5*z - 495 = 5*b, 0 = 4*z - 5*b - 0*b + 351. Is z at most d?
False
Let k(u) = -136*u - 6256. Let r be k(-46). Is r >= 1/2020?
False
Let f = -241 - -412. Suppose -q - n + 191 = 0, q = -n + 4*n + f. Which is smaller: 185 or q?
185
Let j = 98.773 + 3.227. Let s be 7/(-4) - (0 + -2). Which is smaller: j or s?
s
Suppose -r - 7*r = 8. Let q(h) = 16*h**2 + 7*h + 6. Let n be q(r). Suppose 3 + n = -6*x. Which is bigger: x or 2?
2
Suppose -23*z + 159 - 642 = 0. Let g be z/28*(-2)/75. Is 1 greater than g?
True
Let q be -16 - 1790/25*-5. Is q at least as big as 346?
False
Let x(o) = 4*o**3 + 120*o**2 + 242*o + 504. Let p be x(-28). Let r = 2/381 + -859/91059. Which is bigger: p or r?
p
Suppose -3*y - 52 + 101 = 2*o, -11 = -2*y + 3*o. Let u(h) = -5*h + 5. Let r be u(7). Let p = -18 - r. Is p < y?
True
Let b(f) = f**3 + 22*f**2 - 34*f + 79. Let r be b(-23). Let z = -333 + r. Do -1/117 and z have the same value?
False
Let k = -2.2604 + 2.3005. Which is smaller: 3/17 or k?
k
Let s be (-7)/(-21)*2323368/142. Let m = 5454 - s. Which is greater: m or 0?
m
Let r = 1550.4 - 1540.4. Is r < -6.27?
False
Let n = 1109/2 + -554. Which is greater: n or 11/138?
n
Suppose 11*v + 16 = 16. Let t = -9 - -9. Let u be (t - -21)/(v + 4). Does 6 = u?
False
Suppose 0 = -0*o - 5*o - 30. Let g be (o*(-96)/90)/(2/10). Let d be (2 + -1)/(g/12 + -3). Which is bigger: d or 0?
0
Let q = 259 - 245. Let k be (-148)/7 - -1*2/q. Which is greater: -23 or k?
k
Suppose 69*u = 71*u + 5*h + 11, -4*u - 5*h - 7 = 0. Is -3375 > u?
False
Let i be -2*1 + -6*1/(-6). Let v be (i + 0)*(3 - 3). Let a be (5 + v)/10*2. Is 12/11 at most as big as a?
False
Let j(f) = -f**2 - f + 4. Let c be j(0). Let d = 14025 - 14023. Is d bigger than c?
False
Let h = 256.6 - 255.6. Which is greater: h or -31?
h
Let i(d) = 27*d + 128. Let b be i(-18). Let f = b + 368. Let v be 2/(-4) - (-110)/12. Which is smaller: f or v?
v
Let f be 46/(-299) + 2537/13. Suppose 0*d + 5*d - 2*a = 325, 3*d - f = a. Does 64 = d?
False
Suppose 3*s - 97 = v + 2, s - 11 = 4*v. Let q = -57 - -90. Which is smaller: q or s?
q
Suppose 6*g - 2*g = 2*t - 226, 2*t = -2. Let y = 90 - -100. Suppose -2*o + 49 - y = 5*j, -131 = 2*o + 3*j. Which is bigger: g or o?
g
Let b = 13495 - 13496. Let i = 1208 + -109927/91. Which is smaller: i or b?
b
Let b = 106.54 + -76.24. Which is bigger: -0.1 or b?
b
Suppose -3*m + 3*l = 45, 32 + 28 = -4*m + 10*l. Suppose -8 = 2*i - 4*i. Suppose i*v - 11 = w + v, -5*v + 15 = -5*w. Is w greater than m?
True
Let r(c) = 9*c**2 + 328*c + 50. Let g be r(-36). Let j be 572/6 - 4/(-6). Let s = j + g. Is s less than 14/23?
False
Let w(u) = -2*u**3 + 5*u**2 - 8. Let a be w(4). Suppose -2*v + 20 - 84 = 0. Let i(n) = -n**2 - 31*n - 23. Let y be i(v). Which is smaller: y or a?
a
Let p(c) be the first derivative of 11/2*c**2 + 23 + 1/3*c**3 - 25*c. Let n be p(-13). Are n and 8/9 equal?
False
Let w = 4777 - 4745. Which is bigger: w or 366/11?
366/11
Suppose -21 = -0*m + 7*m. Let n be -5*m/6*2. Suppose 3*p - 10 = -n*z, -4 + 20 = -z + 3*p. Which is greater: 3 or z?
3
Let g be (-10)/(-30) + (-1698)/(-9) + 1. Let s = g - 320. Are -131 and s equal?
False
Let s be (-102)/(-5)*(-90)/1044. Which is bigger: -3 or s?
s
Let z be (-13)/(-117)*-6 - (-62)/93. Let k be -1 + 1 + (-45494)/30. Let c = k + 1517. Is c != z?
True
Let y be ((-5)/111)/((-630)/(-2160)). Which is bigger: 1 or y?
1
Let i = -1.7611 + 3.0151. Is -9 at least as big as i?
False
Suppose -2*v + 2*m + 0*m + 2 = 0, 6 = 2*v - 4*m. Let t be (3/295)/(12 + 108/(-8)). Is v less than t?
True
Let i(z) = z**2 + 9*z + 10. Let j be i(-6). Let b be 1*52/j - (-1)/2. Which is bigger: b or -3?
-3
Suppose 3*f + l - 1491 = 0, -5*f = -3*l - 1565 - 920. Suppose -4*n - 3*q - 336 = 318, -3*n + q - f = 0. Is n at most as big as -165?
True
Let h = -2.9117 + -314.0883. Which is greater: 1/25 or h?
1/25
Let m be ((-11)/(66/(-4)))/(2/24). Suppose 0 = 2*q - 3*d + m, -12 = -2*q - 2*q - d. Suppose -q*a + 1 + 9 = 0. Is a greater than 4?
True
Suppose 0*k + 1863 = -3*s + 3*k, -1237 = 2*s - k. Let x = 6783/11 + s. Is x greater than 1?
False
Suppose t + 996 = -5*t. Let p = -414 - -247. Are t and p equal?
False
Let j be ((-10)/((-3520)/363))/((-6)/(-8)). Let g = -15235/14664 + -5/1833. Let h = g + j. Is 0.3 > h?
False
Let k = -106363 - -106363. Let s(b) = 16*b + 3. Let r be s(3). Which is bigger: r or k?
r
Suppose -165 = -t - 164. Let q be ((t - 3)*11)/((-48)/(-114)). Is q bigger than -52?
False
Let f = -12840 - -12839.97. Is -0.773 not equal to f?
True
Let o = 63733227/1265 - 50382. Which is bigger: -1 or o?
o
Let k(u) = 10*u + 120. Let j be k(15). Let z = 38 - j. Is z <= -233?
False
Let c be (-1)/12 - (-11)/((-1848)/490). Let p(q) = 0 + 2*q**2 + 2*q**3 + 0 - 2*q. Let a be p(-2). Are c and a equal?
False
Let p(f) = 5*f**2 - 16. Let k be p(10). Suppose -336 = -4*i + k. Let n = 1679/8 - i. Do n and 4 have different values?
True
Suppose -86 = -8*n + 9*n. Let c = n - -104. Is 92/5 > c?
True
Let j be (-12)/16 - (-23)/(-92). Which is smaller: j or 4/11841?
j
Let f be -3 - 1/(3/(-6)). Let k(h) = -h**3 - 12*h**2 + 14*h + 18. Let c be k(-13). Suppose -q - 12 = -2*g, 39 = -4*q - 0*g + c*g. Which is bigger: f or q?
f
Let x(s) = 17*s - 2. Let n be x(-7). Suppose 0 = 2*k - i + 247, 598 = -5*k + 335*i - 339*i. Which is bigger: n or k?
n
Let v = -1006.9 + 1006.9099. Which is smaller: 0.03 or v?
v
Let o be -2 - ((-187754)/93884 + 5 - (4 + 1)). Is 0 > o?
True
Let q(i) = -2*i**3 + 3*i**2 - 10. Let y be q(4). Let d be (1/(-2))/((-15)/y). Let v be d + 767/(-78) + (-3)/2. Which is greater: v or -13?
-13
Suppose 17779 - 2515 = -8*s. Let w be (-14 + (-26760)/s)*(-18)/(-20). Which is smaller: w or 1?
w
Let v be (2 - 212)*2280/715540. Do -1 and v have the same value?
False
Let k(t) = -11*t + 47. Let m(r) = -2*r + 1. Let d(z) = -k(z) - 3*m(z). Let o be d(-5). Which is bigger: o or -134?
-134
Let r be -11 + -2 - (14 - 68). Is 51 smaller than r?
False
Suppose -5*w + 18 - 8 = 0. Suppose u = w*b - 29, -5*b + 19 + 81 = 3*u. Suppose -b = -8*s + 87. Is s equal to 9?
False
Let s = -100 - -105. Suppose 0 = s*k - 4*z, 0*z + 21 = 4*k + z. Let d be 1*(8/k - (-6)/(-3)). Do d and 53 have the same value?
False
Let h be (-3)/12 - 3479245/620. Let y = -5610 - h. Which is smaller: y or 0?
0
Let i(c) = 6*c**3 + 7*c**2 - 5*c - 12. Let u be i(3). Suppose 5*k + 5*f - u = -1203, -5*k - 1012 = -2*f. Which is greater: k or -201?
-201
Suppose 0 = 5*p - 68 - 22. Suppose 0 = -5*l + p + 2. Suppose -3*r = u + 9, -4*u = l*r + r + 15. Is u at least as big as 3?
False
Let o(f) = -10*f**2 + 198*f + 41. Let j be o(20). Let a = 32/9 - 2638/747. Is a <= j?
True
Let u(r) = 93*r**2 - 9*r - 51. Let k be u(8). Which is smaller: k or 0?
0
Suppose 0 = 6*o - 3*o + v - 58, -3*v = -4*o + 60. Suppose -o*i + 781 = 5191. Is -244 