es 17/229 = h?
False
Let m = -98 - -99. Let n be (1/(-22))/((-6)/144). Which is smaller: n or m?
m
Let c = 27 + -27.06. Let z be 5/42 + (-2)/(-12) - 136/(-112). Is z greater than c?
True
Suppose -44*h = 5 - 49. Which is smaller: -50/219 or h?
-50/219
Let u = 49.92 + 0.08. Let b = -0.385 - -34.385. Let h = u - b. Are 0 and h equal?
False
Let z = -18 - 10. Let g = -14 + -55. Let h = g - z. Which is greater: h or -1?
-1
Let x be (1/(-230))/((-408)/180). Does x = 0?
False
Let a = 110.31 - 109.31. Which is bigger: -2.51 or a?
a
Let t be ((-2)/(-3))/(96/(-278388)). Let h = 1924 + t. Let j(w) = -w**3 - 10*w**2 + 23*w - 20. Let z be j(-12). Is h < z?
True
Let y = -2 - 0. Let p = -141 + 75. Let q be 4/(-8) + 3/p. Which is smaller: y or q?
y
Let i = -74.9 - -79. Let a = i + -0.1. Let g = 237108 - 237104. Is g != a?
False
Let a(v) = 69*v + 430. Let p be a(-6). Suppose -3*t = 2*t + d - 92, -3*t + d = -52. Is p != t?
True
Let w be 46*(0 - 3/(-2)). Let o = w - 35. Let q be o/(-14) - (8 + -10) - 0. Do q and 1 have the same value?
False
Let k(t) = -t**2 + 8*t + 6. Let j = 26 - 17. Let h be k(j). Let f = -362/3 - -118. Which is greater: h or f?
f
Let o = 609 - 602. Suppose -m + o = 3*i + 3*m, 2*m - 4 = -2*i. Which is smaller: i or 10/21?
10/21
Suppose 2*s - 1432 = 3*b + b, -s = b - 722. Let i = s - 390. Is 330 at least i?
True
Let i = 422 + -421.992. Let l be (-5)/(15/(-12)) - 5. Is l != i?
True
Let f(y) = -3*y - 7 - 2*y + 21 + 0*y. Let w be f(6). Let g be 3 - ((-24)/w - 1/(-2)). Which is bigger: g or -2/73?
g
Let n = -26488/34017 + 37/1173. Which is smaller: -2 or n?
-2
Let d be (4/(-6))/((-7)/(-147)*7). Let n be d + (0 - (385/(-5) - -1)). Which is smaller: 73 or n?
73
Suppose u - 9 = 5*q, 16*q - 15*q - 3 = 0. Let v be ((-4)/(-8))/(4/8) + 29. Which is greater: v or u?
v
Let b be (-401 - 45)*(-3)/(-6). Which is smaller: b or -210?
b
Let s = -2/28089 + -167708/11600757. Is 1 greater than or equal to s?
True
Let y be (-4)/(-3)*(-8)/(32/12). Let f be y/(-10) + -1 + (-14)/35. Do 3/110 and f have different values?
True
Suppose 0*a + 4*a - 5*m = 28, 0 = 5*a + 2*m - 2. Suppose 1 = d + a*v - 2, 3*v = 2*d + 1. Is d < -6/61?
False
Let b = -1.98 - -2. Suppose 0 = -151*d - 17 - 134. Which is bigger: b or d?
b
Let j be (-8)/38*(-3)/2. Let i(u) = 5 + 8*u**3 + 7*u - 19*u**3 - 5*u**2 + 10*u**3. Let f be i(-6). Which is bigger: j or f?
j
Let o(c) = -15*c + 21. Let v be (2 - 1)/(5/(-10)). Let f be o(v). Let m = -40 + f. Is m at least 31/3?
True
Let z = 163.975 + 4.125. Let d = z + -33.1. Is -1 at most d?
True
Suppose h - 15*v - 2534 = -18*v, -5*h - 13*v + 12656 = 0. Which is greater: 0 or h?
h
Let o be (-2)/(-3)*10/(-2)*-6. Suppose o*f - 7*f = 13. Are -2/177 and f unequal?
True
Let u = 1818 - 1566. Let m = -151 + 401. Does m = u?
False
Suppose 9850*v + 79 = 9929*v. Let a be -1 + 11/(-82)*-6. Which is smaller: a or v?
a
Suppose -4*j + 10*j = 0. Suppose j = -2*i - 2*g - 2, g = -16*i + 11*i + 7. Does i = -5?
False
Suppose 5*r - r + 4*n - 72 = 0, 0 = -4*n + 12. Suppose p = -20*b + 21*b - 5, -3*b = 4*p - 15. Which is smaller: r or p?
p
Let p = 13056.405 + -13058. Which is smaller: -0.1 or p?
p
Let z = -4.32 + 4.513. Let r = 115/3 + -38. Which is smaller: z or r?
z
Let z(c) = -3*c**3 - 4*c**2 - 3*c. Let j be z(-2). Suppose 0 = -3*l - 1 + 4, -3*p - 3*l + 141 = 0. Let a = 60 - p. Is j <= a?
True
Let o = 10 - -327. Do o and 338 have the same value?
False
Let p = 3 + -2. Let c(g) = -15*g - 1. Let o(q) = -45*q - 3. Let k(h) = -11*c(h) + 4*o(h). Let x be k(0). Is p != x?
True
Suppose 4*m - 5*y = 9, 2*m + 5*y - 4*y = -13. Let a be (-2 - (-13)/6)/(4/m). Let t = -0.66 - -1.06. Is t greater than a?
True
Suppose 74499 = -67*b + 15539. Is -879 >= b?
True
Let f(x) = -12*x**2 + 184*x + 129. Let k be f(16). Do -754 and k have the same value?
False
Suppose 679 = -5*d - 441. Let z(s) = -s**3 + 45*s**2 - 13*s + 360. Let b be z(45). Which is smaller: b or d?
b
Let g be (-13573)/(-70) + 4/40. Let m = g - 189. Is m greater than or equal to -2?
True
Let b(f) = -f**3 + 13*f**2 + 2*f - 10. Let c be b(13). Let t = -13 + c. Suppose x + 0*x = d - t, -12 = 4*d + 2*x. Are -2/5 and d equal?
False
Let d be (-8)/16*((-2700)/(-5855))/(-9). Is d smaller than 0?
False
Let o = -44335 - -17290693/390. Let f = o - 1/30. Is -1 bigger than f?
False
Let p = -1 + 1.05. Let d = 10.4045 + -12.4045. Is p <= d?
False
Suppose 0 = 834*b - 815*b. Which is smaller: b or -1/598?
-1/598
Suppose 3*c + 3 = -24. Let x(z) = 490*z - 1479. Let f be x(3). Is f not equal to c?
False
Let h be -3*(-1)/((-34566)/140). Which is bigger: -1 or h?
h
Suppose -8*n + 2*n - 18592 = 22*n. Is -668 > n?
False
Let u be ((-11)/132)/(2/6). Let m = 46 + -56. Which is smaller: m or u?
m
Let q = -1924.23 - -1939. Let u = 14.37 - q. Let b = -3 - 0. Which is greater: u or b?
u
Suppose -32*l + 16*l = -118160. Are l and 7386 nonequal?
True
Let y = -497 - -510. Is 16 greater than or equal to y?
True
Let q = 56 + -46.9. Let f = q + -9. Let h = -26 - -80/3. Is f not equal to h?
True
Suppose 4*u + 116 - 703 = -5*s, 0 = 4*s + 2*u - 466. Which is bigger: 73 or s?
s
Suppose -5*v + 5470 - 5490 = 0. Is v smaller than -161/40?
False
Suppose -4*d = -2*d - 32. Suppose -x + d = -0*x. Suppose -g + 5*n + x = 0, -3 + 0 = 3*g + 2*n. Which is bigger: g or 2?
2
Let p = 0.001 - -293.999. Let i = -292.99 + p. Which is smaller: i or -1?
-1
Let j(k) = k**3 + 18*k**2 + 10. Let r be j(-18). Suppose -r*q - 558 = 8*q. Which is bigger: q or -30?
-30
Let j be (3 - (2 + 1)) + -1 + 38. Let f = -35 + j. Let g be 4/(-14) - 39/(-14). Is f at least as big as g?
False
Suppose 0 = -o + 5*w + 85, -o + 5*o - 321 = w. Let u = o - 66. Suppose 5*l + 3*y - 100 = -41, -5*y = -5*l + 75. Is u >= l?
True
Suppose 0 = -4*k - 14 - 6, -3*u + 2*k = 26039. Which is smaller: u or -8682?
u
Suppose 4*i - 22 = -t - 0*i, 0 = 5*t - 3*i + 5. Let u be 0 - -4 - t - (-22060)/14193. Let y = -2/1577 - u. Is -5 less than y?
True
Suppose 367*d = 370*d + 32307. Let k = 247625/23 + d. Which is greater: k or -2?
-2
Let s = -0.01 - 0.59. Let l = 0.44 - s. Let j = l + -1.1. Is -4 > j?
False
Let a be (-6816)/9 - -1 - (4/2)/(-6). Is a bigger than -1/4?
False
Suppose -19 + 4 = -5*l. Suppose -h = 3*d, l*d - 26*h + 6 = -29*h. Is d at most as big as 1/82?
False
Let d = -19.06 - -30.06. Which is smaller: -47 or d?
-47
Let h be ((-213)/284 - 17306/8) + 13. Which is bigger: -2155 or h?
h
Let i be (-57)/247 + (-34811)/(-150904). Which is greater: -1 or i?
i
Suppose 0 = 4*s - 8, 292*j - 5*s = 287*j + 29215. Is 5845 smaller than j?
False
Suppose -4*x - 2234 = t + 1851, -x - 4*t - 1040 = 0. Let f = -1523 - x. Which is greater: -502 or f?
-502
Let b = 432 + -444. Let o be (-120)/b + -8 + 1*-3. Is 45 at most as big as o?
False
Let w(i) = -73*i - 874. Let z be w(15). Is z not equal to -1969?
False
Let s be (1 - 2)/((-1)/(-9)). Suppose 28 = 8*d - 68. Let p(z) = z - 21. Let q be p(d). Is q != s?
False
Suppose 18*b = 16*b + 48. Suppose -38*y = -b*y. Which is bigger: 2/9 or y?
2/9
Suppose -1460 - 7304 = -14*t. Let p = t - 5630/9. Which is greater: 18 or p?
18
Let v = 4097 - 4096.9. Is v at least -436/17?
True
Let n = 61 - 54. Suppose 3*v + 13 = n. Let z be 4 - ((-93)/(-47) - v). Which is greater: z or 1?
1
Let b = 1029702/67 - 15369. Is b > -1?
True
Let u = -0.0433 + 41.1433. Let s = 39.1 - u. Let g = -5 + 4.6. Which is smaller: g or s?
s
Let x(b) = b**2 + 9*b + 14. Let s be x(-4). Let l(j) = j**2 + 3*j - 12. Let y be l(s). Suppose 20 = -g + 5*g. Is y greater than or equal to g?
True
Let c = 573 + -841. Let k = -268 - c. Does -0.74 = k?
False
Let r(b) = -3*b**2 + 9*b + 11. Let v be r(9). Let z = v + 173. Which is smaller: 21 or z?
21
Let t = -11.5 + 3.5. Let f = t + 7.8. Are 0 and f equal?
False
Let t = -251 + 225. Let c be (-4 - (21 + 3)) + (-2)/(-2). Do t and c have the same value?
False
Let p = 9.2 - -2.8. Let r = 8 - 8.01. Let q = -0.99 + r. Which is smaller: q or p?
q
Let d = 2538 + 111. Does 2649 = d?
True
Let n be (1071/(-85))/(1/(-155)). Let b be n/(-513) + (-1)/(-3). Which is bigger: -2 or b?
-2
Let v = 5638 - 5638. Which is smaller: v or 15/119?
v
Let q be 71 - (7 + (-2 - 2)). Let g(f) = f + 87. Let s be g(-17). Which is bigger: q or s?
s
Let z = 159.66 + -161.85. Which is smaller: 2.5 or z?
z
Suppose 0*r = r + 2*a + 43, -r - a = 43. Which i