True
Let y be 3 - (2 + 4/6). Suppose 0 = 6*v - 5*v + 42. Let w be -6 + (960/v)/(-4). Which is smaller: y or w?
w
Let s be (1/(-938))/((-303)/54 + (-16)/(-144)). Which is greater: -1 or s?
s
Let c(r) = 2*r**2 + 107*r + 907. Let f be c(-43). Suppose o = -0*o + 3. Is f not equal to o?
True
Suppose x - 28 = 5*t, -4*t - 2 = x + 15. Suppose 29 + x = -4*j. Let n(h) = -h**3 - 7*h**2 + 10*h + 12. Let s be n(j). Which is bigger: s or -7/2?
-7/2
Let v = -36943 + 28704707/777. Which is smaller: v or 5?
v
Let w(t) = -19*t + 3. Let d be w(-3). Suppose 4*r = -2*m + 248, 21*r + 2*m + 118 = 23*r. Is d smaller than r?
True
Let r be (-81 + 73)*(-766)/4. Let u be (r/16 + -7)*4. Are u and 354 nonequal?
True
Let g = 2643/20210 + -24/215. Which is smaller: g or 1?
g
Suppose 54*b + 3592 + 4562 = 0. Is -156 less than or equal to b?
True
Let n be 16/12 + (-5)/(-3). Let j(c) = -29*c + 8. Let m be j(n). Let q = -80 - m. Is -1/11 greater than q?
True
Let u = 1153.952 - 1182. Let l = -28 - u. Let m = 0.052 + l. Is m > 4/11?
False
Let g be (1 + (-8 - -4))*-1. Suppose -3*d = -5*d - t - 5, -5 = -2*d - g*t. Suppose -11*l + 3*b - 3 = -9*l, 3*b - 9 = 4*l. Is l less than d?
False
Let y = 38.1 + -38. Suppose l - 3*p + 201 = 5*l, -2*l + 133 = -5*p. Let c be 72/l + (1 - 1). Which is greater: c or y?
c
Suppose 3*l + 15*l + 37240 = 46*l. Which is bigger: l or 2?
l
Let q = -5730 - -5908. Is 887/5 > q?
False
Let v = 3723/6071 + 1/467. Let h = -166/143 + v. Let p = 21/22 - h. Which is bigger: p or 2/5?
p
Let g(n) = 14*n + 346. Let x be g(-29). Which is bigger: -68 or x?
x
Let y = -158.41 + 158.41. Which is bigger: -1926 or y?
y
Let b = 0 + 3. Suppose b*h = -0*h. Let f = 24/131 - 205/1834. Is h at most f?
True
Let c be 24/(-2) - (-237985)/19305 - (-1)/(-3). Is c smaller than -1?
False
Let t(d) = -53*d - 32. Let a be t(-14). Let z be (-3)/(-4)*a/1485*51. Let x = 113/6 - z. Is x at least 0?
True
Let x = -8582 - -8581. Which is smaller: x or 1/2582?
x
Suppose -52*n = -7433 + 1973. Is 97 > n?
False
Let g(n) = n**3 + 12*n**2 + 5*n. Let c be g(-10). Suppose 2*t + 306 = -2*w, w + 3*w + 580 = 4*t. Let f = w + c. Which is greater: -8/7 or f?
f
Suppose 5*t + 275 = 255. Let w be 84/18 + t - (-502)/(-744). Which is smaller: 0 or w?
w
Suppose 16 = 4*k, 5*u = 4*k - 9*k + 6390. Let i = -859 + u. Is 415 at most i?
True
Let r(z) = 2*z - 36. Let p be r(18). Let f be (p - -1) + 1 + 0. Suppose -f = v + 5*m + 3, -4*m + 140 = -4*v. Which is greater: -31 or v?
v
Let c = 0.1 + 0.1. Let b be -2 - (11 - -4) - 596*15/(-420). Is b < c?
False
Let i = -57133 + 169775/3. Are i and -542 unequal?
True
Suppose t - j + 66 = -89, j - 617 = 4*t. Let y = 155 + t. Is y less than -1/167?
False
Suppose 3*u - 7 = 3*u - 7*u. Which is smaller: 45/193 or u?
45/193
Let w(g) = 2*g**2 + 0*g**2 + 6 + 1 - 1. Let o be w(4). Is o less than or equal to 35?
False
Let m = 4026 - 3917. Is 120 < m?
False
Suppose 3*v + 652 = 181. Let f = v - -155. Does 9/7 = f?
False
Let f = 16677 + -16677. Let u = 3663/45866 - -3/646. Do u and f have the same value?
False
Let c = -1284 + 1295. Are -18.9 and c equal?
False
Let k(w) = w**2 - 1. Let x be k(-1). Let g = 5439.022 + -5439. Which is smaller: g or x?
x
Let l = 18.1 + -105.1. Let d = l + 29. Let z = 45 + d. Is -0.1 at least z?
True
Let m = 5.57 - 25.43. Let c = 20 + m. Let p = 38 - 37. Which is smaller: p or c?
c
Let w be -1*(-2)/(-6) + (-188)/282. Let d be (-6486)/2154 + 1 - 1*-2. Is d at most w?
False
Suppose 323*n - 366*n - 26746 = 0. Which is smaller: -623 or n?
-623
Let p be -1514*-2*3/66. Let f be ((-822)/(-15)*-1)/((-2)/5). Let b = p - f. Which is smaller: b or 0?
0
Let y = -157 - -85. Let g = y - -73. Is g smaller than -8.9?
False
Suppose -5511 = -76*b - 115. Let j = -134 - -203. Which is smaller: j or b?
j
Let p be (-4)/14 + 40*(-14)/(-245) - -1. Let m = 575/476 + 15/68. Let i = m + 97/35. Are p and i equal?
False
Let z = 125 + -798. Let v = z + 673. Which is smaller: v or -5/36?
-5/36
Let v be ((-301)/105 + 3)/(2/(-6)). Let a = 545 + -893. Which is greater: a or v?
v
Suppose -2*d - 4 = -4*d - t, 0 = -5*d - 3*t + 12. Let r = -152041 - -38162301/251. Which is smaller: r or d?
d
Let g be ((-369)/(-27))/(2/6). Suppose -199 = 5*j + g. Let d be j/5 - 4/10. Which is smaller: -13 or d?
-13
Let d = -4137057/34898090 + 362/3065. Which is smaller: d or -1?
-1
Suppose v - 34 = -3*v - 2*r, 3*v - 4*r = 9. Suppose 6 = 5*j - 4, -2*t = -5*j - 282. Suppose 0 = -140*o + t*o - 12. Which is smaller: v or o?
o
Let a = 5 - 1. Let y = 63 - 63.1. Which is smaller: y or a?
y
Let h = -806 - 59. Let y = -864.569 - h. Let s = y - 0.031. Are -13 and s unequal?
True
Let x be 26 - (-2 - 2*15/(-10)). Suppose 8*o = x*o - 51. Is o at most as big as -5?
False
Let m = 0.0894 - -0.3106. Let l = 1 + 1. Let n = -3 + l. Are m and n equal?
False
Let f(i) = -7*i - 162. Let d be f(-23). Is 3/226 >= d?
True
Let c = -1113.14 - 54.86. Is 3/5 smaller than c?
False
Let u = 48/515 + 41976/515. Let w = u + -2866/35. Which is smaller: w or 1/141?
w
Let o be (2 + 66/(-24))/(((-9)/(-2))/(-3)). Which is smaller: o or -704?
-704
Let n = -1789178/1475 - -1213. Are n and 0.1 unequal?
True
Suppose 0 = 2*i - i + 2*j - 4, 2*j + 2 = 2*i. Let w be (112/6)/i + 2/(-6). Is w at most 7?
False
Let n be ((-6792)/(-60))/(234/60 - 6/4). Which is bigger: n or 48?
48
Let y(m) = 9*m + 58. Suppose -257 - 151 = -12*z. Let v = 27 - z. Let r be y(v). Which is greater: -36/7 or r?
r
Let w be (-861304)/138 - (3/(9/11) - 2). Is w greater than -6243?
False
Let u = 42887/17 - 2523. Suppose 2 - 3 = l. Which is greater: u or l?
u
Let w = 3875 - 2192. Does w = 1683?
True
Let p = -17168 + 21980. Is 4815 smaller than p?
False
Suppose 3*s + 5*w = -10, -5*w - 7 = 4*s + 3. Suppose s = 16*d - 22*d - 210. Let r be -1 + -2 + ((-575)/d)/5. Does r = 0.14?
False
Let k be (-8 - (-13712)/(-1904)) + 13. Which is greater: k or -3?
k
Let x be -1 + 4 - (-54 - 2281). Does -1/4 = x?
False
Let i be (-16)/56 - 16/(-7). Suppose 0 = 6*m + i*m - 176. Suppose -58 = 4*f - m. Is f at most -12?
False
Suppose -63*l = 1269 - 324. Which is smaller: 274 or l?
l
Suppose -86 = n + 183. Let k = 219 + n. Is k greater than -0.1?
False
Suppose -2*y - 10 = 0, -4*q + 24*y - 29*y - 13301 = 0. Is -3320 less than q?
True
Let s be 3/(-1 - 2/(2/(-2))). Let w = -139 - -168. Suppose -4*a = -49 + w. Which is bigger: a or s?
a
Let z be (-2)/5 - 22560/(-18900). Let p = -44393838745/1953 - -22731101. Let j = z - p. Which is greater: 0 or j?
j
Let u = -363.6 + 344.6. Which is bigger: 2/7 or u?
2/7
Let a = 0.003651 - 83.935651. Let w = -84 - a. Let z = 8.1 + -8.2. Which is smaller: w or z?
z
Let m = 23 - 80. Let a(h) = -h**2 + 24*h - 72. Let q be a(18). Suppose 356 = -7*r - q. Is r < m?
False
Let i = 136.56 + 282.44. Which is greater: i or -7?
i
Let c = -38013 + 38056. Is -8 > c?
False
Let z(d) = 473*d**2 - 3*d. Let t be z(-2). Let b = 153742/81 - t. Is 1/3 <= b?
False
Let j = -221 + 51. Let z = j + 170.01. Which is smaller: z or -0.12?
-0.12
Let u = -8/7247 - -80533/739194. Let v be (5 - 5)/(3/1). Which is smaller: u or v?
v
Let i be (16/48)/(1/123). Suppose -2*w - h - 28 = -0*w, 3*w + i = -h. Is w bigger than -15?
True
Let m = -810 - -810.01. Let i = -120 - -125. Is m less than i?
True
Let l = 95 - 103. Let m be ((-34)/(-8) - 1) + (l - -5). Is -1.7 at most m?
True
Let d be (-3990)/575 - (-24)/120. Which is bigger: d or -6?
-6
Suppose -o + 32 - 4 = 4*z, 0 = 4*o - z - 95. Suppose 27*t + 3 = o*t. Let x be (12/(-32))/(15/(-4)). Is x less than or equal to t?
False
Let h be (-207)/4140*20/(-17053). Is h > -1?
True
Let c be ((-414)/12 - 7)*(-2)/1. Let w = -24.21 - -22.21. Is c greater than or equal to w?
True
Suppose -n - 2*d = -15, -73*n + 4*d = -74*n + 29. Which is smaller: 98/41 or n?
n
Let c be 120/210 - (-5 - 7662/(-14)). Which is greater: -541 or c?
-541
Let o be 1360/25 + (-4)/10. Suppose -12*r + 15*r - o = 0. Let f be 2/(-7) + 128/7. Are f and r equal?
True
Let n = -3795 + 3803. Which is greater: n or 122?
122
Let a be (1*(4 - (7 - 4)))/(-1). Let n(l) = l + 10. Let p be n(a). Let m(r) = r**3 - r**2 - 5*r + 4. Let q be m(3). Which is smaller: q or p?
q
Let s = 42 + -45. Let k = -1981 - -1977.4. Which is smaller: k or s?
k
Suppose -4*h = -3*h - 106. Suppose h = -4*d - 242. Is d bigger than -87?
False
Let s = 1.2523 - 0.1523