 + 10. Let x be o(f). Let m = 3 + 0. Are x and m equal?
False
Suppose 0 = -0*r + r + 5, d = r + 7. Let y be 0*d*4/(-24)*-3. Do -7/5 and y have the same value?
False
Suppose -5*d + 5*c = 225, 8*d = 3*d - 4*c - 189. Let f = d + 35. Which is smaller: -28/5 or f?
f
Let i = -1.1 - -1. Let h be -4 - 2*180/(-88). Which is smaller: i or h?
i
Let j = 3280 + -1000399/305. Is j != 0?
True
Let l be (-14)/(-21) + ((-48)/(-9) - 5). Is 1/995 at most l?
True
Let w = -54 + 44.2. Let g = w + 5.7. Which is smaller: -0.2 or g?
g
Let m be (((-175)/(-15))/5)/(3/(-9)). Let s be (-169)/24 - (-6)/9. Is m greater than s?
False
Let b(k) = k**2 + 13*k + 22. Let r be b(-13). Is 23 not equal to r?
True
Suppose -5*a + 5*c + 85 = 0, -a + 40 = a - 5*c. Suppose -5 = -4*n + 4*u - u, 2*n - a = -u. Is 5 >= n?
True
Let a(c) = 2*c**2 - 21*c + 6. Let k be a(10). Let m be k/6*(-27)/(-18). Let w be -1*((m - -3) + -3). Is 3/13 at most as big as w?
True
Let o(k) = -5*k + 3. Let r be o(1). Let l(m) = -22*m - 1. Let v be l(r). Is 43 less than v?
False
Let x(o) = 54*o**2 - 5*o - 4. Let l be x(4). Let w be 4/26 + l/(-52). Let m be 12/((4 + 116/(-32))*-2). Is m at most as big as w?
True
Let y(s) = s**2 + 6*s + 5. Let v be y(-3). Let u be v/8*(1 + -1). Suppose -5*x + 2 + 3 = u. Which is bigger: x or 3?
3
Let k(s) = s**3 + 2*s**2 - 43. Let c be k(0). Let q be c/(-6) - 1/6. Which is smaller: -3 or q?
-3
Let n be (134/8 - 0)/(3/12). Let w = n - 67. Is 11/10 != w?
True
Suppose 2*g - 2 = 2*n - 0*g, 2*g = 4. Let k be n/(-3 + 2) - 22. Is k at least -22?
False
Suppose 2*z = 4*l - 2*z - 8, 0 = -5*l + 3*z + 18. Suppose -l*w - 1 = 5. Is w less than -4/5?
True
Let g be (-538)/390 - (616/33)/(-14). Which is bigger: g or -1?
g
Suppose -2*p + 142 = 140. Is 1/118 smaller than p?
True
Let i = -2/17 - 11/51. Which is smaller: i or 108?
i
Suppose 0 = -3*z - 4*a - 17, -2*z - 11 = -4*a - 33. Let c be (-32)/(-216)*2/4. Which is bigger: z or c?
z
Let m(y) = -y - 5. Let o be (3/6)/(1/(-10)). Let u be m(o). Let b be (-40)/(-32)*(-42)/70. Which is bigger: u or b?
u
Let r = -9 - -37. Let i = r + -48. Let x = i - -17. Is -1 <= x?
False
Let y = 0 - 0. Let w be (-1)/(-6 - 654/(-108)). Which is smaller: w or y?
w
Let y(f) = -6*f - 4. Let i(a) = -9*a - 6. Let h(u) = 5*i(u) - 7*y(u). Let l be h(1). Which is greater: -6 or l?
l
Let r = -33 - -11. Let q = 11 + r. Let x = q + 12. Which is bigger: -0.14 or x?
x
Let v = -4.5 - -2.4. Let l = v + 2. Let z be (-80)/60 - 68/(-54). Is z >= l?
True
Let u be 3/(-5)*2/6. Let w = -2281 - -2269. Which is smaller: w or u?
w
Let c = 58 - 95. Let j = c + 36. Which is smaller: 10 or j?
j
Suppose 612 = -5*s - 7*s. Let f = s - -52. Which is bigger: f or 15/7?
15/7
Let z be 82/24 + 11/44*-3. Is -1/98 greater than z?
False
Let y = 1000 - 740. Which is smaller: 517/2 or y?
517/2
Suppose -200*r = -193*r - 1477. Is r less than 210?
False
Suppose 4*a - 192 = 124. Which is greater: a or 83?
83
Suppose 2*u - o = 3*u - 25, -2*u = -2*o - 62. Suppose 2*k + u = -10. Is k > -18?
False
Suppose 4*q + 28 = k, 4*q - 4 = 4. Let l = k + -32. Let s be 6/l*(-40)/(-90). Is 1 at most s?
False
Let y be (-106 + 10)/((-6)/(-4)). Let q = y - -64. Is -2 >= q?
False
Let y be 0 + (274 - (2 + -5)) - -3. Are y and 279 non-equal?
True
Let v = -167 - -170. Let q = 34367/10 - 3434. Is v bigger than q?
True
Let s = -50.62 + 50. Let x = s - -0.41. Let a = x + 0.26. Which is smaller: a or -1?
-1
Let g = 0 - 0. Let q be (-304)/(-160) + 7/(-5). Is g <= q?
True
Let q be (16/32)/(2579/(-4)). Let d = -7861/159898 - q. Let h = d - -145/434. Are h and -2/33 unequal?
True
Suppose -u - 3 = 0, -6*p - 105 = -2*p + 3*u. Suppose -5*l - 112 = -2*i, -2*l = -6*l + 4*i - 92. Is p > l?
False
Suppose -5*v + 46 = -179. Let c be (-4)/3*v/(-330). Is 1 at least c?
True
Let h be 3 + (69/(-12) - -2). Suppose -4*f - 140 = f. Let m = f - -28. Which is smaller: m or h?
h
Let t be 27 + 3/(-1) + 0. Suppose -5*c + c = t. Let p = -5 - c. Which is smaller: p or 1/10?
1/10
Let c = -14 + 12. Let n be 2/(-5) - 126/60. Are c and n nonequal?
True
Let z(l) = l**3 - 48*l**2 + 14*l - 75. Let y be z(48). Which is smaller: 598 or y?
y
Let o = 642736/529 + -1215. Is o smaller than 1?
True
Let y = -2/187 - 304/6545. Let g = -3 - -2. Which is bigger: y or g?
y
Let z be ((-10)/14 - -1)*7. Suppose -3*u + 2*u - 5*x = 111, z*u = -4*x - 192. Which is bigger: u or -85?
-85
Let r = -35 + 35. Let q be 20/200 - r/1. Which is greater: q or -1?
q
Suppose -23*i = -25*i - 2. Is -2/155 > i?
True
Let x be 33524/10670 - (-6)/33. Let p = x - 12/97. Let f be (4/(-56))/((21/(-7))/(-12)). Is f greater than p?
False
Let z = -5.9621 - 0.0379. Which is smaller: 8 or z?
z
Let h(n) = n**2 - 39*n + 107. Let o be h(43). Which is bigger: o or 280?
280
Let y be 1/(-3 + (-62)/(-20)). Suppose -78 + y = 4*r. Let m = 24 + r. Which is smaller: m or 2?
2
Let d = 1/1477 - -970387/2954. Which is smaller: 328 or d?
328
Let t be 17/3740*12 - 2/(-5). Let y = -2 - -3. Are y and t unequal?
True
Suppose 15*u + 328 = 193. Let x(p) = -p**2 - 6*p - 9. Let f be x(-6). Is f less than u?
False
Let s = -5378/7945 - -24/35. Suppose 0 = -3*f - 11*f. Does s = f?
False
Suppose -4*a = 4*z + 4 - 0, a - 2*z = 2. Let n be (-2)/(-9) - (-6132)/108. Let d = n + -229/4. Which is smaller: d or a?
d
Let w be (-12)/(-8) - (-6)/(-4). Which is greater: 5/14 or w?
5/14
Let y = 1 - -49. Suppose 15 = 5*q - y. Suppose 2*v + 2*t + q = -1, 11 = -3*v + 2*t. Are -7 and v nonequal?
True
Let k = -246/19 + 26795/2071. Is k at most as big as -1?
False
Let d = 2.3 + -1.3. Suppose 8*s - 4*s = 48. Are d and s unequal?
True
Suppose -j = -n, 4*n - 34*j + 38*j + 16 = 0. Let w be -1 + (0 - 34 - -1). Which is bigger: n or w?
n
Let p be (-19 - -16) + (-161)/(-1). Which is greater: 313/2 or p?
p
Let o = 249 + -130. Let n = o + -524. Let a be (2905/n)/7 - -1. Is a at most as big as -1?
False
Let i(q) = -10*q**2 - 20*q - 190. Let w be i(-10). Which is bigger: -989 or w?
-989
Let g = -814 - -1508. Which is greater: 693 or g?
g
Let d be ((-64)/(-192))/(-2*(-1)/18). Let a be (13/d + -4)*(3 - 3). Let i be (2/(-5))/((-6)/(-20)). Does i = a?
False
Let h = -2782 + 2783. Which is smaller: 2030 or h?
h
Let n be 9/18*(-4)/6. Let a be ((-112)/35 + 4)/(-1). Are n and a equal?
False
Let u be (-2 + 6/(-4))*(-12)/1. Let r = 42 - u. Which is smaller: -3/2 or r?
-3/2
Suppose -7*p = -49 - 49. Let b = p + 5. Suppose -22 - 26 = 4*j - 3*f, 2*f = -3*j - b. Which is smaller: -10 or j?
-10
Suppose 3*i - 8 = i, 3*i - 20 = -g. Let q = 27 + -18. Is q < g?
False
Let q = -0.27 - -0.36. Let v = 0.59 - q. Which is smaller: v or -0.1?
-0.1
Suppose 0*o - 9*o = -117. Which is bigger: -1/3 or o?
o
Let v be -1 - (10/12 - 22/(-33)). Let y = -37/5 - -269/35. Which is greater: v or y?
y
Let o = 11073/940 - 7/235. Is 11 <= o?
True
Let x = 715 - 715. Which is bigger: x or -5?
x
Let p(v) = 15*v + 149. Let m be p(-10). Which is bigger: -21/71 or m?
-21/71
Suppose -5*i - 3*f - 462 = -i, 0 = 2*i - 3*f + 222. Let s be (-144)/i*(-2)/(-8). Is s equal to 1?
False
Let p(d) = -15*d**3 + 4*d**2 - 3 - d + 0*d**2 + 16*d**3. Let r be p(-4). Let a be -1*r*(10 - 9). Is 1/5 less than a?
False
Let h(d) = -2*d**2 - 22*d - 23. Let u be h(-11). Which is smaller: 1 or u?
u
Let t = 5 + -4.7. Suppose 27 = 4*u - 17. Suppose 10*q = -u - 9. Which is smaller: t or q?
q
Let u be 3 + 0 - 10 - -4. Let c be (-2)/(-3) + (-64)/15. Is c <= u?
True
Let o = -12 + 16. Let a be (13/15)/(o/12). Which is greater: 2 or a?
a
Let n(l) = -l - 7. Let x be n(-9). Let c be 4 - 1/x*50. Let d be (-9)/c - 1/3. Which is smaller: -1 or d?
-1
Let d = -77 + 81. Is d at least 46?
False
Suppose -10*n - 27 = -11*n. Is n <= 30?
True
Let k(x) = x + 4. Let s(q) = 4*q + 64 - 64. Let p be s(1). Let l be k(p). Is l < 9?
True
Let k(r) = r**2 - 10*r + 49. Let u be k(7). Is 31 < u?
False
Let q(l) = -l**3 + 31*l**2 - 130*l. Let f be q(26). Which is smaller: 2/9 or f?
f
Let k = 6424 - 9010. Which is smaller: k or -0.1?
k
Let j = -1383 + 1088. Is -296 at most as big as j?
True
Let n be (-5 + 40/(-16))/(-3). Let o be 2*(-1)/7 + 0. Is n bigger than o?
True
Let g = -26 - -38. Let q = g - 15. Let u = 1 + q. Does u = 0.2?
False
Let q(r) = 4*r + 55. Let x be q(-13). Suppose -2*f + x = 27. Is -3 != f?
True
Let a be (-3)/(-33) - (-1)/(-11). Are a and -7/122 equal?
False
Let b = 