False
Let d be (-1)/(-5 - -3) + 345/222. Let g = d + -2808/1295. Let b = g + 257/105. Which is smaller: 2 or b?
2
Suppose m + 56 = -4*j, -197*m = -200*m + 3*j - 123. Suppose -499 = 14*n + 173. Is n at most as big as m?
True
Let c(y) = 7*y**3 + 3*y + 2. Let n be c(-1). Let h be n/(-8) - (-368)/2. Suppose 5*b + 5*f = -h, b - 181 = 6*b + f. Are -36 and b nonequal?
False
Suppose 2*q = 5*v + q - 9, -v - 11 = 3*q. Let y be (46485/15)/(23 - 1). Let x = y - 141. Is x smaller than v?
True
Suppose -41*u = -709 - 685. Is 65 not equal to u?
True
Let n be 1 + 2 + (3405/(-20))/3. Let s = -54 - n. Which is bigger: -1/8 or s?
-1/8
Let y(w) = 2*w**2 - 23*w + 45. Let n be y(9). Which is greater: n or -4/8595?
n
Let a = -16856 - -16849. Is a at most -230?
False
Let a = -8314 + 14192. Which is greater: a or 1/7?
a
Let m = 6949 - 4646. Which is bigger: m or 2304?
2304
Let n be (-291)/12 + 1/4. Let r(y) = 25*y + 54. Let j be r(-4). Let b be (j/(-4))/(13/(-26)). Is b greater than n?
True
Let h(t) = t**2 - 3. Let v be h(-3). Let f(w) = -w**2 + 5*w - 5. Let y be f(v). Suppose -47199*l - 364 = -47171*l. Is y at most l?
False
Let a = -132 - -243. Suppose 3*v + 114 + a = 0. Let w be ((-5)/v*6)/(14/(-20)). Which is bigger: -2 or w?
w
Let r = 5756 - 6683. Which is bigger: r or -2?
-2
Suppose 424 = 4*q + 2*u, -5*q + 6*u - u = -515. Let r be (-47)/(-56) + (-6)/q*-5. Which is bigger: 2 or r?
2
Let q be ((0 - 1)*1)/((-3)/111). Let y = 37 - q. Which is bigger: y or -1/106?
y
Let k be (-138)/(-39) + -4 - (-6480)/(-156). Let u(j) = j**3 + 6*j**2 + 6*j - 7. Let l be u(-6). Which is smaller: l or k?
l
Let n be ((-2)/(-3))/(2/(-3093)). Which is bigger: -1033 or n?
n
Let s be (-4)/(-22) - 212/(-44). Let r = 617 + -613. Let x be (s - 2)*r/18. Which is greater: x or 3?
3
Let z = 85.44 - 346.44. Which is smaller: -2 or z?
z
Suppose 4*a - 47*t - 5027 = -52*t, a - 1267 = 9*t. Is a <= 6297/5?
True
Let w be (10 + 7 + -18)/((-3853*1)/(-1)). Which is greater: -1 or w?
w
Suppose 3*f = -j + 274, -4*f + 25*j = 21*j - 408. Let k = -236 - -330. Is f less than or equal to k?
True
Let y be (-448)/(-90) - (15 + -18 + 8). Let s be 6/(-28)*(-12)/(-9). Which is smaller: s or y?
s
Let o = -2984/7 + 695258/1631. Let y be 361212/61512 - (-3 + 9). Let s = y + o. Which is bigger: s or 0?
0
Suppose -5322927*h = -5323006*h - 316. Let b = -42 + 19. Let j = 15 + b. Which is bigger: h or j?
h
Let s = -13.08 + 13. Let t = -0.81 + 0.01. Let l = 1 + t. Is s greater than l?
False
Let l = 58 - -44. Suppose -2*a + 4*a - 49 = -g, -5*a + l = 2*g. Suppose -83 = -2*n + g. Are 62 and n nonequal?
False
Suppose -8*p + 417 = -191. Let g = 75 - p. Is -0.093 less than g?
False
Let z = -11/472 + 4181/199656. Let k = z - 407/141. Is -4 less than or equal to k?
True
Let n = -905 + 1175. Which is bigger: -1/2 or n?
n
Suppose -1 = h, -5*c = 4*h - 30 - 11. Let v(y) = y**3 - 6*y**2 - 21*y + 32. Let n be v(8). Do n and c have different values?
True
Let v be (-1 + -5)/2 - (-3262)/(-336). Let u be (-80)/(-6) + (-1)/(-1). Let b = v + u. Do b and 3 have the same value?
False
Suppose -5*j - 2*n + 167 = -4*n, -5*j - 4*n = -191. Let x be 1 + 3 + j/(-8). Let t = 3 - 3.1. Which is bigger: x or t?
t
Let s = -3309 - -3487. Is 1/13 smaller than s?
True
Suppose -17237 = -32*n + 12875. Do 939 and n have the same value?
False
Suppose 6051*i + 10053 = 6060*i. Which is smaller: i or 1116?
1116
Let n(u) = -7*u**3 + 48*u**2 + 8*u - 6. Let f be n(7). Let j = 373/166 - -1/332. Is f <= j?
True
Let m = 0.016 - -24.984. Let x = 0.1113 - 22.3113. Let u = x + m. Is -0.1 <= u?
True
Let q = -0.6677 + 0.0277. Let h = q - -0.54. Which is smaller: 224 or h?
h
Let x = 9311/7231 - 2/1033. Let d(w) = -w**2 + 48*w + 2. Let m be d(48). Which is smaller: x or m?
x
Suppose 105 = 19*x - 26*x. Let p be 12/(-90) + 58/x. Let z be (p - 94/(-10)) + 3/(-1). Which is greater: 3 or z?
3
Let t be (-8 - (-10 - -2))/(-5). Is t at most as big as 2/36773?
True
Let d = 109643/119 + -15656/17. Let f = 301 + -18965/63. Which is smaller: f or d?
f
Let v be (-225)/(-36) + (-20)/16 + (-36)/4. Which is greater: v or 1299?
1299
Let q = 1016/493 + -28/17. Let j be ((-104)/(-8) - (-132)/(-12))/(-2). Do q and j have different values?
True
Let t = 1095/3893 - 24/229. Is -0.015 > t?
False
Let l = 1.18 + -2.75. Let j = 1.67 + l. Which is greater: -61/2 or j?
j
Let d = -12738 - -9908. Is -2827 bigger than d?
True
Let n = -44 - -86. Let m = -42 + n. Suppose m*s + 3*s = 15. Is s <= 6?
True
Suppose -188 = -4*q + 64. Let n = -400 + 538. Suppose -3*b - 2*b + 4*k = -n, -2*b - k = -q. Is b at most as big as 30?
True
Let h(k) = -k**3 + 35*k**2 - 37*k + 101. Let m be h(34). Does m = -114/151?
False
Let u(b) = -372*b + 1875. Let l be u(5). Which is smaller: 72 or l?
l
Let v = -277292.3192 - -277172. Let j = v + -0.0808. Let x = j + 121. Is x at most as big as -1/3?
False
Let a = 62.66 - 63.66. Which is smaller: a or 48/103?
a
Suppose 0 = 2*r - x, r - 7 = 3*x - 7. Are -36/281 and r equal?
False
Let d = 9947 + -9698. Is 2499/10 greater than or equal to d?
True
Suppose 4*f = 3*g + 17, 4*g - 7 = -3*f + 12. Let m be (((-40)/(-7150))/((-14)/(-105)))/1. Do m and g have the same value?
False
Let d(x) = x**2 + 43*x - 25. Let k be d(-17). Which is greater: k or 4/9?
4/9
Let h be -2*(2 - 3/12*-42). Let m = h - -26. Which is smaller: m or 3/43?
3/43
Let w(d) = -7*d - 3. Let v(p) = 21*p + 8. Let f(g) = -6*v(g) - 17*w(g). Let q be f(4). Let b be (-568)/22 + 50/(-275). Is q at least b?
True
Let d(x) = -3*x - 53. Let s = 113 + -132. Let r be d(s). Let y be 0*(r/(-12))/(4/(-12)). Are y and 12 nonequal?
True
Let x be (-4)/(-10) + (-35)/25. Let p be 8/(-42)*12 + (1 - x). Which is smaller: p or -1.4?
-1.4
Let f = 4 + 3. Suppose f*n = -6*n - 1690. Let q = 131 + n. Is -11.6 equal to q?
False
Suppose 0*c + 5*c = 5. Let v(h) = -3*h. Let d be v(c). Let w be (d/2)/(1/4). Are w and -5 nonequal?
True
Let d be 1/5 + (-3 - 88162/(-2640)). Let z = 23/88 - d. Let r = z + 30. Is -1 > r?
False
Let u = -127 + 47. Let r = u + 79. Let o be ((-5)/(-15))/(r - 220/(-222)). Which is bigger: o or -36?
-36
Suppose -36027*u - 15750 - 12222 = -36020*u. Are -3997 and u non-equal?
True
Let f be 13/11 + 8/(-44). Let g be ((-3)/9)/(f/3). Let n be (8/(-10))/((-5344)/(-80)). Is n greater than or equal to g?
True
Let y be 27/(-15) - 350/(-125). Is -272.3 less than y?
True
Suppose -u = 2*u + u. Suppose -5*f - 4*g - 1 = u, 2*f - g + 1 = -2*g. Let j = 1/184 + -1849/1656. Is f not equal to j?
True
Let o = -2932 - -3093.1. Let r = 161 - o. Which is bigger: 129 or r?
129
Suppose 25*u = 21*u + 1760. Let i be 80/u + (-13)/11. Are -1 and i nonequal?
False
Let r = 2402212/21 - 114312. Let d = -79 + r. Do d and 0 have the same value?
False
Let a = 41.45 + -39. Let r = 0.25 + a. Let u = r + -2.5. Is 3 at most u?
False
Suppose -10*f - 8*f + 72 = 0. Suppose 0 = f*o + a - 3 - 11, o - 13 = -5*a. Let s = -0.1 + 0.29. Which is bigger: s or o?
o
Let l be 10/40 - 306/8. Let c be ((-2)/(-4))/(-5 + (-191)/l). Let r = 13 - c. Which is smaller: 0.4 or r?
r
Let w = -512 + 663. Let n = w + -151. Is -53/3 < n?
True
Let j = 7316 + -7319.933. Is -1/4 greater than j?
True
Let a be (-3)/2*(1 - (4 - -7)). Let c be 118/(-24) - a/20. Let k be (1 - -2)/(-3) - 4. Which is bigger: c or k?
k
Let t be 14/(-8) + 3629/(-114)*3/(-2). Is 58 equal to t?
False
Let z be 7732/515 + 1050/(-70). Which is smaller: 1 or z?
z
Let z = -58 + 125. Let d = -1673 + 1672. Is z > d?
True
Suppose 5*j - 476 - 244 = 0. Let w be (88/j)/(-11)*8/(-10). Let f = 47/7 + -7. Is w less than or equal to f?
False
Let v(n) = n**2 + 3*n - 2. Let x be v(1). Suppose a + x*d = 7*d + 3, 2*a - 6 = -4*d. Let k be 2/a - 1 - 43/(-3). Which is smaller: k or 13?
13
Let i = 81.5 + -81.6. Which is greater: i or 6668?
6668
Let b = 356173/4 + -86273. Let n be (-2 - -1)*1 - -2745. Let m = b - n. Does 27 = m?
False
Let a(f) = -19*f**2 - 43*f + 189. Let x be a(4). Are -291 and x equal?
False
Let x = 7511 + -22291/3. Let v = x - 3403/42. Which is greater: 0 or v?
0
Let l be (-24)/12*11*(-74)/12. Which is smaller: l or 136?
l
Let g = 75 + -129. Let u(b) = -b**2 - 25*b - 119. Let p be u(-22). Is g smaller than p?
True
Let h be (-14)/((-4)/(8/(12/(-3)))). Let m be (26 - 30)*(-1)/(-4)*h. Which is smaller: 4 or m?
4
Let y be 6 - 6/3 - 2*(-42)/54. Which 