2/55 or h?
h
Let q = -65220647/39185 - -136209/461. Let h = q - -1369. Do h and 1 have different values?
True
Let r = 3189 + -130755/41. Which is greater: -1 or r?
r
Let f(o) = -o**3 + 136*o**2 - 197*o - 737. Let m be f(135). Which is bigger: m or -9106?
-9106
Let o = 463 + -465. Let l be 235 + o + 2 + -1. Are 233 and l nonequal?
True
Suppose -22 = 3*b - 10. Let o be 206/(-102) - -3*b/(-6). Suppose 0 = -0*p + 2*p - 2. Are o and p nonequal?
True
Let u = 974/129 + -61445/387. Which is smaller: -151 or u?
u
Suppose 0 = -29*u - 2848 - 1386. Is -1614/11 equal to u?
False
Let a be (470 - (-20)/5) + -6. Suppose 467*t - 1 = a*t. Let r = 0.09 - -17.91. Which is smaller: t or r?
t
Let k = 1/7715 + -501483/61720. Let i = k + 197/24. Which is smaller: i or -9?
-9
Let a = -64 + 61. Let t(j) = -4 - j + 4 + 1 - 5. Let x be t(a). Is x < -13?
False
Let u be 395/516 - 54/72. Suppose 20 = 3*k + 5. Let r be k/(15/(-12)) - -4. Which is smaller: u or r?
r
Let k = 956287/151 + -6333. Let r = k - 1097/1510. Let z = -17 + 16. Is r bigger than z?
True
Let r = 0.7 - -0.3. Let s = -84.8 + 28.2. Let k = s - -39.6. Which is bigger: k or r?
r
Let v = 1552 + -2285. Let j = v + 735. Suppose -4*w + 8 = 3*l + 1, 5*w + 10 = 0. Which is bigger: j or l?
l
Let u(f) = -2*f + 71. Let m be u(22). Let i be (m/528)/(-3)*(-614920)/90. Let n = -465/4 + i. Which is smaller: 1 or n?
n
Suppose -3*q = -w - 2688, 5*w - 27*q + 24*q = -13368. Is w <= -2/5?
True
Let w = -17140 + 291384/17. Is w at least 1?
False
Let m = -32 + 54. Let c be (2/(-4))/((-99)/m - -5). Is c >= -0.4?
False
Let a be 1070/(-1712) + (-6)/16. Which is greater: -207.5 or a?
a
Suppose -4*k = 5*q + 8908, -3*k = -5*k + q - 4468. Which is greater: k or -2231?
-2231
Suppose 119*v - 122*v = -123. Suppose 4*l = -j + 30, 3*l + 5*j - v + 10 = 0. Is 72/11 less than l?
True
Suppose -80*a + 250 = -130*a. Is a less than -276/43?
False
Let i(f) = -f**3 - f**2 + 2*f + 2. Let w be i(-1). Suppose -q + 1 = -w*q. Let u = 283/840 - 23/40. Is q at least as big as u?
True
Let j = -23 + 28. Suppose -4*z + 3*s - 44 = 0, 5*z = 4*s - 43 - 11. Let w = z + 18. Which is smaller: j or w?
w
Let k = -35453 + 35452.9774. Is 1.8 smaller than k?
False
Suppose 17*y = 21*y + 16. Let q be (1 - y) + (-232)/72 - 2. Let t = -7.97 - -8. Which is bigger: t or q?
t
Let g(n) = n**3 - 8*n**2 + 24*n - 120. Let i be g(7). Which is smaller: i or -1/7070?
i
Suppose -25*z + 13*z + 60 = 0. Suppose -106*o + 101*o = -z. Is o greater than -5/24?
True
Let k = 80 - 33. Let v = 51 - k. Let n = 57/28 + -16/7. Which is bigger: v or n?
v
Suppose 156 + 64 = -2*h. Let c be (-1*2/(-6))/(h/(-10)). Which is bigger: 1 or c?
1
Let b(x) = -14*x - 24. Let c(g) = 42*g + 72. Let o(i) = 8*b(i) + 3*c(i). Let h be o(-8). Let r = -84 - h. Is r not equal to 5?
True
Suppose -18*q + 36 = -9*q. Suppose 1 = u - k - 0, -q = -4*u - 2*k. Let o be (-215)/73 + 3/1. Is u less than o?
False
Suppose 0*q - 2 = 2*q. Let v = -0.0599 + -18.9401. Which is greater: v or q?
q
Let g(r) = 2*r**2 - 23*r + 9. Let t be g(9). Let h be ((-22)/24 + 1)/((-64)/t). Which is smaller: h or -0.1?
-0.1
Suppose 0 = -5*v + 5*f - 11531 - 16139, -5*v = f + 27700. Does -5540 = v?
False
Let h(f) = f**3 + 7*f**2 - 10*f - 24. Let p be h(-8). Let t be (-2)/(-12) - 1052/p. Let y = t - 19367/147. Is 0 smaller than y?
False
Suppose 6*z - 11 + 11 = 0. Let h = 127072 - 114364763/900. Let q = -2/225 - h. Do q and z have different values?
True
Let q = -116/455 - 2/65. Let m be 17 + 4901/(-290) + 309/(-1890). Which is greater: q or m?
m
Let l = 0.792 + 379.208. Let f = 245 - l. Which is bigger: f or 0.1?
0.1
Let q = -85/21 + 194/105. Which is greater: q or 358?
358
Let y = -2479 - -4188. Is 1707 >= y?
False
Let v = -13 + 15. Suppose -7*c = -v*c + 60. Let u be (2/3)/((-2)/39). Is u > c?
False
Let w = -66498 + 201573. Let r = -5268829/39 + w. Let d = 70/3 + r. Which is greater: 0 or d?
d
Let c = 135 - 135. Suppose c = -f - 4*d + 139, 3*f + 3*d = -f + 608. Which is smaller: f or 154?
154
Let t = -2.17 + 3.87. Let r = -15.7 + t. Does r = 0.1?
False
Let g = 14404 - 14404. Which is smaller: 6/8141 or g?
g
Suppose 3*c = 5*q + 23 - 34, -q - 2*c = 3. Is q not equal to 1/1442?
True
Let m(w) = 5*w - 64. Let h be m(21). Suppose -3*p = -8*p + 220. Let k = h - p. Which is smaller: k or 2/9?
k
Suppose 352 = f + 3*s - 1564, -2*s - 3840 = -2*f. Which is bigger: f or 1917?
f
Let y be 4/22 - 748/121. Let j be 3/y*17*-2. Which is smaller: j or 15?
15
Let t = 123953/371 - 2339/7. Is 7/10 not equal to t?
True
Let z = -2297 - -443322/193. Let u = -1100 + 1102. Is u less than or equal to z?
False
Let q = 62237897 + -18795808351/302. Let k = 121 - q. Which is bigger: 1 or k?
1
Let b(d) = -d**3 + d**2 + d. Let n(r) = -3*r**3 - r**2 + 6*r + 4. Let k(x) = 4*b(x) - n(x). Let f be k(3). Let q = 465 + -466. Which is smaller: f or q?
q
Suppose 0 = 5*l - 4*c + 2*c - 666, -4*l + 4*c + 528 = 0. Let p = -57 + 191. Is l < p?
False
Let n = 0.3 - 1.1. Let x = 517/58 - 244/29. Do x and n have the same value?
False
Suppose 102 = -89*h + 95*h. Suppose -145 = -5*q - 50. Which is bigger: q or h?
q
Let x(n) = -198*n + 1370. Let r be x(15). Is -1600 equal to r?
True
Let s = -499 + 571.2. Let u = s - 67. Let i = u + 4.8. Does i = 3?
False
Suppose 104*r - 115*r + 82984 = 0. Let w be ((-1)/1)/((-46)/r). Is 166 bigger than w?
True
Let v = 1197 - 1196. Is v at most 3/190?
False
Suppose 0 = 2*m - 89 + 87. Let k = -1966 + 505264/257. Is k less than or equal to m?
True
Suppose 0 = -12*r - 26 - 22. Let y be (2/r)/((-66)/(-44)). Let z = 0.01 + 1.19. Is z bigger than y?
True
Let r = -16 - -17. Suppose -s = -10 + 15. Let h be s/10 + (3/15 - -1). Do h and r have different values?
True
Let f = -215 - -1925/9. Let w be 11 + (-1 - 12/4). Suppose 0 = -3*s - w - 8, -3*s - 14 = t. Does f = t?
False
Suppose -7*r = -5*r. Let f(j) = -j**3 + 6*j**2 + 6*j - 7. Let u be f(7). Let n be 10/(-1 - 0)*u/28. Which is smaller: r or n?
r
Let z = 0.027 + -20.027. Let c = 34355 + -34348. Which is smaller: z or c?
z
Suppose -10 = 3*o - 4*o - 2*i, 5 = -5*o + i. Let q = -145/3 - -11174/231. Is o bigger than q?
False
Let w(z) = -z**3 + 2*z**2 - 3*z + 4. Let d be w(3). Let f = -559 - -563. Let m be (6/f*-1)/(3/d). Is 6 > m?
False
Let z(a) = a**2 - 9*a - 17. Let u be z(11). Suppose u*v = -4*c - 163, -4*v - 121 = c + 2*c. Do c and -47 have the same value?
True
Suppose -266*c - 2 = -5*y - 265*c, 2*y + 4 = -2*c. Let a = 468369/1360 + -1722/5. Which is smaller: a or y?
a
Let n be -26 + 13/13*0/1. Let m be n/13*545/(-30). Which is smaller: m or 35?
35
Let y = 6 + -1. Let m(t) = 4 + 2 - 7 + 5*t + 7 - t**3 + y*t**2. Let f be m(6). Is -1/51 > f?
False
Let t be ((-346)/(-164) + -2)/3. Let b be (145134/(-165))/(3/(-5)). Let z = -1466 + b. Which is smaller: z or t?
z
Let x(z) = -7*z**2 + 8. Let p(m) = -15*m**2 - m + 18. Let o(b) = -6*p(b) + 13*x(b). Let u be o(5). Which is smaller: u or -1/250?
-1/250
Let h = -14906/9 + 1656. Which is greater: 0.4 or h?
0.4
Let o = -95 - -95.41. Let t = -2215 - -2215.59. Let v = t + o. Which is greater: 7/5 or v?
7/5
Suppose -167*l - 36 = -155*l. Let f(g) be the second derivative of -g**3/6 - 5*g**2/2 + 8*g. Let b be f(l). Which is smaller: b or -9?
-9
Suppose -4 + 1 = 3*l + 3*x, -x = -4. Let f(u) = 8*u + 35. Let o(r) = -4*r + 31. Let s be o(9). Let v be f(s). Are l and v equal?
True
Let v = 38.9 + 0.1. Let u be ((-257)/(-17) - 6) + (-2)/17. Suppose 4*m + 2*j = -4, -5*m + 4 - u = 2*j. Are m and v unequal?
True
Let h = 45 - 45.016. Let p = 25.984 - h. Let y = -36 + p. Which is smaller: y or -1/3?
y
Suppose 0*d + h = 2*d + 2, -4*d = 3*h - 6. Let l = -50861/43 - -1183. Do l and d have the same value?
False
Let n = -14.44 + 0.44. Let g = 20 - 104/5. Is g greater than or equal to n?
True
Suppose 4*h + 1 = 5. Suppose -2*r + 3*d - 4*d = 5, -5*r - 2*d = 14. Let s be 184/1196*(r/(-2))/4. Which is greater: s or h?
h
Suppose 4*n + 101 + 115 = 0. Let a = n + 56. Suppose 5*k = 7 - a. Which is bigger: k or -1/11?
k
Let z = -20/1749 + 168284/33231. Which is smaller: z or 6?
z
Let n = -423667/478412 + 4295/913. Let i = 9/131 - n. Is -4 at least i?
False
Let l = -18275 - -18335. Are l and 122 non-equal?
True
Let p be 1 - 1/(-1)*1. Suppose 2*z = 2*r + 30, -12 = p*r - 6*r. Which is bigger: z or 20?
20
Let p be (20/(-24))/(15/(