r + 7 = 3. Let b = 0.12753 - 0.06753. Is b < r?
False
Let f be 9/(-10) + (-6)/60. Which is smaller: f or 13/73?
f
Suppose -20 + 5 = 5*d. Let g be -14*(-1)/((-35)/20). Let t be (1/2)/((-2)/g). Which is smaller: d or t?
d
Suppose -158*n = -121*n - 117031 - 513375. Is 17038 != n?
False
Let y(v) = 7*v - 1. Let c be y(4). Let p = -63 + c. Let h be -2 + p/28 + 2/7. Which is bigger: -8 or h?
h
Let w be 27440/(-105)*(-6)/63. Which is smaller: w or 25?
w
Let y = 110 + -95. Let v be (-10)/(-3)*(57/y + -5). Are v and -58/13 equal?
False
Let h = -6225481/627 - -9929. Which is greater: h or 0?
h
Let j = 563 + -511. Let l be 44/j - (-5 + 2). Which is smaller: 4 or l?
l
Let a(p) = -18*p + 31. Let u be a(2). Let w be (-27 - -26)/((-1)/u). Which is greater: w or -19?
w
Let k = -4 - -2. Let o be (1/2 + k)*-6. Suppose 403*x - 100 = 393*x. Which is bigger: x or o?
x
Suppose -2*b + 15 = 2*b - u, -3*u = -5*b + 24. Suppose b*r + a = -17 - 27, -40 = 3*r + 5*a. Is r at most -15?
True
Suppose 0 = -4*g - z + 772 + 311, 1086 = 4*g - 2*z. Which is bigger: -18 or g?
g
Let z = -0.2 - -0.1. Suppose -530 + 179 = -9*x. Let u be 10 + (-54)/9 + (-157)/x. Is z equal to u?
False
Let z = 23 - 11. Let u be (14/(-10))/(74/(-370)). Suppose -45 = -u*s + z*s. Do s and -3 have different values?
True
Suppose 107631 = -62*r + 87977. Let w = 346 + -664. Is r less than w?
False
Let l(t) = t**3 + t**2 - 3*t - 3. Let q be l(-2). Let h(j) = 2*j**3 + 19*j**2 + 19*j + 42. Let b be h(-12). Let i = b - -908. Which is smaller: i or q?
q
Suppose d - 5*s - 313 = -3*d, 0 = 5*s + 5. Let l be (-11)/(d/(-420)) - 2. Is 117/2 less than or equal to l?
False
Let j = 420 + -607. Let t = j + 188. Is t smaller than 2/65?
False
Let z = 27 + -21. Suppose 4*y = 4 + 8, -5*j + y = -32. Suppose 5*h + 70 = 2*t, 0 = z*t - j*t + 5. Which is greater: -10 or h?
-10
Suppose -3*m - 2*a - 28 = 0, -12*m + 5*a - 25 = -10*m. Let p = -36 - -17. Let o = p + 7. Are m and o equal?
False
Let k be (48/30 - 4)*875/(-10). Suppose -5*y - 5*v - k = 0, 50 = 2*v + 40. Which is greater: y or -3?
-3
Let d be (-2)/((1 + 11)/(-4488)). Which is smaller: d or 750?
d
Let o = -4 - 79. Let w = o + 83. Suppose w*j - n = 2*j, j + 3*n - 5 = 0. Which is bigger: j or -3/8?
-3/8
Suppose 2*w = 3*w - 4. Let q be (-2)/w*4/(-6). Let v be (45/(-18))/(1/2). Which is smaller: v or q?
v
Let m be (-1 - -1)/((0 + -4)/(132 - 136)). Is -2/3281 not equal to m?
True
Suppose 5*t = -392 + 417, -3*a - 5*t + 22 = 0. Which is smaller: 13/27 or a?
a
Let f = 247 - 246.8. Let d = -0.8 + 0.85. Let w = d - -1.85. Is f != w?
True
Suppose 0 = -156*g - 77*g + 9320. Which is smaller: -0.16 or g?
-0.16
Let h(f) = f**3 - 46*f**2 + 129*f. Let w be h(3). Which is greater: w or 72/95?
72/95
Let a be 176 - (-4 + -1 + 2). Let f(r) = -114*r**2 - 399*r + 9. Let u be f(-3). Which is smaller: a or u?
a
Let q(l) = -321*l + 41731. Let v be q(130). Let g be (-3)/(-10)*4545/11. Let x = g + -124. Is v bigger than x?
True
Let v = 1991.74 - 33.74. Is v > -2?
True
Suppose -68 = -0*m - 4*m. Let a(t) = -41*t**2 - 6*t - 1. Let r be a(-2). Let v = r + 169. Which is smaller: v or m?
v
Let t = 2/3211 - -9413/353210. Let k be 33/55 - (65/25 - 3). Which is greater: k or t?
k
Let c be (50/(-100)*(0 + 0))/(-1). Which is smaller: c or -16/1227?
-16/1227
Suppose 123*u - 72344 = -17609. Is u at most as big as 445?
True
Let z(x) = -x**3 - 5*x**2 + 2*x - 3. Let g be z(-4). Let f = g - -18. Let y be 10/9 - (-23506)/(-2898). Is f > y?
False
Let z = -96.056 - -96. Let j = -0.034 + z. Let r = -3 - -2.8. Which is smaller: r or j?
r
Suppose 4*f - i = -58 - 11, -f - 16 = i. Let d be 128/(-6) + 3 + 0. Are f and d unequal?
True
Let i = -30.1 - -13.5. Let w = -30.6 - i. Let d = -8 + 7. Is w <= d?
True
Let y = -0.06 + 10.06. Let m = 84.06 - 85.76. Is m smaller than y?
True
Let q = 1360529/259 - 5253. Suppose 0 = 101*g - 228 + 127. Is g less than q?
False
Let r = -18.09 + 17.89. Is r greater than -0.0946?
False
Suppose h - 18 = -2*j, -4*h + 2 = -5*j - 5. Let q be h - -1*(-1 + 4). Suppose 1295*z - 1347*z + 624 = 0. Is z less than or equal to q?
False
Let x = -447 - -446. Let r be (-4)/((-1)/x)*156/78. Is -17 less than r?
True
Let x(f) = f**2 - 11*f + 40. Let g be x(10). Suppose 4*y - 3*b + 9 = 0, 2*b - g + 24 = y. Is 5/126 != y?
True
Let m(r) = -2*r**2 + 17*r + 22. Let b(k) = -4*k**2 + 35*k + 43. Let o(q) = 3*b(q) - 7*m(q). Let g be o(14). Let a be ((-1)/10)/(g/36). Is -1 < a?
True
Suppose l + 4*w + 0*w - 8 = 0, 2*l - 7 = -5*w. Let v be 1 + 10/l + (-143)/(-2). Suppose v = 6*r - 8. Do 13 and r have the same value?
True
Let x be (0/15 - 6)*(-5816)/16. Is x equal to 1?
False
Suppose 0 = -0*d - 4*d. Let b be (50/(-280))/((-19)/(1140/1275)). Does b = d?
False
Let s(q) = q**3 - 9*q**2 - 39*q - 36. Let g be s(6). Which is bigger: g or -4932/13?
g
Let l(u) = u**2 + 10*u - 7. Let w be l(-11). Suppose 0*p + 44 = -w*p. Suppose 3*q + 3 = 0, 11 = -2*f - 2*f + q. Is f greater than p?
True
Suppose 0 = -3*g - 7*g - 200. Let y be 15/60 + 1/(g/(-3)). Which is smaller: 1/5 or y?
1/5
Let v = 751 - 745.3. Let s(p) = -2*p + 16. Let g be s(8). Which is greater: g or v?
v
Let c = 17 - 38. Let p be 12/21*c/(-2). Suppose 5*r + 4*h - 146 = 0, -r = -4*h - p - 4. Which is greater: 25 or r?
r
Let a be 1414/11050 + 39 + (-8653)/221. Do a and -1 have the same value?
False
Suppose -5*g = 4*q - 184, -5*g + 172 = -135*q + 137*q. Is g <= -67?
False
Let o = 5048/67 - 215235/871. Which is greater: -173 or o?
o
Let t = 7.054 - 7.82. Let v = 0.366 + t. Is v at least 0.2?
False
Let a = -152 + 161. Let z be 9/42*48/a. Let p = 9 + -6. Is p < z?
False
Let y be -5 - -1 - (-57)/18. Let m(p) = -p**3 - 2*p**2 + 35*p - 6. Let n be m(5). Is y less than or equal to n?
False
Suppose -49*a + 41580 = -27*a. Do a and 1890 have the same value?
True
Let b = -279 - -295. Let r be (-2)/(-1)*-34*8/b. Is r at most -34?
True
Suppose -25*o + 0*o = -5775. Let w = o + -2074/9. Is w >= 1?
False
Suppose -15 = -14*a + 17*a. Let z be a/(5 - (-3 - 3)). Which is smaller: 1 or z?
z
Let c(v) = v**3 + 98*v**2 + 5*v + 296. Let m be c(-98). Is -202 at most m?
True
Let l be 1 + -1 - (-180 - 3). Let m = -5467164/17 - -321781. Let q = l - m. Is 1 > q?
True
Suppose 5*l + 3*f - 8*f = 0, -3*l - 3*f - 36 = 0. Are 186 and l non-equal?
True
Suppose 0 = -5*m - 5*j + 4*j + 23, -33 = -5*m + 4*j. Suppose -4*s = 4*w - 32, s - 29 = -5*w - m. Suppose s*u - 19 = -59. Which is greater: -8 or u?
-8
Let l be ((-783)/9)/(16 - 17). Let y be (-3 + 4/8)*-36. Is y smaller than l?
False
Let g be (-9 - (-24)/(-6))*49. Which is bigger: -638 or g?
g
Let t = 0.656 - 0.175. Let r = 0.061 - t. Let z = -0.22 - r. Is z not equal to 2/3?
True
Suppose 3*b + 3*o - 62 - 37 = 0, -4*b = -5*o - 168. Let w = -25 + b. Suppose 2*t - 45 = -3*z, 2*z = -2*t + 28 + w. Is 17 at most as big as t?
False
Let n(l) = -191*l + 9483. Let i be n(88). Which is smaller: -7324 or i?
i
Let r(s) = -62*s - 73. Let i be r(-8). Suppose -3*l - 5*y - 423 = 0, 3*l - 2*y - y + i = 0. Which is greater: -140 or l?
-140
Let z be ((-51)/(-6))/((-1)/14). Let n = -775 - -657. Is z less than n?
True
Suppose -276*f - 225*f + 302744 = 422*f. Let a = -0.9 + 1. Which is greater: a or f?
f
Let b = 997538/93 + -10726. Which is smaller: -1 or b?
-1
Let v(u) = -u + 11. Let l be v(6). Suppose -639 = -l*r + 4*z, 5*z - 544 = -11*r + 7*r. Suppose 5*x - 3*f - 657 = 0, -4*x = -f - 28 - 499. Does r = x?
False
Let i = 7.4 + -11.3. Let u = -7.85725 + -0.04275. Let x = u - i. Is x != -0.02?
True
Let l be 3/(-5) + (-2296)/(-35). Suppose -5 + l = -3*k. Which is smaller: -21 or k?
-21
Let l be ((-6)/(-12))/(59/(-4)). Suppose 0 = -10*w + 1 + 39. Which is smaller: w or l?
l
Suppose -5 = -6*i + 25. Suppose 0*h - 15 = -i*h. Suppose -3*o = 3*k + 6, 0 = h*o - 6*o + 4*k + 15. Which is bigger: o or -2/21?
o
Let i = 18859 + -18879. Is i bigger than 18?
False
Suppose -m + 5*p - 298 = 0, 5*p + 91 = -m - 157. Let j be m/2*(2/1)/1. Let f be (-42)/j + 730/(-182). Which is bigger: f or -4?
f
Let l = -31396760718/8221507 + -2/1174501. Is l != -3818?
True
Suppose 4*r + 2*t - 6 = 0, -22*r + 17*r - t + 6 = 0. Suppose 3*c + 3 = -4*g, 5*g - 1 + 6 = -5*c. Let o = r + c. Is o not equal to 1/27?
True
Let v(j) = -119*j**2 - 145*j + 147. Let i be v(1). Which is bigger: -118 or i?
i
Let y = 1979/4 + -496. Let c = -21 + 