 - 266. Are -92 and f unequal?
True
Let j be 18508/(-904) - -2*1. Let h = 3/113 - j. Let g = -606 + 624. Which is greater: g or h?
h
Let a = 740203687/7723035 + 4642/21159. Let z = a + 156/73. Which is smaller: 97 or z?
97
Let s = -39.9453 + 1.9453. Which is greater: s or 44?
44
Suppose 3*h + 366 = 3*b, 5*b - 692 = -3*h - 98. Suppose 0 = -2*d + 30 - b. Is d at most -41?
True
Let z = -841/110 + 81/10. Let o = -165.7 - -166. Which is smaller: z or o?
o
Let k be 91/13 - (-7202315)/(-1026774). Let z = 1/3654 + k. Which is greater: -1 or z?
z
Suppose 0 = -3*n - 4*i - 12695, -107*n - 5*i - 4206 = -106*n. Does n = -4240?
False
Let q be ((-5598)/(-8))/(342/152). Let o be (-4)/(-6) - (-2784)/9. Is q >= o?
True
Let u be (-1106)/948 + 32115/18. Is u not equal to 1783?
False
Suppose 22*v + 246 = 3150. Suppose 6*c = v - 78. Which is smaller: 23 or c?
c
Let w = -4383 + 2260. Is w less than or equal to -2123?
True
Let u = 8217 + -8202. Does u = 153/10?
False
Let a = 1080697108/215 - 5026478. Let w = a + -101/5. Is 1 equal to w?
False
Suppose -g = g - 4*c + 10, 2*c = 5*g - 15. Let f = 71 - g. Let d be 176/f*(-6)/4. Are d and -0.08 unequal?
True
Let k(i) = 3*i - 50. Let t(l) = -8*l - 64. Let y be t(-10). Let b be k(y). Which is greater: b or -26/9?
b
Suppose -2*c - 3*k = c - 432, 5*c = -3*k + 724. Let x = -877/6 + c. Is -17/4 > x?
False
Let d = 20.16 - 234.26. Let q = -214 - d. Is q not equal to -0.3?
True
Let j be (-1)/(6/(-1692)*-849 - 3). Let q be 360/25*(-20)/3. Do q and j have different values?
True
Let a(b) = -b**3 - 54*b**2 - 105*b - 117. Let v be a(-52). Let n be (-3)/(-2)*((-137)/3 + 1). Is n bigger than v?
False
Suppose -9*y + 5*y + 20 = g, 5*g = -2*y + 28. Let m be 4/(-18) - 18456/5724. Let q = -6/53 - m. Are g and q nonequal?
True
Let n(t) = 382*t - 3941. Let q be n(10). Which is smaller: q or -128?
-128
Let g be -120*(5 + -10 + 6). Let n = -86 - g. Does 33 = n?
False
Suppose k + 16 = -0*k. Suppose 54 = -48*l + 45*l + 4*o, -5*o + 15 = 0. Which is smaller: l or k?
k
Suppose -6*u - 2312 = -8*u + 4*n, -3*n - 1158 = -u. Let j be (-2*(-1)/(-6))/((-32)/u). Which is smaller: j or 7?
7
Let q(h) = 12*h**2 + 3*h - 8. Let t be q(2). Suppose 0 = t*a - 49*a + 3. Which is bigger: a or -70?
a
Let u be (14/(-1)*55/(-15))/(568/(-278604)). Which is smaller: u or -25180?
-25180
Suppose -42*m = 34*m - 45524. Is m >= 600?
False
Suppose 2*h + 3 = 7. Let m(z) = -66 - z**h - 5*z - 58 + 119. Let g be m(-5). Which is smaller: -56/9 or g?
-56/9
Let s be (-4279)/(-4) - (-6465)/(-1724). Which is greater: s or 1065?
s
Suppose 16 - 1 = -5*n - 5*z, -7 = -3*n + 5*z. Suppose m = x + 2206, -4*x - 8796 = -8*m + 11*m. Let u be x/252 + 7 - (-9)/(-21). Which is smaller: u or n?
u
Let y = -7797.8 + 7798. Is y less than or equal to -0.231?
False
Let z = 7 - -1. Let i = 67.4 - 67.681. Let g = 0.281 + i. Which is smaller: g or z?
g
Let l = -19167 - 1323. Do l and -1/3 have the same value?
False
Let o = 22 - 131/6. Let r be ((-42)/35 + 1)/(0 - -1). Are o and r equal?
False
Let o = 2 - 3. Let c(p) = 23*p**3 - 6*p**2 + 5. Let v be c(3). Let a = v + -571. Does a = o?
False
Let v(h) = 4*h - 56. Let b be v(14). Suppose 1 = 5*p - m, b*m + m = -p + 5. Is 30/19 less than or equal to p?
False
Let r = -7844 + 7292. Which is bigger: -4 or r?
-4
Let b = 22.96372 + 0.03628. Which is smaller: 2/11 or b?
2/11
Let t = 195/2 - 685/7. Suppose 3*r - 5*o + 4*o = 6, 0 = -r - 4*o + 15. Suppose -11 = -3*f - f + r*k, 24 = f - 5*k. Are f and t non-equal?
True
Let o(p) = 2*p**3 - 23*p**2 + 56*p + 50. Let t be o(7). Which is greater: t or -39/541?
t
Let a = -226 + 240. Suppose -8 = -2*t - 4*z, -a = -5*t - 5*z + 1. Suppose -5*l + 4*m = -28, -m + 3 = -2*l + 13. Do t and l have the same value?
False
Suppose 3*k - 3*v + 9 = 0, 0 = k + 3*k + v + 7. Let p = -10/55233 + -1926808/1159893. Let b = p - -14/27. Is k at least b?
False
Let k = 24 - 21. Let f = -1305 + 1305.08. Do k and f have different values?
True
Let d be (6 - (-91)/(-15))/((-2)/(-12)). Let i = -24.1 + 28. Let y = i - 4. Which is greater: d or y?
y
Let g = 5610 + -8525. Which is greater: -2916 or g?
g
Let r = -246 + 251. Suppose 1 = r*s - 369. Is 73 greater than or equal to s?
False
Let u be (-1620)/12 - (5 + -7)/2. Is -133 > u?
True
Suppose 19 - 4 = -3*j. Let k = 1 + j. Let r be 156/252 + (-1 - k/6). Is r <= -0.01?
False
Let f be 4/30 + ((-121)/242 - 42103/30). Are -1404 and f equal?
False
Let j(o) = 101*o**2 - 351*o + 1068. Let n be j(3). Is n less than or equal to 922?
False
Suppose 5*w = 4*r + 63, 0*w = -3*w + 2*r + 37. Let x be (-238)/(-15) + (-60)/(-450). Suppose 0 = 3*u - 11 - x. Which is bigger: u or w?
w
Let b(o) = o**3 + 8*o**2 + 7*o + 2. Let k be b(-5). Suppose -3*v + k = 3*v. Let l(x) = -5*x + 18. Let w be l(v). Are w and -16 equal?
False
Suppose -52*n + 55*n = 2*c - 1294, -5 = -c. Is -2136/5 less than n?
False
Let d(f) = -2*f**2 - 26*f - 15. Let r be d(-12). Suppose -r + 49 = 4*p. Suppose 4*z + p = 2*h + 2, 5*z - 5*h + 15 = 0. Which is greater: z or -1/53?
-1/53
Let v = 409 - 269. Let y = v + -215. Let f = 12 + -86. Is f greater than y?
True
Suppose 5*l - 58029 = t, t = 4*l - 5731 - 40693. Which is smaller: l or 1?
1
Suppose 17*m - 28*m - 18459 = -2*m. Is -2048 at least as big as m?
True
Let w be 9 - 273*209/(-3477). Which is smaller: 24 or w?
24
Let r = -4031/2 + 2007. Let m be 8/(-20) + (-76)/10. Which is bigger: r or m?
m
Let q be ((-50)/(-4) - 12 - (-4923)/(-1406)) + 3. Are 1 and q equal?
False
Let m be (-1015)/(-14)*((-39)/26)/(30/(-32)). Which is bigger: m or -1?
m
Suppose 0 = -2*c - 2*c + 52. Let b = 88 + -76. Suppose c*h - b*h = -28. Is -28 != h?
False
Let n = -6/8815 + 2297/784535. Is n smaller than 3?
True
Suppose 8*f + c = 3*f + 1, 10 = -2*f - 3*c. Let g be (-357)/(-18) + f - 1/(-6). Let s = g - 22. Which is smaller: s or -6/7?
s
Suppose -6*x = -x - 10, 2*l - 5*x = 290. Let a = 7497/50 - l. Is a >= 0?
False
Suppose -160*b = -58511 - 148293 + 24884. Which is greater: 1139 or b?
1139
Let q be (-1850)/(-920) + -3 + 1. Let o(r) = 13*r - 27. Let y be o(2). Are y and q unequal?
True
Let y(r) = 74*r - 122. Let p be y(4). Let t be (p/4)/(60/160). Is 115 at most as big as t?
True
Let i be -68 + (2 - (-10)/(-2)). Let t = 163 + -99. Let d = t + i. Is d equal to -7?
True
Let m(r) = -r**2 + 7*r + 1. Suppose 0*o = -3*o + 15. Let j be m(o). Suppose -16 = -5*s + s - 4*n, 4*n - 10 = 2*s. Do s and j have the same value?
False
Let z = -447968242/57 + 7859418. Let b = -326 + z. Is b >= -1?
True
Let y = 1550 - 1551. Is y less than -13/16?
True
Let w(c) = -8*c - 101. Let b be w(-12). Let x be (-5)/105*(-4 - b). Let n be (-3)/2*(-1)/(-3). Is n at least as big as x?
False
Let o = -3869 + 3915. Which is smaller: o or -1/39?
-1/39
Suppose -73024*h - 17686 = -73026*h. Is h != 8843?
False
Let w(s) = -2*s**3 - 28*s**2 + s + 15. Let k be w(-14). Let n = -7 + 4. Let a be n/(-12) + (-4)/(-368). Is a at least as big as k?
False
Let d = 1192 - 127543/107. Let t(g) = 23*g**2 + 27*g**2 - 106*g**2 + 30*g**2 - 28*g - 26 + 25*g**2. Let h be t(-27). Is h at most as big as d?
False
Let b be (14597/11)/(5 + 0). Let t = -112793/425 + b. Which is bigger: -1 or t?
t
Let f = -52.67 + 18.51. Let b = f - -34. Let u = b - 0.84. Which is greater: 2/23 or u?
2/23
Let b = -0.7 - -0.63. Suppose 39*m - 18 - 6 = 47*m. Which is greater: b or m?
b
Let r = -709 + 708. Which is smaller: r or 268?
r
Let p = 5510099423842962466282140226/110714621 - 49768489239040635581. Let o = p + -5/1876519. Let k = o + -852. Which is greater: 0 or k?
k
Let v be (-93)/(-39690)*-2134 - (-5 - 0). Let u = -92684/244755 - v. Which is bigger: 1 or u?
1
Let n(z) = 43 - 56 + 44 + 8*z. Let s be n(-5). Which is smaller: -47/5 or s?
-47/5
Suppose 29 = 2*h + 25. Suppose 0 = -2*k - h*g + 4, 4*g + g + 5 = 0. Suppose -k*c = 4*c. Which is smaller: c or -5/8?
-5/8
Let c = -95 + 95. Suppose -3*g - 7 + 16 = c. Let i be 1/g + (-27)/69. Is 0 bigger than i?
True
Let m be (2/40204)/(60/80). Is m <= -1?
False
Suppose -2 = 3*k - 5. Let x = -792055 - -28516303/36. Let n = x - 255/4. Which is smaller: n or k?
n
Suppose -15924 = 126*d - 16932. Let o(x) = 3*x**2 + 3*x + 2. Let f be o(-2). Is d at least f?
True
Suppose 0 = 5*p - 3*p - 22. Let b(q) = -16 + 14 + q + 11 + 6. Let h be b(-4). Is p != h?
False
Suppose 0 = 3*s - j - 5614, -s -